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

Question

人们通常会将“不可修改”与字面量相关联

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。

Answer 2

复合字面量语法是一种简写表达式，相当于带有初始化器的局部声明，后跟对由此声明的未命名对象的引用：

char *str = (char[]){ "Hello World" };

相当于：

char __unnamed__[] = { "Hello world" };
char *str = __unnamed__;

__unnamed__具有自动存储功能，定义为可修改，可以通过初始化指向它的指针str进行修改。

在char *str = "Hello World!"; 的情况下，str 指向的对象不应该被修改。事实上，试图修改它有未定义的行为。

C 标准可以将此类字符串文字定义为具有类型 const char[] 而不是 char[]，但这会在遗留代码中产生许多警告和错误。

但建议将标志传递给编译器以使此类字符串文字隐式const 并使整个项目const 正确，即：将所有不用于修改其对象的指针参数定义为@987654331 @。对于gcc 和clang，命令行选项为-Wwrite-strings。我还强烈建议使用-Wall -W -Werror 启用更多警告并使其致命。