C++模板之typename和class關鍵字的區別

我們都知道，在STL中基本上都使用了模板類的聲明，即template。在模板類的聲明中，我們有兩種方式：

template <class T>
template <typename T>

在這里，class和typename是相同的。也就是說，在聲明一個template type parameter(模板類型參數)的時候，class和typename意味着 
完全相同的東西。

但是，在C++中，有的時候必須要使用typename.下面我們列舉下面一個例子。

關鍵字typename被用來作為型別之前的標識符號。

template <class T>
class MyClass{
    typename T::SubType * ptr;
    ...
};

在這里，typename指出SubType是class T中定義的一個類別，因此ptr是一個指向T::SubType型別的指針。如果沒有關鍵字typename，SubType會被當成一個static成員，於是

T::SubType * ptr

會被解釋為型別T內的數值SubType與ptr的乘積。

SubType成為一個型別的條件是,任何一個用來取代T的型別，其內部必須有一個內部型別(inner type)SubType的定義。例如，將型別Q當作template的參數。 
MyClass x;

必要條件是型別Q有如下的內部型別定義：

class Q{
    typedef int SubType;
    ...
};

因此,MyClass的ptr成員應該變成一個指向int型別的指針，子型別SubType也可以成為抽象 
數據型別（例如,class）：

class Q{
    class SubType;
    ...
};

　　

注意，如果要把一個template中的某個標識符號指定為一種類別，就算是意圖顯而易見，關鍵字typename也是不能省略的，因此C++的一般規則是，除了使用typename修飾之外，template內的任何標識符號都被視為一個值而不是一個類別(對象)。

 

總結：

1. template<typename T>與template<class T>一般情況下這兩個通用，但有一個特例，就是當 T 是一個類，而這個類又有子類(假設名為 innerClass) 時，應該用 template<typename>:
2. typename T::innerClass myInnerObject;這里的 typename 告訴編譯器，T::innerClass 是一個類，程序要聲明一個 T::innerClass 類的對象，而不是聲明 T 的靜態成員，而 typename 如果換成 class 則語法錯誤。