双指针与指向数组的指针，不兼容的指针类型

Question

有这个：

#define _DEFAULT_SOURCE 1
#include <stdio.h>
#include <string.h>

int main(){
    char *token, org[] = "Cats,Dogs,Mice,,,Dwarves,Elves:High,Elves:Wood";
    while((token=strsep(&org,",")))
        printf("Token: %s\n",token);
}

给出错误（不兼容的指针类型）：

/usr/include/string.h:439:14: note: expected ‘char ** restrict’ but argument is of type ‘char (*)[47]’
 extern char *strsep (char **__restrict __stringp,

1. 我知道它是不同的类型（一个已初始化内存 -> org[]，但该函数需要没有初始化任何内存的指针），但它们具有相同的行为，所以为什么它仍然抱怨?

2. 有人可以解释一下，这个关键字restrict 或__restrict 在*strsep (char **__restrict __stringp, 的情况下是什么意思（另一方面，我假设__stringp 不是内部数据类型（因为双下划线），但只是一个花哨的变量名）。

编辑： 我认为一个数组存储在堆栈中，但是strsep 想要一个指向堆的指针，这可以通过将org 分配给malloc 然后memcpy 来完成，或者更好的是，复制字符串通过strdup（内部memcpy）。但无论如何，strsep 想要指向堆而不是堆栈的指针吗？两者都只是指针，只指向不同的地址，但这不应该介意。

Answer 1

#include <stdio.h>
#include <string.h>

int main()
{
    char org[] = "Cats,Dogs,Mice,,,Dwarves,Elves:High,Elves:Wood";
    char *token = strtok(org, ",");
    while (token != NULL) {
        printf("Token: %s\n", token);
        token = strtok(NULL, ",");
    }
}

我认为你应该看看这个页面：Restrict type qualifier

Answer 2

strsep 函数需要一个 modifiable 指针的地址作为它的第一个参数（或NULL，在这种情况下它什么都不做）；您正在将数组的（固定）地址传递给它。您可以通过声明一个单独的char* 变量并将org 数组的（地址）分配给该变量来解决此问题：

int main()
{
    char* token, org[] = "Cats,Dogs,Mice,,,Dwarves,Elves:High,Elves:Wood";
    char* porg = org; // "porg" is a MODIFIABLE pointer initialized with the start address of the "org" array
    while ((token = strsep(&porg, ",")))
        printf("Token: %s\n", token);

    return 0;
}

来自Linux manual page（我的粗体字）：

如果*stringp 是NULL，则strsep() 函数将返回NULL 并执行 没有其他的。否则，此函数在 字符串*stringp，由字符串中的一个字节分隔 delim。通过用 a 覆盖分隔符来终止此标记 空字节 ('\0')，和 *stringp 被更新为指向过去的令牌。在 如果没有找到分隔符，则将令牌视为整个 字符串*stringp，而*stringp 变成NULL。

关于restrict关键字的含义和使用，也许这会有所帮助：Realistic usage of the C99 'restrict' keyword?。

Answer 3

数组的地址引用数组开始的地方，它只有不同的类型——指向数组的指针。它不是指向指针的指针。

    char *token, org[] = "Cats,Dogs,Mice,,,Dwarves,Elves:High,Elves:Wood";
    char *pointer = org;
    while((token=strsep(&pointer,",")))
    /* ... */

您不能将对数组的引用转换为双指针。

restrict 这是一个相当高级的话题。它向编译器承诺，如果指针所引用的对象被修改，则只能通过该指针来访问该对象。它有助于编译器进行代码优化

一般来说，在您精通 C 语言之前，我不希望您使用这个限定词。