为何重复声明模板无链接错误？C++外部链接特性疑问

这个问题的核心在于模板的本质是“代码生成蓝图”，而非直接的可执行代码，再加上C++标准对模板的One Definition Rule（ODR，单定义规则）做了特殊例外处理，这和普通全局函数的机制完全不同。

1. 普通全局函数 vs 模板的本质区别 #

• 普通全局函数：一旦你在翻译单元（.cpp文件）里定义了它，编译器会直接生成对应的机器码符号，并且因为它有外部链接，其他翻译单元也能看到这个符号。当两个翻译单元都定义了同一个全局函数，链接器会发现重复的符号，直接抛出链接错误——这就是你注释掉的eq_f()会报错的原因。
• 模板：模板本身不是一个实际的函数/类，它只是编译器用来生成具体函数/类的“模板”。在你没有实例化模板（比如调用my_func<int>()）之前，编译器不会生成任何对应的机器码。只有当你触发实例化时，编译器才会根据模板生成针对特定类型的特化版本（比如void my_func<int>()）。

2. 模板对ODR的特殊例外 #

C++标准规定：如果同一个模板在多个翻译单元中都有定义，只要这些定义是完全相同的（逐标记一致），那么这是合法的。链接器在遇到多个翻译单元中生成的同一个模板特化（比如my_func<int>()）时，会自动合并这些重复的符号，不会报错。

但要注意：如果多个翻译单元中的模板定义不一致（就像你的例子里，一个输出1!，一个输出2!），这就违反了ODR，属于未定义行为。此时链接器可能不会报错，但程序运行时的行为是不可预测的——比如你的例子里运行会输出2!，只是因为main函数所在的翻译单元里的模板实例被链接器选中了，但这完全没有保证，换个编译器或者编译选项可能就会得到不同的结果。

3. 你的代码实例分析 #

看你的代码：

• temp_1.cpp里的my_func模板输出1!，temp_2.cpp里的输出2!，两者定义不一致。
• 编译链接时，因为main函数在temp_2.cpp里调用了my_func<int>()，所以编译器会在temp_2.cpp里生成my_func<int>()的实例。而temp_1.cpp里的模板没有被实例化，所以编译器不会生成对应的机器码，自然不会有符号冲突。如果在temp_1.cpp里也实例化my_func<int>()，比如加一句void call() { my_func<int>(); }，那此时两个翻译单元都会生成my_func<int>()的符号，链接器可能会选择其中一个（依然是未定义行为），但有些编译器会给出警告。

总结一下：模板的外部链接体现在实例化后的特化上，而标准允许多个翻译单元存在相同的模板定义（只要定义一致），链接器会合并重复的特化符号；但普通全局函数的外部链接是直接针对函数本身，重复定义会直接触发链接错误。

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