Question

One Definition Rule规定程序应包含每个非内联函数的一个定义。对于模板类的成员，这对我来说并不完全清楚：

 ///////////
 // Tfoo.h
 template<typename T> class A { 
     void foo(){} 
 };

 ///////////
 // intfoo.h
 #include <Tfoo.h>
 template<> class Foo<int> { 
     void foo(); // declaration only
 }; 
 /*inline*/ void Foo<int>::foo(){} // definition

 ///////////
 // X.cpp
 #include <intfoo.h>

 ///////////
 // Y.cpp
 #include <intfoo.h>

在这种情况下，clientX.obj和clientY.obj都定义为Foo<int>::foo。链接器抱怨此符号定义不止一次：

Y.obj : error LNK2005: "private: void __thiscall Foo<int>::foo(void)" 
(?foo@?$Foo@H@@AAEXXZ) already defined in X.obj

当我将inline添加到Foo<int>::foo()的定义时，一切顺利，链接器很高兴。当我在单独的编译单元（例如intfoo.cpp）中定义方法时。

（注意：此解决方案在https://stackoverflow.com/a/1481796/6610）

中提出

可能是一种误解，但模板类的成员函数不是“内联”吗？这里有什么规则？

Answer 1

类模板的显式特化的成员函数就像非模板类的成员函数。毕竟，显式专业化是一个不依赖于任何模板参数的具体类。

如果将其定义放在多个翻译单元包含的头文件中，编译器将在处理每个翻译单元时为该函数生成目标代码。

最终，链接器会抱怨多个定义的符号。 inline关键字可以防止此行为，就像它对常规非模板函数或非模板类的常规成员函数一样。

Answer 2

您可以移动显式特化的定义

void Foo<int>::foo() {}

进入.cpp文件。在.h：

中留言

template<>
void Foo<int>::foo();

类方法的显式特化 - 已定义的符号

2 个答案: