C++箴言：理解typename的兩個(gè)含義

C++箴言：理解typename的兩個(gè)含義

templateclassWidget;//uses“class“

templateclassWidget;//uses“typename“

答案：沒什么不同。在聲明一個(gè)templatetypeparameter（模板類型參數(shù)）的時(shí)候，class和typename意味著完全一樣的東西。一些程序員更喜愛在全部的時(shí)間都用class，由于它更簡單輸入。其他人（包括我本人）更喜愛typename，由于它示意著這個(gè)參數(shù)不必要是一個(gè)classtype（類類型）。少數(shù)開發(fā)者在任何類型都被允許的時(shí)候使用typename，而把class保存給僅承受user-definedtypes（用戶定義類型）的場合。但是從C++的觀點(diǎn)看，class和typename在聲明一個(gè)templateparameter（模板參數(shù)）時(shí)意味著完全一樣的東西。

然而，C++并不總是把class和typename視為等同的東西。有時(shí)你必需使用typename。為了理解這一點(diǎn)，我們不得不爭論你會(huì)在一個(gè)template（模板）中涉及到的兩種名字。

假設(shè)我們有一個(gè)函數(shù)的模板，它能取得一個(gè)STL-compatiblecontainer（STL兼容容器）中持有的能賦值給ints的對象。進(jìn)一步假設(shè)這個(gè)函數(shù)只是簡潔地打印它的其次個(gè)元素的值。它是一個(gè)用糊涂的方法實(shí)現(xiàn)的糊涂的函數(shù)，而且就像我下面寫的，它甚至不能編譯，但是請將這些事先放在一邊——有一種方法能發(fā)覺我的愚蠢：

template//print2ndelementin

voidprint2nd(constC

{

//thisisnotvalidC++!

if(container.size()>=2){

C::const_iteratoriter(container.begin());//getiteratorto1stelement

++iter;//moveiterto2ndelement

intvalue=*iter;//copythatelementtoanint

std::cout

voidprint2nd(constC

...

}

這看上去似乎是我們將x聲明為一個(gè)指向C::const_iterator的localvariable（局部變量）。但是它看上去如此僅僅是由于我們知道C::const_iterator是一個(gè)type（類型）。但是假如C::const_iterator不是一個(gè)type（類型）呢？假如C有一個(gè)staticdatamember（靜態(tài)數(shù)據(jù)成員）碰巧就叫做const_iterator呢？再假如x碰巧是一個(gè)globalvariable（全局變量）的名字呢？在這種狀況下，上面的代碼就不是聲明一個(gè)localvariable（局部變量），而是成為C::const_iterator乘以x！固然，這聽起來有些愚蠢，但它是可能的，而編寫C++解析器的人必需考慮全部可能的輸入，甚至是愚蠢的。

直到C成為已知之前，沒有任何方法知道C::const_iterator究竟是不是一個(gè)type（類型），而當(dāng)template（模板）print2nd被解析的時(shí)候，C還不是已知的。C++有一條規(guī)章解決這個(gè)歧義：假如解析器在一個(gè)template（模板）中遇到一個(gè)nesteddependentname（嵌套依靠名字），它假定那個(gè)名字不是一個(gè)type（類型），除非你用其它方式告知它。缺省狀況下，nesteddependentname（嵌套依靠名字）不是types（類型）。（對于這條規(guī)章有一個(gè)例外，我待會(huì)兒告知你。）

記住這個(gè)，再看看print2nd的開頭：