C++不同定义的模板函数是否引发未定义行为及相关链接规则疑问

测试源码 #

0.cc #

template <class T>
T get(){
 return 5;
}

int get(){
 return 6;
}

int main(){
 return get<int>();
}

1.cc #

template <class T>
T get(){
 return 7;
}
template int get<int>(); // 强制生成模板实例代码

编译现象 #

使用g++ -Wall 0.cc 1.cc命令编译无链接报错，程序最终返回值为5。

1. 即便未使用extern关键字，模板是否默认具备外部链接？ #

是的，未声明为static的函数模板默认具备外部链接，无需额外添加extern关键字修饰。

2. 链接器是否会像处理inline函数一样处理多份模板定义？即从多个定义中任选其一，若各定义内容不一致是否会引发未定义行为（UB）？ #

是的，链接器对模板实例化生成的符号处理逻辑和inline函数完全一致：

• 相同签名的多份模板实例定义属于弱符号，链接器会从中任选一份保留，其余丢弃；
• 如果多个翻译单元中同一个模板的定义内容不一致，会违反C++的单定义规则（ODR），属于标准明确规定的未定义行为。本次示例返回5只是链接器随机选择了0.cc中模板实例的结果，更换编译环境、链接参数都可能得到不同的运行结果。

3. 为何普通函数int get(){}不会引发链接错误？模板函数和普通函数的符号是否存在差异？ #

本次场景下普通函数不会报错的核心原因是：两个源码文件中只有0.cc存在普通int get()的定义，1.cc没有该普通函数的定义，自然不会触发重定义冲突。
模板函数和普通函数的符号属性确实存在本质差异：

• 普通非inline、非模板函数默认是强符号，链接器如果检测到多份同签名的强符号定义，会直接抛出重定义错误；
• 隐式/显式实例化的模板函数默认是弱符号，多份同签名的弱符号定义不会触发链接错误，链接器只会选择保留其中一份。

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