时间:2021-05-19
前言
借来的《Effective STL》已经放在书架上很久了,想想这段时间不是在写lua做业务,就是在学安卓准备做业务,已经很久没有看过c++这个老伙计了。为了不把老本行丢了,也为了赶紧把书还回去给更多的人阅读。于是下定决心重头开始把它读完。
模板中使用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()); ^~~~~~~~~~~~~~~~~ typenametest.cpp:7:2: error: missing 'typename' prior to dependent type name 'C::const_iterator' C::const_iterator end(container.end()); ^~~~~~~~~~~~~~~~~ typename2 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 {};因为基类列表中的肯定是一个类型。
总结
以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作能带来一定的帮助,如有疑问大家可以留言交流,谢谢大家对的支持。
声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。
在C++模板中,可以使用class或者typename来声明模板参数,那么这两个关键字有什么区别呢?模板参数声明对于模板参数声明,这两个参数没有区别,含义是一样
扩展阅读c#基础系列1---深入理解值类型和引用类型c#基础系列2---深入理解String引言在上篇文章深入理解值类型和引用类型的时候,有的小伙伴就推荐说一说
本文实例讲解了C++中基类和派生类之间的转换。对于深入理解C++面向对象程序设计有一定的帮助作用。此处需要注意:本文实例讲解内容的前提是派生类继承基类的方式是公
相信学习C++的人对class这个关键字都非常明白,class用于定义类。在模板引入c++后,最初定义模板的方法为:template......在这里class
问题:在下面的templatedeclarations(模板声明)中class和typename有什么不同?复制代码代码如下:templateclassWidg