typename与class都可以用作模板形参定义的关键字，两者无异~~
可是，typename的用途并非仅限于此，如下面的代码：
在上述代码中，iter的类型是C::const_iterator，实际的类型取决于C的类型。const_iterator 同时也是C内部的typedef 类型名。 但是，在此处，编译器的行为不会是你预期的。
为了说明这个问题，定义两个概念，一个是从属名称，一个是非从属名称。
在上述代码中，iter 是依赖于模板参数C的，因此被称为从属名称；
同理，value是内置类型，不依赖于任何模板参数，因此被称为 非从属名称。
C++编译器在面对从属名称时，如果此时该从属名称又嵌套了其他类型，如此处的 iter就是C::const_iterator类型，
这里的C::const_iterator 称为嵌套从属类型（嵌套于C类型，从属于模板参数C）。编译器在看到这样的代码
时，难免会晕头转向，因为它不知道const_iterator 是C内部定义的类型，还是C内部的成员变量。因此，编译器一致
约定说，对于这样的不负责任的输入，编译器一致将其认为 “这不是个类型”！！显然这就需要在代码中明确地告诉
它，这是个类型，就这样只需要 在 C::const_iterator 前面加上关键字 typename 即可。
这就是必须用到typename的地方。告诉编译器，明确代码的含义，如果觉得很难记住，记住下面这一个例子就可以了：
template <class T> //可以是class或者是typename，定义模板
void f( const C & container , typename C::iterator iter); // 第一个参数不需要typename，因为它并没有设计嵌套从属类型，它只是个从属类型（因为与C相关）， 后面的typename是必须的。
但是，这里似乎有一些恼人的情况，前面提到说，在嵌套从属类型之前，你需要明确的告诉编译器，你需要的是个类型，可是有些
时候，又不能这么做。
比如下面的情况：
1
在类定义的基类列表中出现的嵌套从属类型之前，不能写typename。
2
在成员初值列表中，不能使用typename。
例如下面的例子：
总之：
在template声明时，class与typename是等价的。
typename则用在嵌套从属类型定义时，除了在成员初值列以及基类列表中。
了解 C++ 之 typename,布布扣,bubuko.com