为什么临时 char** 参数是非法的？

Question

我有一个函数f(char **p)，我想以最简单的方式调用它。

我试过了

char ** p = {"a", "b"};
f(p);

得到：

标量对象在初始化器中需要一个元素

所以我把它改成了

char * p[2] = {"a", "b"};
f(p);

一切顺利 [只要char * p[] 也可以]。

为什么我不能像下面这样动态地创建一个指针数组？

f({"a", "b"});

Answer 1

这给出了一个警告：

char ** p = {"a", "b"};

因为p 不是数组。

这也是不合法的：

f({"a", "b"});

因为大括号本身不允许在表达式中使用（但可以用作初始值设定项）。

可以使用复合文字动态创建数组：

f((char *[]){"a", "b"});

您还可以使用复合文字来初始化临时：

char ** p = (char *[]){"a", "b"};

与第一个语句不同，这是有效的，因为字面量是 char *[2] 类型的数组，并且会衰减为 char **，可用于初始化此类型的变量。

有关复合文字的更多详细信息，请参阅C standard 的第 6.5.2.5 节。

Answer 2

此声明char ** p = {"a", "b"}; 触发警告，因为C 不知道如何解释{ } 大括号的内容：

• 声明类型 char** 表明它是一个指向字符的指针
• { } 的内容指定了两个项目。

您需要通过在大括号前指定类型来告诉 C，您正在使用指向匿名数组的初始元素的指针来初始化指向指针的指针：

char ** p = (char*[]){"a", "b"}

这种结构称为“复合文字”。它可以在声明中使用，但也可以用作表达式。

注意：如果您打算将这样的数组传递给函数，您需要提供一种方法来确定数组的大小。一种方法是传递NULL 来“终止”数组，如下所示：

void f(char **p) {
    int i = 0;
    while (*p) {
        printf("%d:%s\n", i++, *p++);
    }
}
int main(void) {
    f((char*[]){"a", "b", NULL});
    return 0;
}

Demo.

Answer 3

C99 及更高版本添加 compound literals 的确切目的：动态创建数组和结构
示例：

struct foo {int a; char b[2];} structure;
structure = ((struct foo) {1, 'a', 0});
int *y = (int []) {1, 2, 3};
int *z = (int []) {1}; 

除了 std C99 及更高版本，GCC 也提供此功能作为扩展。
在您的情况下，这将起作用

f((char *[]){"a","b"});

(char *[]){"a","b"} 是一个复合文字，它动态创建一个包含 2 个指向 char 的指针的数组。