了解typename的双重意义

在template声明式中，class 和 typename 没有不同。

template<class T>class Widget;
template<typename T> class Widget;

但是，有时候你一定要用typename，

template <typename C>
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参数的名称。称为非从属名称

嵌套从属名称可能导致解析的困难：

template <typename C>
void print2nd(const C& container)
{
    C::const_iterator* x;
};	

　　看起来我们好像声明了一个local变量是一个指针，指向一个C::const_iterator。但是如果 C::const_iterator不是一个类型呢？如果C有一个static成员变量碰巧被命名为const_iterator，这时x碰巧是一个global变量名称，那样上诉代码就是一个相乘动作。

在我们知道C以前，没有任何办法可以知道C::const_iterator 是否为一个类型。而当编译器开始解析template print2nd时，尚未确定C是什么东西。

 

c++有个规则可以解析此一歧义状态：如果解析器在template中遭遇一个嵌套从属名称，它便假设这个名称不是个类型，除非你告诉它是。缺省情况下从属名称不是类型。此外还有个例外。

所以上述代码不是有效的c++代码。我们必须告诉c++说C::const_iterator 是个类型。只要紧邻它之前放置关键字typename即可：

template <typename 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只用来验明嵌套从属类型名称：其他名称不该有他存在。

template <typename C> 
void f(const C& container, //不允许使用typename 
       typename C::iterator iter);//一定要使用typename

　　“typename必须作为嵌套从属类型名称的前缀词”这一规则的例外是，typename不可以出现在base classes list内的嵌套从属类型名称之前，也不可在member initialization list（成员初始化列表）中作为base class修饰符。例如

template <typename T>
class Derived:public Base<T>::Nested
{
public:
    explicit Derived(int x):
	Base<T>::Nested(x)
	{
	    typename Base<T>::Nested temp;//嵌套从属类型既不在base class list中也不在mem.init.list中， 
		                              //作为一个base class修饰符需加上typename 
	}
};