C++模板之typename和class關鍵字的區別
阿新 • • 發佈：2020-11-12
C++模板之typename和class關鍵字的區別
我們都知道，在STL中基本上都使用了模板類的宣告，即template。在模板類的宣告中，我們有兩種方式：
| 1 2 |
template<classT>
template<typenameT>
|
在這裡，class和typename是相同的。也就是說，在宣告一個template type parameter(模板型別引數)的時候，class和typename意味著
完全相同的東西。
但是，在C++中，有的時候必須要使用typename.下面我們列舉下面一個例子。
關鍵字typename被用來作為型別之前的識別符號號。
| 1 2 3 4 5 |
template<classT>
classMyClass{
typenameT::SubType * ptr;
...
};
|
在這裡，typename指出SubType是class T中定義的一個類別，因此ptr是一個指向T::SubType型別的指標。如果沒有關鍵字typename，SubType會被當成一個static成員，於是
| 1 |
T::SubType * ptr
|
會被解釋為型別T內的數值SubType與ptr的乘積。
SubType成為一個型別的條件是,任何一個用來取代T的型別，其內部必須有一個內部型別(inner type)SubType的定義。例如，將型別Q當作template的引數。
MyClassx;
必要條件是型別Q有如下的內部型別定義：
| 1 2 3 4 |
classQ{
typedefintSubType;
...
};
|
因此,MyClass的ptr成員應該變成一個指向int型別的指標，子型別SubType也可以成為抽象
資料型別（例如,class）：
| 1 2 3 4 |
classQ{
classSubType;
...
};
|
注意，如果要把一個template中的某個識別符號號指定為一種類別，就算是意圖顯而易見，關鍵字typename也是不能省略的，因此C++的一般規則是，除了使用typename修飾之外，template內的任何識別符號號都被視為一個值而不是一個類別(物件)。
總結：
- template<typename T>與template<class T>一般情況下這兩個通用，但有一個特例，就是當 T 是一個類，而這個類又有子類(假設名為 innerClass) 時，應該用 template<typename>:
- typename T::innerClass myInnerObject;這裡的 typename 告訴編譯器，T::innerClass 是一個類，程式要宣告一個 T::innerClass 類的物件，而不是宣告 T 的靜態成員，而 typename 如果換成 class 則語法錯誤。