1.typename的常规用法
typename在C++类模板或者函数模板中经常使用的关键字,此时作用和class相同,只是定义模板参数;
2.typename的第二个用法:模板中标明“内嵌依赖类型名”
template <class T>
void function()
{
T::iterator *iter;
.....
}
看到上面这个例子时,我们脑子里可能会有两种想法:
第一:T::iterator *iter,实现乘法,iterator是类T的一个static成员;
第二:定义一个指针,指针指向的类型为T::iterator;
这样的话就会产生异议,由上面的介绍可以知道iterator是类T的静态数据成员,静态成员函数或者是嵌套类型;
当我们这样写的时候,C++默认就是解释为一个变量的。所以,为了和变量区分,必须使用typename告诉编译器。
如果没有修饰关键词typename编译器可能认为我们是想实现乘法运算;若我们的本意是想定义一个指针时,这是就需要typename来修饰,即在T::iterator前面加上关键字typename;
template <class T>
class myData()
{
typename T::iterator *iter;//定义一个指针
typedef typename iterator_traits<_Iter>::value_type value _type;//定义一个别名
.....
};
typename在下面情况下禁止使用:
-
模板定义之外,即typename只能用于模板的定义中
-
基类列表中,比如
template<class T> class Derived: public Base<T>::XXX { ... }
-
构造函数的初始化列表中
如果类型是依赖于模板参数的限定名,那么在它之前必须加typename(除非是基类列表,或者在类的初始化成员列表中)。
所以:
typedef typename iterator_traits<_Iter>::value_type value _type;
在STL库中有很多例子,如: