为何函数模板可存在于多个源文件？ODR与实例化的疑问

你提到的问题核心在于C++标准对单定义规则（ODR）针对模板的特殊豁免，具体原因如下：

• 普通函数的ODR约束：普通函数如果在头文件中定义，每个包含该头文件的翻译单元都会生成一份独立的函数定义，链接时这些重复定义会触发"多重定义"错误，这就是普通函数不能在头文件定义的原因。

• 模板的特殊规则：函数模板本身并不是可执行代码，只有当编译器遇到具体的调用（比如sum(2,3)）时，才会隐式实例化出对应类型的具体函数（比如int sum(int,int)）。C++标准明确规定：只要多个翻译单元中实例化出的同类型模板函数，其定义是完全一致的（比如都来自同一个头文件的模板代码），链接器会自动合并这些重复的实例化结果，不会违反ODR。

• 结合你的例子来看：main.cpp和helper.cpp都包含了helper.hpp，各自实例化出int sum(int,int)，但两者的函数体完全相同，链接时会被合并成一份，不会出现多重定义错误。

需要注意的是，如果不同翻译单元中实例化的同类型模板函数定义不一致（比如一个翻译单元用了修改后的模板代码，另一个用了旧版本），会导致未定义行为，但这属于开发者的代码同步问题，并非模板规则本身的问题。

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