了解typename的双重意义

需要知道在template声明式中，class与typename是一个意思，当然，就因为前者字符数少，所以此处大部分人倾向去用class。但有些时候，typename却是不可被替换成class的。

假设，有个template function，接受了一个容器C为参数，这个容器内部定义了一个类型a，如果了解STL，想必会知道容器内部会定义5种迭代器型别（iterator_category, value_type, difference_type, pointer, reference），这里a可以是其中任何一个，也可是用户自定义类型，但假设不是基本类型（为什么？稍后讨论）。现在看这个template function的定义：

template<class C>//这里是class哦void func(const C& container) {    ...    C::a * x;//这里a如上所述    ...}

考虑上面定义式中间那行代码，很明了，x是一个a类型的指针，但这个建立在提前告知了a是C中定义的一个类型的基础上，如果这会临时发布通知：其实a只是C内一个静态成员变量。假设刚好x是一个全局变量，这个时候就有意思了，这行代码此时做了个乘法（a*x)！

还得考虑一件事情，编译器面对这样的代码如何处置？编译器会这样处理：如果在template中遇到一个嵌套从属名称（就是在模板方法中有个类型声明，这个类型依赖于定义的模板，放在上面例子中对应声明x，但是x依赖容器C，此时C是个模板），它便假设这个名称不是个类型，除非显示告诉编译器。所以缺省情况下嵌套从属名称不是类型！！如何显示告知？typename！这是它的第二重意义。在此对之前假设a不是基本类型作解释：因为基本类型并不依赖其它类型。

好了，编写想要的模板方法就变成这样：

template<class C>//这里还是classvoid func(const C& container) {    ...    typename C::a * x;//在行首加上typename就可以    ...}

到这里，想必对typename的第二重含义已经基本了解，这也是与class的不同之处。但是，这里又有个但是，有个规则除外：typename不可以出现在base classes list（所继承的基类成员列表）内的嵌套从属类型名称之前，也不可以在member initialization list（成员初始化列表）中作为base class修饰符。例如：

template<class T>class Derived: public Base<T>::Nested { //base class list 中不允许 "typename"public:    expicit Drived(int x)    : Base<T>::Nexted(x) //mem.init.list中不允许 "typename"    {        typename Base<T>:: Nexted temp;//这里可以    }