深入理解c++模板中的class与typename
前言
借来的《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()); ^~~~~~~~~~~~~~~~~ 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 {
};
因为基类列表中的肯定是一个类型。
总结
以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作能带来一定的帮助，如有疑问大家可以留言交流，谢谢大家对脚本之家的支持。
相关文章
使用Qt开发中,实现表格的行选中和悬浮高亮效果是一个常见需求,但Qt自带的方法无法直接实现,解决方案是通过子类化QStyledItemDelegate并重写其paint函数来定制化绘制过程,本文给大家介绍Qt QTableWidget 实现行选中及行悬浮高亮效果,感兴趣的朋友一起看看吧2024-09-09
“声明”为编译服务，用于类型检查 ；“定义”在运行时会分配空间，不能重复定义，同时具备声明的功能2013-09-09
当指针作为函数的参数进行传递的时候，本质上还是进行的“值传递”，也就是复制了一个新的指向该地址的指针变量2013-10-10
朋友们好,这篇播客我们继续C++的初阶学习，现在对我们对C++的二叉树基础oj与二叉树销毁和层序遍历进行练习，让我们相互学习,共同进步2022-06-06
c++相比c的一个好处就是实现了很多的容器和泛型算法，使得程序员的工作得到了很大的简化，本文重点给大家介绍C++string容器基本概念讲解，需要的朋友参考下吧2021-07-07
归并排序遵循分治法的思想：将原问题分解为几个规模较小但类似于原问题的子问题，递归地求解这些子问题，然后再合并这些子问题的解来建立原问题的解。分治模式在每层递归时都有三个步骤：分解、解决、合并。归并排序完全遵循该模式。2017-05-05
这篇文章主要介绍了C++演讲比赛管理系统实现流程，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习吧2022-10-10
C++的构造函数的作⽤：初始化类对象的数据成员。即类的对象被创建的时候，编译系统对该对象分配内存空间，并⾃动调⽤构造函数，完成类成员的初始化。构造函数的特点：以类名作为函数名，⽆返回类型2022-05-05
本篇文章是对结构体中占位符的用法进行了详细的分析介绍，需要的朋友参考下2013-05-05
带头双向循环链表：结构最复杂，一般用在单独存储数据。实际中使用的链表数据结构，都是带头双向循环链表。另外这个结构虽然结构复杂，但是使用代码实现以后会发现结构会带来很多优势，实现反而简单2022-03-03
最新评论