C++ 中 typename用法

typename在C++类模板或者函数模板中经常使用的关键字，此时作用和class相同，只是定义模板参数；

template 
 void function()
 {
	T::iterator *iter;
	.....
 }

看到上面这个例子时，我们脑子里可能会有两种想法：

第一：T::iterator *iter，实现乘法，iterator是类T的一个static成员；
第二：定义一个指针，指针指向的类型为T::iterator；

这样的话就会产生异议，由上面的介绍可以知道iterator是类T的静态数据成员，静态成员函数或者是嵌套类型；
当我们这样写的时候，C＋＋默认就是解释为一个变量的。所以，为了和变量区分，必须使用typename告诉编译器。
如果没有修饰关键词typename编译器可能认为我们是想实现乘法运算；若我们的本意是想定义一个指针时，这是就需要typename来修饰，即在T::iterator前面加上关键字typename；

template 
 class myData()
 {
	typename T::iterator *iter;//定义一个指针
	typedef typename iterator_traits<_Iter>::value_type  value _type;//定义一个别名
	.....
 };

typename在下面情况下禁止使用：

• 模板定义之外，即typename只能用于模板的定义中

• 基类列表中，比如

  template
  class Derived: public Base::XXX
  {
  ...
  }
  

• 构造函数的初始化列表中

如果类型是依赖于模板参数的限定名，那么在它之前必须加typename(除非是基类列表，或者在类的初始化成员列表中)。
所以：

typedef typename iterator_traits<_Iter>::value_type  value _type;

在STL库中有很多例子，如：