读书笔记《Effective C++》条款42：了解typename的双重意义

以下template声明中，class和typename有什么不同？

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

答案：没有不同。

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

然而，C++并不总是把class和typename视为等价。有时候一定得使用typename。

C++中有个规则：如果解析器在template中遭遇一个嵌套从属名称，它便假设这个名称不是个类型，除非你告诉它是。所以缺省情况下嵌套从属名称不是类型。

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

任何时候当你想要在template中指涉一个嵌套从属类型名称，就必须在紧邻它的前一个位置放上关键字typename。

template<typename C>
void print2nd(const C& container)
{
        if (container.size() >= 2) {
                typename C::const_iterator iter(container.begin());//这是合法的C++代码
        }
}

typename只被用来验明嵌套从属类型名称：其它名称不该有它存在。例如：

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

上述的C并不是嵌套从属类型名称，所以声明container时并不需要以typename为前导，但C::iterator是个嵌套从属类型名称，所以必须以typename为前导。

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

template<typename T>
class Derived : public Base<T>::Nested {//base class list中不允许"typename"
public:
	explicit Derived(int x) : Base<T>::Nested(x)//在成员初值列中不允许"typename"
	{
		//嵌套从属类型名称，既不在base class list中也不在成员初值列中，
		//作为一个base class修饰符需加上typename
		typename Base<T>::Nested temp;
	}
};

要点：

1.声明template参数时，前缀关键字class和typename可互换。

2.请使用关键字typename标示嵌套从属类型名称；但不得在base class list（基类列）或member initialization list（成员初值列）内以它作为base class修饰符。