类方法的显式专门化——符号已经定义

Question

一个定义规则规定程序应该包含每个非内联函数的一个定义。对于模板类的成员，这对我来说不是很清楚:

 ///////////
 // 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. js。obj有Foo<int>::foo的定义。链接器报错这个符号被定义了不止一次:

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

当我在Foo<int>::foo()的定义前加上inline时，一切顺利，链接器很高兴。此外，当我在单独的编译单元(例如intfoo.cpp)中定义它们时，

(注:此解决方案已在https://stackoverflow.com/a/1481796/6610中提出)

可能是一个误解，但不是模板类的成员函数总是'内联'?这里的规则是什么?

Answer 1

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

如果你把它的定义放在一个头文件中，这个头文件包含了几个翻译单元，编译器会在处理每个翻译单元的时候为这个函数生成目标代码。

最后，链接器会抱怨多重定义的符号。inline关键字可以防止这种行为，就像它对常规非模板函数或非模板类的常规成员函数所做的那样。

Answer 2

可以移动显式专门化的定义

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

将

放入.cpp文件中。在。h:

中留下声明

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