（一）
template声明式中，class和typename这两个关键字意义完全相同
template
class Widget;
template
class Widget;
（二）
template
void print2nd(const C& container)
{
if (container.size() >= 2)
{
C::const_iterator iter(container.begin());
++iter;
int value = *iter;
std::cout << value;
}
}
iter的类型是C::const_iterator 实际上是什么必须取决于template参数C。template内出现的名称如果相依于某个template参数，称之为从属名称。
如果从属名称在class内呈嵌套状，称之为嵌套从属名称。
C::const_iterator 就是这样一个名称嵌套从属名称。
value类型int。不依赖任何template参数的名称。称为非从属名称
嵌套从属名称可能导致解析的困难：
template
void print2nd(const C& container)
{
C::const_iterator* x;
}
这有可能会被误解！误解为乘号！
在我们知道C以前，没有任何办法可以知道C::const_iterator 是否为一个类型。而当编译器开始解析template print2nd时，尚未确定C是什么东西。
c++有个规则可以解析此一歧义状态：如果解析器在template中遭遇一个嵌套从属名称，它便假设这个名称不是个类型，除非你告诉它是。缺省情况下从属名称不是类型。此外还有个例外。
所以上述代码不是有效的c++代码。我们必须告诉c++说C::const_iterator 是个类型。只要紧邻它之前放置关键字typename即可：
template
//这个合法的c++代码
void print2nd(const C& container)
{
if (container.size() >= 2)
{
typename C::const_iterator iter(container.begin());
++iter;
int value = *iter;
std::cout << value;
}
}
typename必须作为嵌套从属类型名称的前缀词”这一规则的例外是，typename不可以出现在base classes list内的嵌套从属类型名称之前，也不可在member initialization list（成员初始化列表）中作为base class修饰符。例如：
template
class Derived: public Base
::Nested{//base class list中不允许“typename” public: explicit Derived(int x) :Base
::Nested(x)//mem.init.list中不允许“typename” { typename Base
::Nested temp;//嵌套从属类型既不在base class list中也不在mem.init.list中， } //作为一个base class修饰符需加上typename };
（三）
让我们看一个typename例子：一个function template，他接受一个迭代器，而我们打算为该迭代器指涉的对象做一份复件temp：
template
void workWithIterator(IterT) {
typename iterator_traits
::value_type temp(*iter); }
这是个标准trait class的一种运用（条款47），相当于说“类型IterT之对象所指之物的类型”。如果IterT是vector
::iterator，temp的类型就是int，如果IterT是list
::iterator，temp的类型就是string。由于std::iterator_traits
::value_type是个嵌套从属类型名称（value_type被嵌套于iterator_traits
之内而IterT是个template参数），所以必须在它之前放置typename。
这么长你肯定会想建立一个typedef。对于traits成员名称如value_type，普遍习惯是设定typedef名称用以代表某个traits成员名称：
template
void workWithIterator(IterT)
{
typedef typename std::iterator_traits
::value_type value_type; value_type temp(*iter); }
请记住：
（1）声明template参数时，前缀关键字class和typename可互换。
（2）请使用关键字typename标识嵌套从属类型名称；但不得在base class lists（基类列）或member initialization list（成员初值列）内以它base class修饰符。