類方法的顯式特殊化 - 已定義的符號

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();