C++模板typename关键字的用法
Posted 林夕07
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了C++模板typename关键字的用法相关的知识,希望对你有一定的参考价值。
目录
关键字typename
作为一个C++程序员我想对于typename
关键字都应该不陌生。不就是用于声明一个模板参数吗?
template<typename T>
void print(T t)
std::cout << t << std::endl;
但是你有没有想过在声明模板参数时还可以用class
关键字。那么委员会又为什么会有这种冗余的设计呢?
分析起源
class
关键字可以表示一个类的声明,还可以表示一个模板参数。早期这样设计是为了避免增加不必要的关键字,后来委员会认为这样混用可能会造成关键字的功能混淆。为此引入了typename
关键字。
场景分析
而且在未引入typename
关键字之前。无法解决下面这个场景。这里的T::SubType
编译器无法知道这是一个类型还是一个静态成员变量。
template<typename T>
class MyClass
T::SubType* ptr;
;
1、假如SubType是一个静态成员,那么T::SubType* ptr就被看作是类T的静态成员SubType与ptr变量的乘积。这时如果ptr没有定义将会在模板实例化时报错。
2、假如SubType是一个类型,那么ptr就是一个指向T::SubType类型的指针。
看看C++标准怎么说
对于 使用模板定义的且依赖于模板参数的名称,只有在实例化的参数中存在这个类型或者这个名称前面使用typename关键字来修饰,编译器才会将这个名称当作一个类型。
可以看下面这个简单的例子。
template<typename T>
void printcoll(T const& coll)
typename T::const_iterator pos;
typename T::const_iterator end(coll.end());
for (pos = coll.begin(); pos != end; ++pos)
std::cout << *pos << " ";
std::cout << std::endl;
typename在下面情况下禁止使用
1、模板定义之外,即typename只能用于模板的定义中
2、非限定类型,比如int,vector之类
3、基类列表中,比如template class C1 : T::InnerType不能在T::InnerType前面加typename
4、构造函数的初始化列表中 如果类型是依赖于模板参数的限定名,那么在它之前必须加typename(除非是基类列表,或者在类的初始化成员列表中)。
以上是关于C++模板typename关键字的用法的主要内容,如果未能解决你的问题,请参考以下文章
c++中typenametypedef以及using关键字用法
C++在使用PImpl技术时,template/typename的不常见用法
c++中typenametypedef以及using关键字用法