为何C++自由函数内实例化静态对象会使二进制体积翻倍？

核心误解纠正 #

函数内静态变量并非存储在堆中，它和全局变量一样位于静态存储区（对应二进制的.data或.bss段），二者的核心差异是初始化时机与机制，而非存储位置。

两种写法的本质差异 #

1. 全局对象的初始化逻辑 #

全局对象属于静态初始化，在程序启动（main()函数执行前）由启动代码完成初始化：

• 如果对象是常量初始化或零初始化，编译器会直接将值写入二进制的.data（已初始化）或.bss（未初始化/零初始化）段，无需额外运行时代码。
• 即使需要执行构造函数，也是在启动阶段一次性批量调用，不会在函数内插入分支或同步逻辑。

2. 函数内静态对象的初始化逻辑 #

函数内静态对象属于延迟初始化，仅在第一次进入函数时执行初始化，GCC默认会生成线程安全的初始化代码（即使是单线程的Cortex-M4环境），这会引入以下额外代码与符号：

• Guard变量：一个字节的标志位（存于.bss），用于标记对象是否已完成初始化。
• 分支判断逻辑：每次进入函数时都要检查Guard变量，未初始化则执行构造函数并标记Guard。
• 线程安全同步代码：GCC默认开启-fthreadsafe-statics，会生成原子操作或简易锁逻辑，确保多线程环境下初始化仅执行一次——即使你用的是单线程系统，这部分代码仍会被编译进去。
• 异常相关符号引入：即使你开启了-fno-exceptions，GCC 10.2.1在处理延迟初始化时，仍会链接std::bad_exception等异常相关符号，作为初始化失败的 fallback 逻辑（哪怕构造函数无法抛出异常），这会进一步增加二进制体积。

体积差异的根本原因 #

• 函数内静态对象的延迟初始化需要额外的Guard变量、分支判断、线程安全代码，再加上异常相关符号的引入，导致二进制体积几乎翻倍。
• 全局对象的静态初始化无需这些额外逻辑，仅需在启动阶段完成构造，因此体积显著更小。

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