C++带静态字段的结构体与全局结构体对象的底层差异对比

二者在运行时性能层面几乎没有可观测的差异，底层存储都位于进程的静态存储区，但在类型语义、内存布局、使用逻辑上存在明确区别：

1. 内存布局与类型语义差异 #

• 方案1的MyPool是仅包含静态成员的结构体：静态成员不属于任何结构体实例，sizeof(MyPool)在绝大多数编译器下为1（空类的最小占位大小）。即使你强制创建MyPool的实例，不同实例也不会持有独立的capacity和numOfAllocatedObjects，两个变量全局唯一，属于MyPool类型本身。
• 方案2的MyPool是普通结构体：sizeof(MyPool)等于两个unsigned int的大小之和（主流编译环境下为8字节），你可以创建任意多个独立的MyPool实例，每个实例都有自己的capacity和numOfAllocatedObjects副本，仅全局声明的MyGlobalPool是全局共享的单例实例。

2. 访问性能与编译优化表现 #

访问方案1的成员写法为MyPool::capacity，编译器会直接关联到静态成员的固定内存地址；访问方案2的成员写法为MyGlobalPool.capacity，编译器原生逻辑是先取全局实例MyGlobalPool的固定地址，再叠加成员偏移量寻址。但在O1及以上的编译优化等级下，后者会被直接优化为对成员固定地址的访问，二者运行时的访问开销完全一致，没有性能差异。

3. 初始化与符号特性 #

二者的存储变量都属于静态存储期变量，初始化都发生在main函数执行之前，跨编译单元的初始化顺序都遵循C++标准的未定义规则，没有本质区别。唯一的差异是编译后的符号命名规则不同：静态成员的符号会携带类名前缀，全局实例的成员符号会携带全局变量名前缀，该差异仅影响链接阶段逻辑，不影响运行效率。

内容的提问来源于stack exchange，提问作者Евгений Павлов