宣告template引數時，字首關鍵詞class和typename可互換。也就是說以下兩個沒有區別:

(1)template<class T>class Widget;

(2)template<typename>class Widget。

然而C++並不總是把class和typename視為等價。有時一定得使用typename。

這種時機就是:任何時候當想要在template中指涉一個巢狀從屬型別名稱，就必須在緊鄰它的前一個位置放上關鍵字typename，只有如下一個例外:不得在base class list(基類列)或member initializationlist(成員初值列)內以它作為base class修飾符。其中：template內出現的名稱如果相依於某個template引數，稱之為從屬名稱。如果從屬名稱在class內呈巢狀狀，我們稱它為巢狀從屬名稱。C::const_iterator(看下面例子)就是這樣的一個名稱。實際上它還是個巢狀從屬型別名稱，也就是個巢狀從屬名稱並且指涉某型別。看下面例子：

template <typename C>
void print2nd(const C& container)
{
 if(container.size()>=2)
 {
  C::const_iterator iter(container.begin());
  ++iter;
  int value = *iter;
  cout<<value<<endl;
 }
}

巢狀從屬名稱有可能引起解析困難。如下面的例子（將上面的改一下）：

template <typename C>
void print2nd(const C& container)
{
 C::const_iterator* x;
 ...
}

按照正常的理解我們應該是聲明瞭一個x的區域性變數，但是前提是我們知道C::const_iterator是個型別，但是萬一不是呢，比如C是個類並且它有一個const_iterator的靜態成員變數呢而且x又是一個全域性變數，那麼上面的就是一個相乘的動作，即C::const_iterator乘以x。引起歧義。

在我們知道C是什麼之前，沒有任何辦法可以知道C::const_iterator是否是一個型別。而當編譯器開始解析template print2nd時，尚未知C是什麼東西。C++有個規則可以解析此一歧義狀態：如果解析器在template中遭遇一個巢狀從屬名稱，它便假設這名稱不是一個型別，除非你告訴它是。所以預設情況下巢狀從屬名稱不是型別。此規則有個例外，稍後會談到。我們告訴它是隻需在C::const_iterator前加上關鍵字typename即可。

注意typename只被用來驗明巢狀從屬型別名稱；其他名稱不該有它存在。如下面的例子：

template<typename C>

void f(const C& container,typename C::iterator iter)。引數中第一個不是巢狀從屬型別名稱，所以不需要關鍵字typename，而第二個需要。

“typename必須作為巢狀從屬型別名稱的字首詞”這一規則的例外是，typename不可以出現在base classes list內的巢狀從屬型別名稱之前，也不可在member initalization list（成員初始列）中作為base class修飾符。例如：

template<typename T>
class Derived:public Base<T>::Nested     //base list中不允許"typename"
{
public:
 explicit Derived(int x)
  :Base<T>::Nested(x)               //mem init list中不允許有"typename"
 {
  typename Base<T>::Nested temp;    //這個一定要有"typename"
 }
}

最後宣告一點：以上講的在VC++ 6.0下不適用，也就是說在VC下不用typename修飾巢狀從屬型別，編譯器也不會抱怨，但是在gcc核心下就會發生抱怨。

參考文獻：《Effective C++》