类模板中的非模板成员函数在可执行文件中仅生成一次吗？

针对你给出的代码，每个模板实例化（A<int>和A<double>）都会生成独立的f()成员函数实例——不过链接器可能会对完全相同的机器码做合并优化，但这属于编译器实现层面的细节，而非C++标准的强制要求。

标准层面的核心规则 #

• C++标准明确规定，当模板被实例化为具体类型时，其所有被使用到的成员都会被实例化（除非通过显式特化、显式实例化声明等方式手动控制）。A<int>和A<double>是两个完全独立的模板特化类型，它们的成员函数f()属于各自特化的一部分，因此编译器必须为每个特化生成独立的函数实体。
• 类内定义的成员函数默认带有inline属性，内联函数允许编译器在多个编译单元中生成相同的代码副本，链接阶段会自动去重以减少体积，但这只是优化行为，并不改变“每个特化对应独立函数实例”的本质。

可验证的实际表现 #

你可以通过查看二进制文件的符号表来验证这一点：

• 使用nm或objdump等工具分析编译后的二进制，会看到两个不同的名字修饰符号，比如_ZN1AIiE1fEv（对应A<int>::f()）和_ZN1AIdE1fEv（对应A<double>::f()），这直接证明它们是两个独立的函数实体。

例外场景 #

如果遇到以下情况，成员函数的实例化行为会改变：

• 显式特化：如果为特定类型（比如A<int>）单独编写了f()的特化版本，那么该特化会替代默认模板生成的函数。
• 显式实例化声明：通过extern template class A<int>;这类声明，可以告诉编译器不在当前编译单元生成实例，而是依赖其他单元的显式实例化定义。

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