typename的双重意义

首先来看下面一个问题：
在template声明中，使用class和typename有什么不同？
template<class T>class Widget;
template<typename T>class Widget;
抛开使用习惯，声明template参数时，单从C++本身的角度来看，使用关键字class或typename没有任何不同。

但是C++并不是把它们完全视为等价，因为存在既有价值，如果完全一样，干嘛费劲的搞了两个出来呢，一个岂不是更方便。
在这里你要知道，有时候你必须使用typename。
我们先来看下面这个函数模板例子：

template<typename T>
void print(const T& container)
{
	if(container.size()>=1)
	{
		T::const_iterator iter(container.begin());
		int value=*iter;
		std::cout<<value;
	}
}

这个模板函数的功能是接收一个STL容器为参数。然后将容器中的第一个元素打印出来。
看起来没什么问题，编译也能通过，如果你亲自测试的话，也会发现能够运行良好。但是在某些极端情况下，呵呵，会发生什么呢？
我们先来看一个概念：
T::const_iterator
iter的类型是T::const_iterator，但是实际上iter是什么是取决于T。
而const_iterator这个名称的具体含义也是依赖于T的，我们将它称为从属名称。T::const_iterator这个整体是一个嵌套，我们称它为嵌套从属类型名称。因为const_iterator是从属于T的。
嵌套从属名称可能导致解析困难。我们看下面的代码

template<typename T>
void print(const T& container)
{
	T::const_iterator* m;
	...
}

这里我们声明m为一个局部变量，它是一个指向T::const_iterator的指针。
但是有一种情况，如果T::const_iterator它不是一个类型，而是T中的一个静态成员变量(确实有这个可能)，而这时m碰巧也是一个全局变量(哪有这么巧的事呀！)，那上面的代码就不是定义一个指针变量了，而是两个静态变量相乘。
上面的情况虽然特殊，但确实有可能发生的。所以C++解析器的设计者必须考虑如何避免这个问题。
C++有个规则可以解析这一歧义状态：如果解析器在模板中遇到这个嵌套从属名称，它便假设这个名称不是一个类型。除非你明确告诉他。在缺省情况下，嵌套从属名称不是类型。

template<typename T>
void print(const T& container)
{
	if(container.size()>=1)
		T::const_iterator iter(container.begin());
		...
}

上面这段程序不是有效的C++代码。iter只有在T::const_iterator是一个类型时才合理，但是我们并没有明确告诉C++，所以它默认它不是一个类型。
要想告诉C++，明确指定它是一个类型很简单，在前面加上一个typename就行了

template<typename T>
void print(const T& container)
{
	if(container.size()>=1)
	typename T::const_iterator iter(container.begin());
	//明确指定是一个类型
		...
}