42：了解typename的双重意义

考虑一个问题：以下template声明式中，class和typename有什么不同？

template<class T> class Widget;//使用class
template<typename T> class Widget;//使用typename

答案是没有什么不同。

当声明template类型参数时，class和typename的意义完全相同。

然而，C++并不总是把class和typename视为等价。有时候一定得使用typename。

为了解其时机，先谈谈可以在template内指涉的两种名称。

假设有个template function，接受一个STL兼容容器为参数，容器内持有的对象可被赋值为int。进一步假设这个函数仅仅只是打印其第二元素值。

下面是实践这个想法的一种方式：

template<typename C>
//打印容器内的第二元素
void Print2nd(const C& container)//注意这不是有效的C++代码
{
    if (container.size() >= 2)
    {
        C::const_iterator iter(container.begin());//取得第一元素的迭代器
        ++iter;//将iter移往第二元素
        int value = *iter;//将该元素赋值到某个int
        cout << value;//打印该int
    }
}

iter的类型是C::const_iterator，实际是什么必须取决于template参数C。

template内出现的名称若相依于某个template参数，则称之为从属名称。若从属名称在class内呈嵌套状，称之为嵌套从属名称。

C::const_iterator就是这样一个名称。实际上它还是个嵌套从属类型名称，也就是个嵌套从属名称并且指涉某类型。

print2nd内的另一个local变量value，其类型是int。int是一个并不倚赖任何template参数的名称。这样的名称是非从属名称。

嵌套从属名称有可能导致解析困难。

例如：

template<typename C>
void Print2nd(const C& container)//注意这不是有效的C++代码
{
    C::const_iterator* x;
    //...
}

看起来好像我们声明x为一个local变量，它是个指针，指向一个C::const_iterator。

但它之所以被那么认为，只因为我们“已经知道”C::const_iterator是个类型。

若C::const_iterator不是个类型？若C有个static成员变量而碰巧被命名为const_iterator，或若x碰巧是个global变量名称？那样的话，上述代码就不再是个声明一个local变量，而是一个相乘动作：C::const_iterator乘以x。

在我们知道C是什么之前，没有任何办法可以知道C::const_iterator是否为一个类型。而当编译器开始解析template print2nd时，尚未确知C是什么东西。C++有个规则可以解析此一歧义状态：若解析器在template中遭遇一个嵌套从属名称，它便假设这名称不是个类型，除非你告诉它是。所以缺省情况下嵌套从属名称不是类型。

现在再来看看print2nd的起始处：

template<typename C>
void Print2nd(const C& container)//注意这不是有效的C++代码
{
    if (container.size() >= 2)
    {
        //这个名称被假设为非类型
        C::const_iterator iter(container.begin());
    }
    //...
}

iter声明式只有在C::const_iterator是个类型时才合理，但我们并没有告诉C++说它是，于是C++假设它不是。若要矫正这个形式，我们必须告诉C++说C::const_iterator是个类型。只要紧临它之前放置关键字typename即可：

template<typename C>//这是合法的C++代码
void Print2nd(const C& container)
{
    if (container.size() >= 2)
    {
        typename C::const_iterator iter(container.begin());
    }
    //...
}

一般性规则很简单：任何时候当你想要在template中指涉一个嵌套从属类型名称，就必须在紧临它的前一个位置放上关键字typename。

typename只被用来验明嵌套从属类型名称，其他名称不该有它存在。

例如下面这个function template，接受一个容器和一个“指向该容器”的迭代器：

template<typename C>//允许使用typename或class
void f(const C& container,//不允许使用typename 
    typename C::iterator iter);//一定要使用typename

上述的C并不是嵌套从属类型名称（它并非嵌套于任何“取决于template参数”的东西内），所以声明container时并不需要以typename为前导，但C::iterator是个嵌套从属类型名称，所以必须以typename为前导。

“typename必须作为嵌套从属类型名称的前缀词”这一规则的例外是，typename不可以出现在base class list内的嵌套从属类型名称之前，也不可在member initialization list（成员初值列）中作为base class修饰符。

例如：

template<typename T>
//base class list中不允许typename
class Derived : public Base<T>::Nested {
public:
    //mem.init.list中不允许出现typename
    explicit Derived(int x) : Base<T>::Nested(x)
    {
        typename Base<T>::Nested temp;//嵌套从属类型名称
        //既不在base class list中也不在mem.init.list中，
        //作为一个base class修饰符需加上typename
        //...
    }
    //...
};

再来看最后一个typename例子。假设我们正在撰写一个function template，它接受一个迭代器，而我们打算为该迭代器指涉的对象做一份local复件temp。可以这么写：

template<typename IterT>
void workWithIterator(IterT iter)
{
    typename std::iterator_traits<IterT>::value_type temp(*iter);
    //..
}

typename std::iterator_traits<IterT>::value_type的意思是“类型为IterT的对象所指植物的类型”。这个语句声明一个local变量（temp），使用IterT对象所指物的相同类型，并将temp初始化为iter所指物。若ItertT是vector<int>::iterator，temp的类型就是int。

由于std::iterator_traits<IterT>::value_type是个嵌套从属类型名称（value_type被嵌套于iterator_traits<IterT>之内而IterT是个template参数），所以我们必须在它之前放置typename。

总结

1.声明template参数时，前缀关键字class和typename可互换。

2.请使用关键字typename标识嵌套从属类型名称，但不得在base class list（基类列）或member initialization list内以它作为base class修饰符。