在C++中typename除了用于在定义模板函数和模板类中来替代关键字class,例如template<class T>换成template<typename T>意外,typename还可以用来做型别的定义。
注意:下面的代码是有问题的
template<typename C>
void print2nd(const C& container)
{if(container.size()>=2){C::const_iterator iter(container.begin());++iter;in value=*iter;std::cout<<value;}
}
如上述代码所示,template内出现的名称如果相依于某个template参数,称之为从属名称。如果从属名称在class内呈嵌套装,我们称它为嵌套从属名称,如C s,即用template内出现的名称定义了一个对象。C::const_iterator就是这样一个名称,因此在用这样的嵌套从属名称时,需要用typename来说明这个
C::const_iterator是一个类型,而不是一个变量。
如果不是嵌套从属类型,就不能用typename来进行说明,如前面说的C s,就不需要进行typename的说明。
例外情况:typename不可以出现在base classes list内的嵌套从属类型名称之前,也不可以出现在成员初始化列表中作为base class修饰符。如下面程序所示:
template<typename T>
class Derived:public Base<T>::Nested//base class list中不允许使用typename
{
public:explicit Derived(int x):Base<T>::Nested(x)//成员函数列表中不允许使用typename嵌套从属类型名称{typename Base<T>::Nested temp;//其他地方,嵌套从属类型名称必须加上typename}
}