条款42:了解typename的双重意义

template<class T> class Widget;		//使用class
template<typename T> classWidget;   //使用typename

当我们声明template类型参数,class和typename的意义完全相同

但是C++并不总是把class和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,实际是什么参数取决于参数C,template内出现的名称如果相依于某个template参数,称之为从属名称,如果从属名称在class内呈嵌套状,我们称为嵌套从属名称;

嵌套从属名称有可能导致解析困难,如:

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

上述代码看起来好像我们声明x为一个local变量,它是一个指针,指向一个C::const_iterator;但它之所以被那么认为,只是因为我们知道了C::const_iterator是个类型.如果C::const_iterator不是个类型呢?如果C有个static成员变量而碰巧被命名为const_iterator,那样上述代码就不再是声明一个local变量,而是一个相乘动作;

在我们知道C是什么之前,没有任何办法知道C::cosnt_iterator是否为一个类型;C++有个规则可以解析此歧义状态:如果解析器在template中遭遇一个嵌套从属名称,它便假设这个名称不是个类型,除非你告诉它是;

template<typename C>
void print2nd(const &C container) {
	C::const_iterator iter(container.begin()); //这个名称被假设为非类型
}

要解决这个问题,我们必须告诉C++说C::const_iterator是个类型,只要紧临它之前放置关键字typename即可

template<typename C>
void print2nd(const &C container) {
	if (container.size() >= 2) {
		typename C::const_iterator iter(container.begin());
	}
}

typename只用来验明嵌套从属类型名称,其他名称不该有它存在,例如:

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

上述C并不是嵌套从属类型名称(因为它并非嵌套于任何"取决于"template参数的东西内),所以container时并不需要typename为前导,但是C::iterator是个嵌套从属类型名称,所以必须以typename为前导;

• 请使用关键字typename标识嵌套从属类型名称;但是不得在base class lists(基类列)或member initialization list(成员初始值列)内以它作为base class修饰符