深入理解c++模板中的class與typename
前言
借來(lái)的《Effective STL》已經(jīng)放在書(shū)架上很久了,想想這段時(shí)間不是在寫(xiě)lua做業(yè)務(wù),就是在學(xué)安卓準(zhǔn)備做業(yè)務(wù),已經(jīng)很久沒(méi)有看過(guò)c++這個(gè)老伙計(jì)了。為了不把老本行丟了,也為了趕緊把書(shū)還回去給更多的人閱讀。于是下定決心重頭開(kāi)始把它讀完。
模板中使用class和typename的區(qū)別
還沒(méi)翻幾頁(yè),當(dāng)看到這段代碼的時(shí)候就楞了一下。印象中上次也是看到這里一下子沒(méi)弄懂,還特地搜索過(guò)的。結(jié)果再來(lái)一遍的時(shí)候還是忘了。果然好記性不如爛筆頭,趕緊寫(xiě)篇博客mark一下。
這里講的是作者在聲明模板的時(shí)候使用typename而不是class。一般情況下,使用typename或者class只是編碼風(fēng)格的問(wèn)題。但是在遇到從屬類(lèi)型(dependent type)的時(shí)候,為了避免潛在的預(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());
如果沒(méi)有用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;
}
就會(huì)報(bào)錯(cuò)(《Effective STL》中指出有些編譯器錯(cuò)誤的接受了沒(méi)有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就會(huì)報(bào)錯(cuò):
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)從屬類(lèi)型時(shí)需要用typename
我們一步一步來(lái)解析。
ClassA::foo
當(dāng)你看到上面的代碼的時(shí)候,你會(huì)覺(jué)得foo是什么？第一反應(yīng)應(yīng)該是ClassA的一個(gè)靜態(tài)成員變量對(duì)吧？
那當(dāng)你繼續(xù)往后看,看到下面的代碼的時(shí)候,想想a是什么？
ClassA::foo a;
a是一個(gè)ClassA::foo類(lèi)型的變量,ClassA::foo是一個(gè)內(nèi)部類(lèi):
class ClassA {
public:
class foo {
};
};
或者ClassA內(nèi)部的一個(gè)typedef:
class ClassA {
public:
typedef int foo;
};
當(dāng)foo是ClassA的內(nèi)部類(lèi)或者是內(nèi)部的一個(gè)typedef的時(shí)候,foo就是一個(gè)從屬類(lèi)型。
而對(duì)于C::const_iterator,const_iterator可能是C的一個(gè)靜態(tài)成員變量或者是C的一個(gè)從屬類(lèi)型,編譯器默認(rèn)是將它解析為一個(gè)變量的,所以需要用typename告訴編譯器這是一個(gè)類(lèi)型:
typename C::const_iterator begin(container.begin());
出現(xiàn)從屬類(lèi)型時(shí)不需要用typename的特例
在遇到從屬類(lèi)型出現(xiàn)在類(lèi)模板定義中的基類(lèi)列表的時(shí)候,是不需要用typename關(guān)鍵字指明這是一個(gè)類(lèi)型的:
class ClassA {
public:
class foo {
};
};
template<typename C>
class ClassB : public C::foo {
};
因?yàn)榛?lèi)列表中的肯定是一個(gè)類(lèi)型。
總結(jié)
以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作能帶來(lái)一定的幫助，如有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。
相關(guān)文章
Qt?QTableWidget?實(shí)現(xiàn)行選中及行懸浮高亮效果
使用Qt開(kāi)發(fā)中,實(shí)現(xiàn)表格的行選中和懸浮高亮效果是一個(gè)常見(jiàn)需求,但Qt自帶的方法無(wú)法直接實(shí)現(xiàn),解決方案是通過(guò)子類(lèi)化QStyledItemDelegate并重寫(xiě)其paint函數(shù)來(lái)定制化繪制過(guò)程,本文給大家介紹Qt?QTableWidget?實(shí)現(xiàn)行選中及行懸浮高亮效果,感興趣的朋友一起看看吧2024-09-09
“聲明”為編譯服務(wù)，用于類(lèi)型檢查 ；“定義”在運(yùn)行時(shí)會(huì)分配空間，不能重復(fù)定義，同時(shí)具備聲明的功能2013-09-09
C++指針作為函數(shù)的參數(shù)進(jìn)行傳遞時(shí)需要注意的一些問(wèn)題
當(dāng)指針作為函數(shù)的參數(shù)進(jìn)行傳遞的時(shí)候，本質(zhì)上還是進(jìn)行的“值傳遞”，也就是復(fù)制了一個(gè)新的指向該地址的指針變量2013-10-10
C語(yǔ)言進(jìn)階二叉樹(shù)的基礎(chǔ)與銷(xiāo)毀及層序遍歷詳解
朋友們好,這篇播客我們繼續(xù)C++的初階學(xué)習(xí)，現(xiàn)在對(duì)我們對(duì)C++的二叉樹(shù)基礎(chǔ)oj與二叉樹(shù)銷(xiāo)毀和層序遍歷進(jìn)行練習(xí)，讓我們相互學(xué)習(xí),共同進(jìn)步2022-06-06
c++相比c的一個(gè)好處就是實(shí)現(xiàn)了很多的容器和泛型算法，使得程序員的工作得到了很大的簡(jiǎn)化，本文重點(diǎn)給大家介紹C++string容器基本概念講解，需要的朋友參考下吧2021-07-07
歸并排序遵循分治法的思想：將原問(wèn)題分解為幾個(gè)規(guī)模較小但類(lèi)似于原問(wèn)題的子問(wèn)題，遞歸地求解這些子問(wèn)題，然后再合并這些子問(wèn)題的解來(lái)建立原問(wèn)題的解。分治模式在每層遞歸時(shí)都有三個(gè)步驟：分解、解決、合并。歸并排序完全遵循該模式。2017-05-05
C++演講比賽管理系統(tǒng)實(shí)現(xiàn)流程實(shí)例
這篇文章主要介紹了C++演講比賽管理系統(tǒng)實(shí)現(xiàn)流程，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)吧2022-10-10
C++探索構(gòu)造函數(shù)私有化會(huì)產(chǎn)生什么結(jié)果
C++的構(gòu)造函數(shù)的作?：初始化類(lèi)對(duì)象的數(shù)據(jù)成員。即類(lèi)的對(duì)象被創(chuàng)建的時(shí)候，編譯系統(tǒng)對(duì)該對(duì)象分配內(nèi)存空間，并?動(dòng)調(diào)?構(gòu)造函數(shù)，完成類(lèi)成員的初始化。構(gòu)造函數(shù)的特點(diǎn)：以類(lèi)名作為函數(shù)名，?返回類(lèi)型2022-05-05
本篇文章是對(duì)結(jié)構(gòu)體中占位符的用法進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下2013-05-05
C語(yǔ)言 超詳細(xì)介紹與實(shí)現(xiàn)線性表中的帶頭雙向循環(huán)鏈表
帶頭雙向循環(huán)鏈表：結(jié)構(gòu)最復(fù)雜，一般用在單獨(dú)存儲(chǔ)數(shù)據(jù)。實(shí)際中使用的鏈表數(shù)據(jù)結(jié)構(gòu)，都是帶頭雙向循環(huán)鏈表。另外這個(gè)結(jié)構(gòu)雖然結(jié)構(gòu)復(fù)雜，但是使用代碼實(shí)現(xiàn)以后會(huì)發(fā)現(xiàn)結(jié)構(gòu)會(huì)帶來(lái)很多優(yōu)勢(shì)，實(shí)現(xiàn)反而簡(jiǎn)單2022-03-03