为什么初始化指针时必须将数组强制转换为type []？

初始化指针时，我们不强制转换字符串：

char *string = "Hello World!";

但是，如果我尝试显式定义数组（无论它是什么），则编译器会向我发出类型不兼容的警告：

char *string = {'H','e','l','o','\0'};

投射到char[]的方法有效，但是我想知道为什么我们必须强制转换吗？编译器没有看到初始化值{'H','\0'}已经是数组吗？如果我们以相同的方式初始化string[]之类的数组，则不必强制转换。我在这里假设编译器看到了初始化值，为什么初始化指针时却看不到它？

string是一个指针，而不是数组，因此它需要一个作为指针的初始化程序。

第一个代码段是正确的，因为字符串文字具有数组类型，并且该数组衰减为指向其第一个元素的指针。

第二个方法不正确，因为您要为指针分配一组字符。由于string不是数组或结构，因此仅使用初始化程序列表的第一个成员。因此，您要尝试将一个字符常量（类型为int）分配给指针。

您说，如果您投放，它会起作用。如果您是这个意思：

char *string = (char []){'H','e','l','o','\0'};

然后您实际上拥有的是右侧的复合文字，具有数组类型，并且像第一个示例一样，数组会衰减为指向其第一个成员的指针。

初始化指针时，必须提供一个值，该值是对象的地址或空指针。

{'H','\0'}不是任何东西的地址。这是初始化列表的语法，该列表只能用于初始化类型为数组或结构类型的变量。

您实际上没有显示您正在谈论的演员表，但我认为是

char *string = (char[]){'H','\0'};

尽管它使用类似的语法，但实际上不是强制转换。

在括号中带有数组或结构类型的初始化列表称为compound literal。它创建指定类型的匿名对象，值就是该对象。

与数组一起使用时，值会衰减到指向数组第一个元素的指针，就像在r值上下文中对数组进行的其他任何使用一样。这使您可以将其用作指针变量的初始化程序。

因此它实际上等效于：

char temp[] = {'H','\0'};
char *string = temp;

除了没有名称temp与数组相关联。

使用字符串文字进行初始化时，您不需要这种语法，因为字符串文字已经在静态内存中构造了数组并求值到第一个元素的指针。

像{'a'}或{'a'，1}甚至{}这样的复合文字都将为将来的语言扩展开放。

也许复合文字{'a'，1，'b'，17}在某个时候可能是将来可能进行的纯C hashmap初始化的有效右值。

C的语法故意没有太多假设。

C可能会增长。

此外，我们与C ++的兼容性很少，我们不希望C编译器做出一切假设，因为这些假设会使C代码仍然无法通过C ++编译器正确地进行工作。

C和C ++的发展需要相互尊重。

即使是C本身的潜在未来增长，也有必要不要将字面量误解释为它们在C?中可能合理的含义。