静态数组与静态const数组的内存占用及实现细节问询

嘿，我来帮你理清这个问题的细节，结合你用的C++ Builder 11.3（Clang编译器）来逐一解答：

一、全局单元内（cpp文件中）的情况 #

先看你提到的全局静态数组和静态const数组的差异：

• 对于static const int array[4] = {1,2,3,4};：
  这个数组会被编译器放到可执行文件的只读数据段（比如.rodata）里，程序加载时直接映射到内存的只读区域。它只会被加载一次，内存里始终只有一份副本——因为是const，编译器会确保没有代码能修改它，完全不需要复制操作。
• 对于static int array[4] = {1,2,3,4};：
  它会被放到可读写数据段（比如.data）里，同样是程序启动时就加载到内存，内存里也只有一份。你担心的“内存存两份、启动时复制”其实不存在，静态变量不管是否带const，全局范围内都是一次性初始化，只占一份内存空间。两者的核心区别是内存权限：const数组所在的区域是只读的，不能被修改；普通静态数组则可以被代码修改。

二、函数内部声明的情况 #

如果把这两种数组放在函数内部，内存行为的差异其实不大：

• 函数内的static const数组：
  依然会被放在只读数据段里。虽然C++标准里说静态变量是首次调用函数时初始化，但Clang对于这种常量数组会优化成程序启动时就完成初始化。不管函数被调用多少次，内存里都只有一份；就算函数永远不被调用，它的空间会被分配在可执行文件中，但现代操作系统的按需分页机制会让它不会被加载到物理内存（虚拟地址空间会预留，但不会占用实际物理内存）。
• 函数内的普通static数组：
  放在可读写数据段，同样只初始化一次（要么启动时，要么首次进入函数时，取决于编译器优化），内存里也只有一份。如果函数从未被调用，和上面const数组的情况一样，虚拟地址预留但不会占用物理内存，也不会有复制操作发生。

三、关于你担心的“复制”问题 #

不管是全局还是函数内的静态数组，都不会出现“内存里存两份、启动时复制”的情况。静态变量的本质就是在程序的全局数据区（只读/可读写）中分配唯一的存储空间，只做一次初始化，后续使用都是直接访问这一份空间。

备注：内容来源于stack exchange，提问作者Peter