使用类的类型成员

通过作用域运算符(::)来访问static成员和类型成员。在普通（非模板）代码中，编译器掌握类的定义，因此它知道通过作用域运算符访问的名字是类型还是static成员。例如，如果我们写下string::size_type ;编译器有string的定义，从而知道size_type是一个类型。

但对于模版代码就存在困难。例如，假定T是一个模板参数，当编译器遇到类似T::mem这样的代码时，它不会知道mem是一个类型成员还是一个static成员，直到实例化时才知道。但是为了处理模板，编译器必须知道名字是否表示一个类型。例如，假定T是一个类型参数的名字，当编译器遇到如下形式的语句时：
T::size_type * p；
它需要知道我们是正在定义一个名为p的变量还是将一个名为size_type的static数据成员与名为p的变量相乘。

默认情况下，C++语言假定通过作用域运算符访问的名字不是类型。因此，如果我们希望使用一个模板类型参数的类型成员，就必须显示告诉编译器该名字是一个类型。我们通过使用关键字typename来实现这一点：

template <typename T>
typename T::value_type top(const T& c)
{
    if(!c.empty())
        return c.back();
    else
        return typename T::value_type();
}

top函数期待一个容器类型的实参，它使用typename指明其返回类型并在c中没有元素时生成一个值初始化的元素返回给调用者。

当我们希望通知编译器一个名字表示类型时，必须使用关键字typename，而不能使用class。