模板对象代码重复问题咨询：非模板特化场景

好问题！咱们一步一步拆解这个场景：

1. 编译阶段：每个目标文件都会生成一份模板实例 #

当你在10000个.cpp文件里分别调用foo<int>(42)时，每个文件都是独立编译的。编译器处理每个文件时，都会看到foo<int>的调用，于是会把模板template <typename T> T foo(T bar)实例化为具体的int foo(int bar)函数，并把这段目标代码塞进对应的.o文件里。

也就是说，这10000个.o文件里，每个都包含一份完全相同的foo<int>实现副本——听起来好像会导致目标文件总体积爆炸？别急，链接阶段会解决这个问题。

2. 链接阶段：重复符号自动消除 #

现代C++链接器（比如GCC的ld、Clang的lld、MSVC的link.exe）都支持**COMDAT折叠（COMDAT folding）**机制，专门用来处理模板实例化这种天生会产生重复符号的场景：

• 链接器会扫描所有输入的.o文件，找出所有符号名相同的COMDAT节（这里就是各个foo<int>的代码段）。
• 它会只保留其中一份完整的foo<int>实现，把其他所有副本直接丢弃。

所以最终生成的可执行文件（或者库文件）里，只会有一份foo<int>的代码，不会有冗余，也不会因为“重复定义符号”报错。

3. 特殊情况的补充 #

• 如果是静态库：链接器在处理静态库时，同样会触发COMDAT折叠，不会保留重复的模板实例。
• 如果是动态库：通常动态库内部如果有模板实例化的调用，会在编译动态库时就生成对应的实例；如果是程序调用动态库中的模板，实例化会在程序编译时完成，但链接阶段依然会消除重复。
• 极端情况：如果你手动关闭了链接器的COMDAT支持（比如某些非常老旧的编译工具链，或者手动加了奇怪的编译选项），才会出现重复符号错误，但这种情况在现代开发中几乎不会遇到。

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