深入理解c++模板中的class與typename
前言
借來的《Effective STL》已經(jīng)放在書架上很久了,想想這段時間不是在寫lua做業(yè)務(wù),就是在學(xué)安卓準(zhǔn)備做業(yè)務(wù),已經(jīng)很久沒有看過c++這個老伙計了。為了不把老本行丟了,也為了趕緊把書還回去給更多的人閱讀。于是下定決心重頭開始把它讀完。
模板中使用class和typename的區(qū)別
還沒翻幾頁,當(dāng)看到這段代碼的時候就楞了一下。印象中上次也是看到這里一下子沒弄懂,還特地搜索過的。結(jié)果再來一遍的時候還是忘了。果然好記性不如爛筆頭,趕緊寫篇博客mark一下。
這里講的是作者在聲明模板的時候使用typename而不是class。一般情況下,使用typename或者class只是編碼風(fēng)格的問題。但是在遇到從屬類型(dependent type)的時候,為了避免潛在的預(yù)防解析二義性,必須用typename而不能用class。
template<typename C>
bool lastGreaterThanFirst(const C& container)
{
if(container.empty()) return false;
typename C::const_iterator begin(container.begin());
typename C::const_iterator end(container.end());
return *--end > *begin;
}
這里的重點(diǎn)是這兩行:
typename C::const_iterator begin(container.begin()); typename C::const_iterator end(container.end());
如果沒有用typename關(guān)鍵字
template<typename C>
bool lastGreaterThanFirst(const C& container)
{
if(container.empty()) return false;
C::const_iterator begin(container.begin());
C::const_iterator end(container.end());
return *--end > *begin;
}
就會報錯(《Effective STL》中指出有些編譯器錯誤的接受了沒有typename的代碼,但這樣的代碼是不可移植的):
test.cpp:6:2: error: missing 'typename' prior to dependent type name 'C::const_iterator' C::const_iterator begin(container.begin()); ^~~~~~~~~~~~~~~~~ typename test.cpp:7:2: error: missing 'typename' prior to dependent type name 'C::const_iterator' C::const_iterator end(container.end()); ^~~~~~~~~~~~~~~~~ typename 2 errors generated.
如果你在這里使用的是class而不是typename就會報錯:
test.cpp:8:11: error: elaborated type refers to a typedef
class C::const_iterator begin(container.begin());
^
test.cpp:15:2: note: in instantiation of function template specialization 'lastGreaterThanFirst<std::__1::vector<int, std::__1::allocator<int> > >' requested here
lastGreaterThanFirst(vec);
^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:476:54: note: declared here
typedef __wrap_iter<const_pointer> const_iterator;
^
1 error generated.
為什么出現(xiàn)從屬類型時需要用typename
我們一步一步來解析。
ClassA::foo
當(dāng)你看到上面的代碼的時候,你會覺得foo是什么?第一反應(yīng)應(yīng)該是ClassA的一個靜態(tài)成員變量對吧?
那當(dāng)你繼續(xù)往后看,看到下面的代碼的時候,想想a是什么?
ClassA::foo a;
a是一個ClassA::foo類型的變量,ClassA::foo是一個內(nèi)部類:
class ClassA {
public:
class foo {
};
};
或者ClassA內(nèi)部的一個typedef:
class ClassA {
public:
typedef int foo;
};
當(dāng)foo是ClassA的內(nèi)部類或者是內(nèi)部的一個typedef的時候,foo就是一個從屬類型。
而對于C::const_iterator,const_iterator可能是C的一個靜態(tài)成員變量或者是C的一個從屬類型,編譯器默認(rèn)是將它解析為一個變量的,所以需要用typename告訴編譯器這是一個類型:
typename C::const_iterator begin(container.begin());
出現(xiàn)從屬類型時不需要用typename的特例
在遇到從屬類型出現(xiàn)在類模板定義中的基類列表的時候,是不需要用typename關(guān)鍵字指明這是一個類型的:
class ClassA {
public:
class foo {
};
};
template<typename C>
class ClassB : public C::foo {
};
因?yàn)榛惲斜碇械目隙ㄊ且粋€類型。
總結(jié)
以上就是這篇文章的全部內(nèi)容了,希望本文的內(nèi)容對大家的學(xué)習(xí)或者工作能帶來一定的幫助,如有疑問大家可以留言交流,謝謝大家對腳本之家的支持。
相關(guān)文章
Qt?QTableWidget?實(shí)現(xiàn)行選中及行懸浮高亮效果
使用Qt開發(fā)中,實(shí)現(xiàn)表格的行選中和懸浮高亮效果是一個常見需求,但Qt自帶的方法無法直接實(shí)現(xiàn),解決方案是通過子類化QStyledItemDelegate并重寫其paint函數(shù)來定制化繪制過程,本文給大家介紹Qt?QTableWidget?實(shí)現(xiàn)行選中及行懸浮高亮效果,感興趣的朋友一起看看吧2024-09-09
C++指針作為函數(shù)的參數(shù)進(jìn)行傳遞時需要注意的一些問題
當(dāng)指針作為函數(shù)的參數(shù)進(jìn)行傳遞的時候,本質(zhì)上還是進(jìn)行的“值傳遞”,也就是復(fù)制了一個新的指向該地址的指針變量2013-10-10
C語言進(jìn)階二叉樹的基礎(chǔ)與銷毀及層序遍歷詳解
朋友們好,這篇播客我們繼續(xù)C++的初階學(xué)習(xí),現(xiàn)在對我們對C++的二叉樹基礎(chǔ)oj與二叉樹銷毀和層序遍歷進(jìn)行練習(xí),讓我們相互學(xué)習(xí),共同進(jìn)步2022-06-06
C++演講比賽管理系統(tǒng)實(shí)現(xiàn)流程實(shí)例
這篇文章主要介紹了C++演講比賽管理系統(tǒng)實(shí)現(xiàn)流程,文中通過示例代碼介紹的非常詳細(xì),對大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價值,需要的朋友們下面隨著小編來一起學(xué)習(xí)吧2022-10-10
C++探索構(gòu)造函數(shù)私有化會產(chǎn)生什么結(jié)果
C++的構(gòu)造函數(shù)的作?:初始化類對象的數(shù)據(jù)成員。即類的對象被創(chuàng)建的時候,編譯系統(tǒng)對該對象分配內(nèi)存空間,并?動調(diào)?構(gòu)造函數(shù),完成類成員的初始化。構(gòu)造函數(shù)的特點(diǎn):以類名作為函數(shù)名,?返回類型2022-05-05
C語言 超詳細(xì)介紹與實(shí)現(xiàn)線性表中的帶頭雙向循環(huán)鏈表
帶頭雙向循環(huán)鏈表:結(jié)構(gòu)最復(fù)雜,一般用在單獨(dú)存儲數(shù)據(jù)。實(shí)際中使用的鏈表數(shù)據(jù)結(jié)構(gòu),都是帶頭雙向循環(huán)鏈表。另外這個結(jié)構(gòu)雖然結(jié)構(gòu)復(fù)雜,但是使用代碼實(shí)現(xiàn)以后會發(fā)現(xiàn)結(jié)構(gòu)會帶來很多優(yōu)勢,實(shí)現(xiàn)反而簡單2022-03-03

