深入理解c++模板中的class與typename
前言
借來(lái)的《Effective STL》已經(jīng)放在書架上很久了,想想這段時(shí)間不是在寫lua做業(yè)務(wù),就是在學(xué)安卓準(zhǔn)備做業(yè)務(wù),已經(jīng)很久沒有看過(guò)c++這個(gè)老伙計(jì)了。為了不把老本行丟了,也為了趕緊把書還回去給更多的人閱讀。于是下定決心重頭開始把它讀完。
模板中使用class和typename的區(qū)別
還沒翻幾頁(yè),當(dāng)看到這段代碼的時(shí)候就楞了一下。印象中上次也是看到這里一下子沒弄懂,還特地搜索過(guò)的。結(jié)果再來(lái)一遍的時(shí)候還是忘了。果然好記性不如爛筆頭,趕緊寫篇博客mark一下。
這里講的是作者在聲明模板的時(shí)候使用typename而不是class。一般情況下,使用typename或者class只是編碼風(fēng)格的問(wèn)題。但是在遇到從屬類型(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());
如果沒有用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ò)誤的接受了沒有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)從屬類型時(shí)需要用typename
我們一步一步來(lái)解析。
ClassA::foo
當(dāng)你看到上面的代碼的時(shí)候,你會(huì)覺得foo是什么？第一反應(yīng)應(yīng)該是ClassA的一個(gè)靜態(tài)成員變量對(duì)吧？
那當(dāng)你繼續(xù)往后看,看到下面的代碼的時(shí)候,想想a是什么？
ClassA::foo a;
a是一個(gè)ClassA::foo類型的變量,ClassA::foo是一個(gè)內(nèi)部類:
class ClassA {
public:
class foo {
};
};
或者ClassA內(nèi)部的一個(gè)typedef:
class ClassA {
public:
typedef int foo;
};
當(dāng)foo是ClassA的內(nèi)部類或者是內(nèi)部的一個(gè)typedef的時(shí)候,foo就是一個(gè)從屬類型。
而對(duì)于C::const_iterator,const_iterator可能是C的一個(gè)靜態(tài)成員變量或者是C的一個(gè)從屬類型,編譯器默認(rèn)是將它解析為一個(gè)變量的,所以需要用typename告訴編譯器這是一個(gè)類型:
typename C::const_iterator begin(container.begin());
出現(xiàn)從屬類型時(shí)不需要用typename的特例
在遇到從屬類型出現(xiàn)在類模板定義中的基類列表的時(shí)候,是不需要用typename關(guān)鍵字指明這是一個(gè)類型的:
class ClassA {
public:
class foo {
};
};
template<typename C>
class ClassB : public C::foo {
};
因?yàn)榛惲斜碇械目隙ㄊ且粋€(gè)類型。
總結(jié)
以上就是這篇文章的全部?jī)?nèi)容了，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作能帶來(lái)一定的幫助，如有疑問(wèn)大家可以留言交流，謝謝大家對(duì)腳本之家的支持。
相關(guān)文章
這篇文章主要介紹了C++使用jsoncpp解析json的方法示例，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2020-03-03
C++ inline內(nèi)聯(lián)函數(shù)詳解
這篇文章主要介紹了C++ inline內(nèi)聯(lián)函數(shù)詳解,有感興趣的同學(xué)可以借鑒參考下2021-02-02
C++協(xié)程實(shí)現(xiàn)序列生成器的案例分享
序列生成器通常的實(shí)現(xiàn)是在一個(gè)協(xié)程內(nèi)部通過(guò)某種方式向外部傳一個(gè)值出去,并且將自己掛起,本文圍繞序列生成器這個(gè)經(jīng)典的協(xié)程案例介紹了協(xié)程的銷毀、co_await 運(yùn)算符、await_transform 以及 yield_value 的用法,需要的朋友可以參考下2024-05-05
這篇文章主要給大家介紹了關(guān)于C++ string的內(nèi)部究竟是什么樣的，文中通過(guò)示例代碼的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2021-01-01
C語(yǔ)言三個(gè)函數(shù)的模擬實(shí)現(xiàn)詳解
這篇文章主要為大家詳細(xì)介紹了C語(yǔ)言三個(gè)函數(shù)的模擬實(shí)現(xiàn)，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下，希望能夠給你帶來(lái)幫助2022-03-03
有時(shí)候需要類的一些成員與類本身相關(guān)聯(lián)，而不是與類的每個(gè)對(duì)象相關(guān)聯(lián)。比如類的所有對(duì)象都要共享的變量，這個(gè)時(shí)候我們就要用到類的靜態(tài)成員，今天通過(guò)實(shí)例代碼給大家詳細(xì)介紹，需要的朋友參考下吧2021-07-07
帶你了解C++的動(dòng)態(tài)內(nèi)存分配
今天小編就為大家分享一篇關(guān)于關(guān)于C++動(dòng)態(tài)分配內(nèi)存的介紹，小編覺得內(nèi)容挺不錯(cuò)的，現(xiàn)在分享給大家，具有很好的參考價(jià)值，需要的朋友一起跟隨小編來(lái)看看吧2021-08-08
C++用boost.signal實(shí)現(xiàn)多播委托
這篇文章介紹了C++用boost.signal實(shí)現(xiàn)多播委托的方法，文中通過(guò)示例代碼介紹的非常詳細(xì)。對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下2022-06-06
C語(yǔ)言詳解實(shí)現(xiàn)鏈?zhǔn)蕉鏄涞谋闅v與相關(guān)接口
二叉樹的鏈?zhǔn)酱鎯?chǔ)結(jié)構(gòu)是指，用鏈表來(lái)表示一棵二叉樹，即用鏈來(lái)指示元素的邏輯關(guān)系。通常的方法是鏈表中每個(gè)結(jié)點(diǎn)由三個(gè)域組成，數(shù)據(jù)域和左右指針域，左右指針?lè)謩e用來(lái)給出該結(jié)點(diǎn)左孩子和右孩子所在的鏈結(jié)點(diǎn)的存儲(chǔ)地址2022-04-04
C++設(shè)計(jì)模式中的工廠模式詳細(xì)介紹
工廠模式，是一種實(shí)例化對(duì)象的方式，只要輸入需要實(shí)例化對(duì)象的名字，就可以通過(guò)工廠對(duì)象的相應(yīng)工廠函數(shù)來(lái)制造你需要的對(duì)象2022-09-09