字符数组初始化争议：初始化字符串是否存于字符串字面量池？

先明确C标准层面的核心区分：

• 字符串字面量是一种表达式，属于程序运行时的实体，通常会被存储在只读数据区（所谓的"字符串字面量池"），具有独立的内存地址。比如char *ptr = "Hello";中的"Hello"就是字符串字面量，ptr直接指向这个只读区的地址。
• 而char arr[] = "xxx";这种写法里的"xxx"，严格来说不是字符串字面量，它是C语言提供的数组初始化器的语法糖——本质是把字符串中的字符（包括'\0'，如果数组空间足够的话）逐个复制到目标数组中。

结合两本书的内容分析： #

• K.N.King的表述是准确的：char date1[8] = "June 14";里的"June 14"只是数组初始化的缩写形式，编译器处理时会直接将'J'、'u'、'n'等字符值填入数组的存储位置（比如栈上的自动数组），完全不需要在字符串字面量池中保留一份独立的拷贝。
• Richard Reese的错误在于混淆了两种不同的语法场景：他把数组初始化器的字符串形式，错误等同于作为表达式的字符串字面量，认为存在独立的字面量池地址。但实际上，除非编译器做了不必要的冗余存储优化，否则这个初始化过程和字面量池没有任何关系——数组的内容是直接初始化的，不是从字面量池拷贝来的。

补充验证： #

你可以通过对比两种写法的内存行为来验证：

char str[] = "Test";
char *ptr = "Test";

• str是栈上的数组，内容是'T'、'e'、's'、't'、'\0'，你可以修改它的内容（比如str[0] = 't'是合法的）。
• ptr指向的是只读数据区的字符串字面量，修改*ptr会导致未定义行为。

这两种写法的本质差异，恰恰说明数组初始化器中的字符串形式和字符串字面量不是一回事。

内容的提问来源于stack exchange，提问作者Rad Stor