C++模板目标码是否会在可执行文件与动态库中重复及链接问题

这个问题问到点子上了——C++模板的实例化规则和动态链接的交互确实是很多人容易搞混的点，我来给你拆解清楚：

核心结论 #

默认情况下，可执行文件和动态库各自会保留一份相同参数的模板实例，链接器不会跨二进制文件去复用模板实例。

为什么会出现重复？ #

模板的实例化是编译/链接阶段的行为，而动态库和可执行文件是完全独立的编译链接产物：

• 当你编译动态库时，编译器会为库中用到的TemplCls<TArg>生成对应的模板实例，并把它放进动态库的目标代码里。
• 当你编译可执行文件时，编译器同样会为可执行文件中用到的TemplCls<TArg>生成实例。这是因为链接器在处理可执行文件时，只会查看动态库的导出符号表——而模板实例默认是非导出符号（除非你显式配置导出），链接器根本不知道动态库里已经存在这个实例，自然会在可执行文件里再生成一份。

这里补充个细节：同一个二进制文件（比如单个动态库）内部的多个源文件如果实例化了相同参数的模板，链接器会自动合并成一份，这就是你提到的“同一最终二进制文件只保留一份”的情况，但这个规则只在单个二进制文件的范围内生效。

有没有办法避免重复？ #

有，但需要显式干预模板的实例化和符号导出：

• 显式实例化+导出符号：在动态库的某个源文件里，显式实例化你需要的模板参数版本，比如：

  // 动态库的某个.cpp文件
  template class __attribute__((visibility("default"))) TemplCls<int>; // GCC/Clang
  // 或者MSVC下：
  // template class __declspec(dllexport) TemplCls<int>;
  

  这样编译动态库时，这个模板实例会被标记为导出符号，放进动态库的符号表。当编译可执行文件时，链接器会发现动态库已经导出了这个实例，就不会自己再生成，而是直接复用动态库中的版本。
• 注意：这种方式要求你提前知道所有需要实例化的模板参数，灵活性会打折扣——如果后续需要新增参数实例，就得修改动态库的代码重新编译。

不同平台的细微差异 #

• Linux/macOS：默认符号可见性是全局的，但隐式实例化的模板实例通常不会被自动导出到动态库的符号表，所以可执行文件还是会重复生成实例，必须显式设置可见性才能让链接器复用。
• Windows：MSVC编译器默认把模板实例标记为局部符号，动态库如果不通过__declspec(dllexport)显式导出，可执行文件肯定会重复生成；显式导出后才能实现跨二进制的实例复用。

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