模板类实例静态成员在共享库与可执行文件中的不一致问题

核心本质 #

模板类的静态成员（如PoolObject<T>::m_pool）遵循翻译单元（TU）独立实例化规则：每个包含模板特化代码的TU，都会独立生成该特化的静态成员实例。当共享库（libSection）和主程序作为两个独立TU分别实例化PoolObject<Section>时，会产生两份完全独立的m_pool——最终是否合并这两份实例，由符号可见性设置和编译器/链接器的模板符号处理策略共同决定。

对应观测现象的具体解释 #

• 构造/析构移至头文件后地址一致：
  当Section的构造/析构在头文件中定义（类内定义默认是inline），new/delete运算符的调用会被内联到主程序TU中。此时主程序会直接实例化PoolObject<Section>，共享库中不再有独立的TU触发该特化的实例化，最终全局仅存在一份m_pool实例。

• 修改Section可见性为default后地址一致：
  默认情况下，共享库的符号可见性为hidden（符号仅在库内可见，不导出到全局符号表）。通过_Pragma("GCC visibility push(default)")将Section相关符号设为default后，共享库会把PoolObject<Section>的符号导出到全局符号表。主程序实例化该特化时，会直接复用共享库中已导出的实例，而非重新生成，因此new/delete访问的是同一个m_pool。

• 模板参数改为int时地址一致：
  内置类型int无额外的类成员函数需要在共享库中单独编译，PoolObject<int>的实例化完全在头文件中完成。共享库和主程序会共享同一个实例化后的m_pool，不会产生重复实例。

• GCC编译下无此问题：
  GCC默认会对模板特化符号启用COMDAT节合并机制——即使共享库符号为hidden可见性，链接器也会自动识别并合并相同的模板特化实例。而其他编译器（如Clang）在默认设置下，不会合并hidden可见性的COMDAT符号，因此保留了两份独立的m_pool。

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