C++中的typename关键字

在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}}