跨多共享库时如何实现类模板静态成员仅存一份实例的通用方案

核心思路 #

• 统一Windows和Linux的动态库导出/导入属性定义
• 针对指定的特化类型，在头文件中添加外部模板声明，告知编译器该特化的定义位于其他共享库，无需本地实例化
• 在指定的共享库源码中显式定义这些特化实例并导出

具体实现 #

第一步：修改头文件定义 #

#ifdef _WIN32
#   ifdef MY_LIB_EXPORT
#       define MY_LIB_API __declspec(dllexport)
#   else
#       define MY_LIB_API __declspec(dllimport)
#   endif
#else
// Linux/Clang用visibility属性控制符号导出
#   ifdef MY_LIB_EXPORT
#       define MY_LIB_API __attribute__((visibility("default")))
#   else
#       define MY_LIB_API
#   endif
#endif

template<typename T>
struct A
{
    static int x;
};

// 针对指定类型添加外部模板声明，跨平台通用
extern template MY_LIB_API int A<SpecificType1>::x;
extern template MY_LIB_API int A<SpecificType2>::x;
// 其他需要全局唯一实例的特化类型依次添加

第二步：指定共享库的cpp文件实现 #

编译该cpp时需要提前定义MY_LIB_EXPORT宏：

#include "对应头文件名.h"

// 显式定义特化实例，自动导出符号
template<> int A<SpecificType1>::x = 0;
template<> int A<SpecificType2>::x = 0;
// 其他特化依次定义

原方案报错原因解释 #

Linux/GCC/Clang环境下，没有extern template声明时，编译器遇到对A<SpecificType1>::x的访问会尝试隐式实例化该静态成员，找不到对应的定义就会抛出对应的编译错误。添加外部模板声明后，编译器会跳过本地实例化步骤，直接链接其他库中导出的唯一实例。

额外说明 #

• 如果需要支持更多的T类型，只需要在头文件中新增对应extern template声明，同时在共享库cpp中添加对应的特化定义即可
• 对于没有添加extern template声明的T类型，仍然保持每个库独立实例化的行为，符合需求

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