GCC编译C静态全局数组类写时复制初始化的文档何处可查？

你的推理结论错误 #

你提到的静态数组并非在访问时才初始化，实际情况是：

• 这个static int array[256];属于静态存储期对象，根据C标准，它确实会被初始化为全0。
• GCC没有生成显式初始化代码，是因为这类对象会被编译器分配到程序的BSS段中。BSS段是专门存放未初始化（或默认初始化）静态变量的内存区域，程序被操作系统加载时，操作系统会自动将整个BSS段的内容清零，不需要编译器生成额外的初始化指令。这和fork的写时复制机制完全无关。

相关文档记载 #

• GCC官方手册中，在「Storage Classes」（存储类）和「Object File Sections」（目标文件段）相关章节，会说明静态变量的段分配规则，以及BSS段的自动清零特性。
• 系统层面的ELF格式规范（比如Linux的elf(5)手册）也会明确BSS段的功能：加载时由内核负责清零，无需在可执行文件中存储零值数据，以此节省文件体积。

内容的提问来源于stack exchange，提问作者Mark Galeck