C++模板和頭文件

Question

，所以我聽說C++模板不應該被分離成的.h和.cpp ...

例如這樣的一個模板：

template <class T> 
class J{ 

    T something; 

} 

這是真的？爲什麼這樣？

如果因爲這個，我將不得不將兩個聲明和實現放在同一個文件中，我應該把它放在.h文件還是一個.cpp文件中？

Answer 1

標題。

這是因爲模板在編​​譯時被實例化，而不是鏈接時和不同的翻譯單元（大致相當於你的文件）只在鏈接時彼此「知道」。在編譯時，標題往往會被廣泛「認識」，因爲它們在任何需要它們的翻譯單元中。

閱讀https://isocpp.org/wiki/faq/templates瞭解更多。

Answer 2

如果您需要模板代碼可以被其他翻譯單元（.cpp文件）使用，您需要將實現放在.h文件中，否則這些其他單元將無法實例化模板（展開它根據他們使用的類型）。

如果您的模板函數僅在一個.cpp文件中實例化，您可以在其中定義它。有時候，當一個類有一個私有成員函數，它是一個模板（並且它只從實現文件中調用，而不是類頭文件）時會發生這種情況。

Answer 3

是的，的確如此。聲明和實現通常放在頭文件中。一些編譯器嘗試使用export關鍵字來允許它們分離，但已從C++ 0x中刪除。查看this FAQ entry瞭解所有骯髒的細節。

Answer 4

您無法將模板類放入.cpp文件的原因是，爲了「編譯」.cpp文件，您需要知道用什麼類型來代替T.因爲它符合一個模板化的類（比如你的J類）沒有足夠的信息進行編譯。因此它必須全部在標題中。

如果您希望將實現分解爲另一個文件以保持清潔，最佳做法是使用.hxx文件。是這樣的：你的頭文件中，JH，提出：

#ifndef _J_H__ 
#define _J_H__ 

template <class T> class J{ // member definitions }; 

#include "j.hxx" 

#endif // _J_H__ 

，然後在j.hxx你必須

template <class T> J<T>::J() { // constructor implementation } 

template <class T> J<T>::~J() { // destructor implementation } 

template <class T> void J<T>::memberFunc() { // memberFunc implementation } 

// etc. 

最後在你的.cpp文件使用的模板類，讓我們稱它爲K.cpp你必須：

#include "J.h" // note that this always automatically includes J.hxx  
void f(void) 
{ 
    J<double> jinstance; // now the compiler knows what the exact type is. 
}