Effective C++筆記：template中的class、typename關(guān)鍵字

? ? ? ?template 聲明式中，class 和 typename 這兩個(gè)關(guān)鍵字意義完全相同

templateclass?Widget;
templateclass?Widget;

? ? ? ?有時(shí)候你一定要用 typename。

templatevoid?print2nd(const?C&?container)?
{?
????if?(container.size()?>=?2)?
????{?
????????C::const_iterator?iter(container.begin());?
????????++iter;?
????????int?value?=?*iter;?
????????std::cout?<<?value;?
????}?
}

? ? ? ?iter 的類型是C::const_iterator實(shí)際上是什么必須取決于template 參數(shù)C。template內(nèi)出現(xiàn)的名稱如果相依于某個(gè)template參數(shù)，稱之為從屬名稱（dependent names）。如果從屬名稱在class內(nèi)呈嵌套狀，稱之為嵌套從屬名稱（nested dependent name）。C::const_iterator就是這樣一個(gè)名稱嵌套從屬名稱。value類型int，不依賴任何template參數(shù)的名稱，稱為非從屬名稱（non-dependent name）。
? ? ? ?嵌套從屬名稱可能導(dǎo)致解析的困難：

templatevoid?print2nd(const?C&?container)?
{?
????C::const_iterator*?x;?
}

? ? ? ?看起來我們好像聲明一個(gè)local變量，是個(gè)指針，指向一個(gè)C::const_iterator。 但它之所以被那么認(rèn)為，是因?yàn)槲覀?“已經(jīng)知道”C::const_iterator是個(gè)類型。如果C::const_iterator不是個(gè)類型呢？如果C有個(gè)static成員變量碰巧被命名為const_iterator。此時(shí)x碰巧是個(gè)global變量名稱，那樣上述代碼就是一個(gè)相乘動(dòng)作，C::const_iterator乘以x。撰寫C++解析器的人必須操心所有可能的輸入。
? ? ? ?在我們知道C以前，沒有任何辦法可以知道C::const_iterator是否為一個(gè)類型。而當(dāng)編譯器開始解析 template print2nd 時(shí)，尚未確定C是什么東西。
C++有個(gè)規(guī)則可以解析這一歧義狀態(tài)：如果解析器在template 中遭遇一個(gè)嵌套從屬名稱，它便假設(shè)這個(gè)名稱不是個(gè)類型，除非你告訴它是。缺省情況下從屬名稱不是類型。此規(guī)則還有個(gè)例外，后面會(huì)提到。
? ? ? ?所以上述代碼不是有效的C++代碼。我們必須告訴 C++ 說C::const_iterator是個(gè)類型。只要緊鄰它之前放置關(guān)鍵字typename即可：

template//這個(gè)合法的C++代碼?
void?print2nd(const?C&?container)?
{?
????if?(container.size()?>=?2)?
????{?
????????typename?C::const_iterator?iter(container.begin());?
????????++iter;?
????????int?value?=?*iter;?
????????std::cout?<<?value;?
????}?
}

? ? ? ?typename只用來驗(yàn)明嵌套從屬類型名稱，其他名稱不該有它存在。

templatevoid?f(const?C&?container,????????//?不允許使用?typename?
???????typename?C::iterator?iter);//?一定要使用?typename

? ? ? ?“typename必須作為嵌套從屬類型名稱的前綴詞” 這一規(guī)則的例外是，typename 不可以出現(xiàn)在base classes list內(nèi)的嵌套從屬類型名稱之前，也不可在member initialization list（成員初始化列表）中作為base class修飾符。例如：

templateclass?Derived:?public?Base::Nested{//?base?class?list中不允許“typename”?
public:?
????explicit?Derived(int?x)?
????????:Base::Nested(x)???????????//mem.init.list中不允許“typename”?
????{?
???????typename?Base::Nested?temp;?//嵌套從屬類型既不在base?class?list中也不在mem.init.list中，?
????}?????????????????????????????????//?作為一個(gè)base?class修飾符需加上typename?
};

? ? ? ?讓我們看一個(gè)typename例子：一個(gè)function template，他接受一個(gè)迭代器，而我們打算為該迭代器指涉的對(duì)象做一份復(fù)件temp：

templatevoid?workWithIterator(IterT)?
{?
????typename?std::iterator_traits::value_type?temp(*iter);?
}

? ? ? ?如果IterT是 vector