Effective C++学习笔记_条款42：了解typename的双重意义

　　本节介绍typename的两个用法。首先是一种常用的，让我们看一下下面两句：

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

　　那么上述的class和typename有什么不同吗？答案是没有不同。二者都是声明template类型参数。这是我们最常见的一种typename的用法。
　　下面介绍typename的第二种用法。
　　

template<typename C>
void print2nd(const C& container)
{
    if(container.size() >= 2)
    {
        C::const_iterator iter(container.begin());
        ++iter;
        int value = *iter;
        std::cout << value;
    }
}

　　上述代码中iter和value是两个local变量。iter的类型是C::const_iterator，实际是什么必须取决于参数C。template内出现的名称如果相依于某个template参数，称之为从属名称。如果从属名称在class内呈嵌套状，我们称之为嵌套从属名称，而C::const_iterator就是这样一个名称。
　　嵌套从属名称有可能导致解析困难。举个例子：
　　

template<typename C>
void print2nd(const C& container)
{
    C::const_iterator* x;
    ...
}

　　从上述代码中我们一眼就看出，这不是定义了一个指针型变量x吗，但事实是这样吗？并不一定。万一const_iterator是类C的一个成员变量呢，那么上面的*不就是一个乘法运算了，所以在我们知道C是什么之前，没有任何办法知道C::const_iterator是否为一个类型。因此，我们必须告诉C++说C::const_iterator是个类型，只要在紧邻它之前放置关键字typename即可：

template<typename C>
void print2nd(const C& container)
{
    if(container.size() >= 2)
    {
        typename C::const_iterator iter(container.begin());
        ...
    }
}

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

template<typename T>
class Derived: public Base<T>::Nested
{
public:
    explicit Derived(int x) : Base<T>::Nested(x)
    {
        typename Base<T>::Nested temp;
    }
}