函数模板特化为何需加inline？结合Stack Overflow案例求解

嘿，这个问题戳中了C++模板特化里一个很容易踩的坑！咱们把来龙去脉说清楚：

首先得明确一个核心点：当你写出template<> void func<mytype>(mytype& val);这种全特化的函数时，它已经不再是模板了——它就是一个普通的、有着具体类型的函数！和你直接写void func(mytype& val);本质上没区别。

那问题就来了：你把这个函数的实现放在了.tpp文件里，然后这个文件又被头文件包含。当多个.cpp源文件都包含了这个头文件时，每个源文件的编译单元里都会生成一份这个全特化函数的定义。等到链接阶段，链接器发现同一个符号（也就是这个func<mytype>函数）被定义了好多次，自然就会抛出「重复符号」的错误。

那inline关键字在这里起了什么作用呢？
在C++里，inline函数有一个特殊规则：它允许在多个编译单元中存在相同的定义，只要这些定义的内容完全一致。链接器遇到这种情况时，会自动合并这些重复的定义，不会报错。

而普通的非特化模板为什么不会有这个问题？因为模板是按需实例化的，编译器会保证同一个模板实例在整个程序里只会生成一份有效的定义（或者说链接器会处理重复的模板实例），但全特化的函数已经脱离了模板的范畴，所以不适用这个规则。

总结一下：

• 你的全特化函数本质是普通函数，头文件里的定义被多文件包含会导致重复定义
• inline让链接器允许这种重复定义并合并，从而解决了链接错误

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