为什么C中的复合文字可以修改

人们通常将“不可修改的”与术语“文字”联系起来

char* str = "Hello World!"; *str = 'B'; // Bus Error! 

然而，当使用复合文字时，我很快发现它们是完全可修改的（并且锁定在生成的机器代码中，您会看到它们被推入堆栈中）：

 char* str = (char[]){"Hello World"}; *str = 'B'; // A-Okay! 

我正在使用clang-703.0.29编译。 这两个例子不应该生成完全相同的机器代码吗？ 如果它是可修改的，复合文字真的是文字吗？

编辑：一个更短的例子是：

 "Hello World"[0] = 'B'; // Bus Error! (char[]){"Hello World"}[0] = 'B'; // Okay! 

Answer 1

复合文字是左值，其元素的值是可修改的。 的情况下

 char* str = (char[]){"Hello World"}; *str = 'B'; // A-Okay! 

你正在修改合法的复合文字。

C11-§6.5.2.5/ 4：

如果类型名称指定了未知大小的数组，则大小由6.7.9中指定的初始化程序列表确定， 复合文字的类型是已完成数组类型的类型 。 否则（当类型名称指定对象类型时），复合文字的类型是由类型名称指定的类型。 在任何一种情况下，结果都是左值 。

可以看出复合文字的类型是一个完整的数组类型并且是左值，因此它可以修改，不像字符串文字

标准也提到了

§6.5.2.5/ 7：

字符串文字和具有const限定类型的复合文字不需要指定不同的对象。 ¹⁰¹

进一步说：

11示例4可以通过以下结构指定只读复合文字：

 (const float []){1e0, 1e1, 1e2, 1e3, 1e4, 1e5, 1e6} 

12例5以下三个表达方式有不同的含义：

 "/tmp/fileXXXXXX" (char []){"/tmp/fileXXXXXX"} (const char []){"/tmp/fileXXXXXX"} 

第一个总是具有静态存储持续时间并且具有char类型数组，但不需要是可修改的 ; 当它们出现在函数体内时，最后两个具有自动存储持续时间，并且这两个中的第一个是可修改的 。

13示例6与字符串文字一样，const限定的复合文字可以放入只读内存中，甚至可以共享。 例如，

 (const char []){"abc"} == "abc" 

如果文字的存储是共享的，则可能会产生1。