深入理解c++模板中的class與typename

來(lái)源：本站原創(chuàng)|時(shí)間：2020-01-10|欄目：C語(yǔ)言|點(diǎn)擊：次

前言

借來(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)題。但是在遇到從屬類型(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)從屬類型時(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類型的變量,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ì)我們的支持。

上一篇：C++調(diào)用C函數(shù)實(shí)例詳解

欄目：C語(yǔ)言

下一篇：C/C++ 雙鏈表之逆序的實(shí)例詳解

本文標(biāo)題：深入理解c++模板中的class與typename

本文地址：http://mengdiqiu.com.cn/a1/Cyuyan/1377.html

更多C語(yǔ)言

欧美大屁股bbbbxxxx,狼人大香伊蕉国产www亚洲,男ji大巴进入女人的视频小说,男人把ji大巴放进女人免费视频,免费情侣作爱视频

C語(yǔ)言

深入理解c++模板中的class與typename

您可能感興趣的文章

閱讀排行

本欄相關(guān)

隨機(jī)閱讀