c++模板中class與typename的示例分析

這篇文章將為大家詳細講解有關c++模板中class與typename的示例分析，小編覺得挺實用的，因此分享給大家做個參考，希望大家閱讀完這篇文章后可以有所收獲。

模板中使用class和typename的區別

還沒翻幾頁,當看到這段代碼的時候就楞了一下。印象中上次也是看到這里一下子沒弄懂,還特地搜索過的。結果再來一遍的時候還是忘了。果然好記性不如爛筆頭,趕緊寫篇博客mark一下。

這里講的是作者在聲明模板的時候使用typename而不是class。一般情況下,使用typename或者class只是編碼風格的問題。但是在遇到從屬類型(dependent type)的時候,為了避免潛在的預防解析二義性,必須用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;
}

這里的重點是這兩行:

typename C::const_iterator begin(container.begin());
typename C::const_iterator end(container.end());

如果沒有用typename關鍵字

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.

為什么出現從屬類型時需要用typename

我們一步一步來解析。

ClassA::foo

當你看到上面的代碼的時候,你會覺得foo是什么？第一反應應該是ClassA的一個靜態成員變量對吧？

那當你繼續往后看,看到下面的代碼的時候,想想a是什么？

ClassA::foo a;

a是一個ClassA::foo類型的變量,ClassA::foo是一個內部類:

class ClassA {
public:
 class foo {
 };
};

或者ClassA內部的一個typedef:

class ClassA {
public:
 typedef int foo;
};

當foo是ClassA的內部類或者是內部的一個typedef的時候,foo就是一個從屬類型。

而對于C::const_iterator,const_iterator可能是C的一個靜態成員變量或者是C的一個從屬類型,編譯器默認是將它解析為一個變量的,所以需要用typename告訴編譯器這是一個類型:

typename C::const_iterator begin(container.begin());

出現從屬類型時不需要用typename的特例

在遇到從屬類型出現在類模板定義中的基類列表的時候,是不需要用typename關鍵字指明這是一個類型的:

class ClassA {
public:
 class foo {
 };
};

template<typename C>
class ClassB : public C::foo {
};

因為基類列表中的肯定是一個類型。

關于“c++模板中class與typename的示例分析”這篇文章就分享到這里了，希望以上內容可以對大家有一定的幫助，使各位可以學到更多知識，如果覺得文章不錯，請把它分享出去讓更多的人看到。