多CPP文件中不同模板显式实例化的C++代码合法性及应用疑问

是否符合C++标准？ #

分两种场景判断：

1. 不同CPP文件针对互不重叠的类型做显式实例化（比如impl1负责int/short，impl2负责float/double）：这种做法完全符合C++标准。
   标准允许将模板的成员函数定义放在CPP文件中，通过显式实例化定义（template class Foo<int>;）生成特定类型的模板实例，只要每个类型的实例化定义在整个程序中仅出现一次，就不违反ODR（单定义规则）。
2. 多个CPP文件针对同一类型重复显式实例化：这属于违反ODR的未定义行为（UB）。标准要求每个实体的定义在程序中只能有一个（ODR例外情况除外），重复实例化同一模板特化显然违反规则。编译器/链接器不报错是因为标准不强制要求检测这种情况，程序最终会随机选用其中一个实现，行为不可预测。

属于通用技术还是小众用法？ #

这是C++标准明确支持的模板分离编译技术的一种，不算小众，在特定场景下是常用方案：

• 大型项目中：可减少编译时间，避免每个包含模板头文件的CPP都重复实例化模板，仅需在指定CPP中集中做显式实例化。
• 需要针对不同类型做定制化实现时：比如对数值类型和字符串类型的模板成员函数做完全不同的逻辑，拆分到不同CPP中更便于维护。
  不过日常中小项目里，隐式实例化（模板实现放在头文件）更简便，所以这种显式实例化拆分的用法相对少一些，但绝对是符合标准的通用技术。

为什么重复实例化时编译器/链接器未报错？ #

• 编译阶段：单个CPP文件的编译是独立的，编译器不知道其他CPP中存在同一类型的显式实例化，因此不会报错。
• 链接阶段：C++标准没有强制要求链接器检测模板特化的重复定义，不同编译器/链接器的处理策略不同（GCC/Clang默认会选择其中一个定义，不报错），但这并不代表代码合规，只是工具未做检测而已，不属于编译器扩展。

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