我們都知道,在STL中基本上都使用了模板類(lèi)的聲明,即template。在模板類(lèi)的聲明中,我們有兩種方式:
template <class T>template <typename T>
在這里,class和typename是相同的。也就是說(shuō),在聲明一個(gè)template type parameter(模板類(lèi)型參數(shù))的時(shí)候,class和typename意味著 完全相同的東西。但是,在C++中,有的時(shí)候必須要使用typename.下面我們列舉下面一個(gè)例子。關(guān)鍵字typename被用來(lái)作為型別之前的標(biāo)識(shí)符號(hào)。
template <class T>class MyClass{typename T::SubType * ptr; ...};
在這里,typename指出SubType是class T中定義的一個(gè)類(lèi)別,因此ptr是一個(gè)指向T::SubType型別的指針。如果沒(méi)有關(guān)鍵字typename,SubType會(huì)被當(dāng)成一個(gè)static成員,于是
T::SubType * ptr 會(huì)被解釋為型別T內(nèi)的數(shù)值SubType與ptr的乘積。
SubType成為一個(gè)型別的條件是, 任何一個(gè)用來(lái)取代T的型別,其內(nèi)部必須有一個(gè)內(nèi)部型別
(inner type)SubType的定義。例如,將型別Q當(dāng)作template的參數(shù)。
MyClass x;
必要條件是型別Q有如下的內(nèi)部型別定義:
class Q{typedef int SubType; ...};
因此,MyClass的ptr成員應(yīng)該變成一個(gè)指向int型別的指針,子型別SubType也可以成為抽象
數(shù)據(jù)型別(例如,class):
class Q{class SubType; ...};
注意,如果要把一個(gè)template中的某個(gè)標(biāo)識(shí)符號(hào)指定為一種類(lèi)別,就算是意圖顯而易見(jiàn),關(guān)鍵字typename也是不能省略的,因此C++的一般規(guī)則是,除了使用typename修飾之外,template內(nèi)的任何標(biāo)識(shí)符號(hào)都被視為一個(gè)值而不是一個(gè)類(lèi)別(對(duì)象)。
總結(jié):
- template<typename T>與template<class T>一般情況下這兩個(gè)通用,但有一個(gè)特例,就是當(dāng) T 是一個(gè)類(lèi),而這個(gè)類(lèi)又有子類(lèi)(假設(shè)名為 innerClass) 時(shí),應(yīng)該用 template<typename>typename T::innerClass myInnerObject;這里的 typename 告訴編譯器,T::innerClass 是一個(gè)類(lèi),程序要聲明一個(gè) T::innerClass 類(lèi)的對(duì)象,而不是聲明 T 的靜態(tài)成員,而 typename 如果換成 class 則語(yǔ)法錯(cuò)誤