UC头条：[C 模板]typename关键字的用法

关键字typename

作为一个C++程序员我想对于typename关键字都应该不陌生。不就是用于声明一个模板参数吗？

templatevoidprint(Tt){std::cout<<><>< p=''><><>

但是你有没有想过在声明模板参数时还可以用class关键字。那么委员会又为什么会有这种冗余的设计呢？

分析起源

class关键字可以表示一个类的声明，还可以表示一个模板参数。早期这样设计是为了避免增加不必要的关键字，后来委员会认为这样混用可能会造成关键字的功能混淆。为此引入了typename关键字。

场景分析

而且在未引入typename关键字之前。无法解决下面这个场景。这里的T::SubType编译器无法知道这是一个类型还是一个静态成员变量。

templateclassMyClass{T::SubType*ptr;};

1、假如SubType是一个静态成员，那么T::SubType*ptr就被看作是类T的静态成员SubType与ptr变量的乘积。这时如果ptr没有定义将会在模板实例化时报错。

2、假如SubType是一个类型，那么ptr就是一个指向T::SubType类型的指针。

看看C++标准怎么说

对于使用模板定义的且依赖于模板参数的名称，只有在实例化的参数中存在这个类型或者这个名称前面使用typename关键字来修饰，编译器才会将这个名称当作一个类型。

可以看下面这个简单的例子。

templatevoidprintcoll(Tconst&coll){typenameT::const_iteratorpos;typenameT::const_iteratorend(coll.end);for(pos=coll.begin;pos!=end;++pos){std::cout<<*pos<<'';}std::cout<<>< p=''><>

typename在下面情况下禁止使用

1、模板定义之外，即typename只能用于模板的定义中

2、非限定类型，比如int，vector之类

3、基类列表中，比如templateclassC1:T::InnerType不能在T::InnerType前面加typename

4、构造函数的初始化列表中如果类型是依赖于模板参数的限定名，那么在它之前必须加typename(除非是基类列表，或者在类的初始化成员列表中)。