C++ 初始化char数组用于初始化数组的字符串是否除了存储数组的位置之外单独存储在内存中

我们可以在两个层面上考虑C程序的作用.C标准使用抽象机器的模型指定C程序的语义.当C实现翻译和执行程序时，它可以以任何产生相同observable behavior的方式实现该程序，这就是程序访问易失性对象、将数据写入文件以及与输入/输出设备交互的方式.这允许编译器优化程序.

在抽象级别，根据C 2018 6.4.5 6，每个字符串字面量都会导致创建一个包含字符串字面量字符的数组:

在翻译阶段7，值为零的字节或代码被附加到由字符串字面量或字面量产生的每个多字节字符序列.然后使用多字节字符序列来初始化一个静态存储持续时间和长度刚好足以包含该序列的array.

创建和初始化的这个数组与程序也可能初始化的命名数组不同.例如，在char header[] = "Media Player";中，存在一个包含"Media Player"字符和空字符的未命名数组，并且存在通过将未命名数组复制到已命名数组来初始化的已命名数组header.

在实际的C实现中，编译器通常会根据上下文以各种方式优化数组初始化:

• 对于静态存储持续时间数组，例如在任何函数外部定义的数组或在函数内部定义的数组，编译器可以在对象模块内创建以其中的数据开始的空间.也就是说，对象文件包含一个或多个部分，这些部分有效地表示"当程序启动时，为此部分分配内存并使用对象模块中的字节初始化它."一旦操作系统实际向程序提供了数组的内存，它就会用数据初始化.从程序的Angular 来看，即使使用调试器进行内部查看，命名数组也会立即出现，其中包含初始数据;字符串文本没有单独的array.¹
• 对于无法以其他方式优化的自动存储持续时间数组，编译器确实需要保留由字符串字面量创建的单独array.然后，每次需要数组时(例如，调用其定义的函数)，编译器都会将数据从字符串字面量数组复制到命名数组的内存中(通常是硬件堆栈上的空间).使用调试器，我们可以看到数据从字符串字面量数组复制到该数组使用的堆栈空间中.
• 如果数组很短，编译器可能会将其初始数据构建到程序指令中.许多处理器体系 struct 提供包含少量"立即数据"的指令，这些数据可用于构建小常数和短字节序列.
• 在可能进行进一步优化的情况下，例如，编译器可以检测到该 routine 仅被调用一次，或者数组定义为const并且其地址没有传递到该 routine 之外，编译器可能能够将其类似于静态数组来处理.

脚注

¹我们几乎可以认为这与抽象语义相同:对象模块包含为字符串字面量创建的数组，内存中的数组用它初始化.因此，确实有两个数组，对象模块中的一个未命名数组和内存中的一个已命名array.然而，在抽象模型中，为字符串字面量创建的数组位于抽象计算机的内存中.假设它会有一个地址(尽管我们从未访问过它的地址).对象模块中的数据以这种方式不在程序的内存中，因此它实际上与抽象语义不相同.