typename的高级用法

template<typename C>
void print(const C& coll)
{
	typename C::const_iterator pos; 
	typename C::const_iterator end(coll.end()); 
	for (pos = coll.begin(); pos != end; ++pos) 
	{ 
		cout << *pos << ' '; 
	} 
	cout << endl;
}

 

        end的类型是C::const_iterator。template内出现的名称如果相依于某个template参数，称之为从属名称(dependent names)。如果从属名称在class 内呈嵌套状，我们称它为嵌套从属名称(nested dependent name)。C::const_iterator就是这样的一个名称。实质上它还是一个嵌套从属类型名称(nested dependent type name)。

       在我们知道C是什么之前，没有任何办法可以知道C::const_iterator是否为一个类型，而当编译器开始解析template print时，尚未知道C是什么东西。C++有个规则可以解析(resolve)此一歧义状态：如果解析器在template中遭遇一个嵌套从属名称，它便假设这个名称不是个类型，除非你用typename显式告诉它是个嵌套从属类型名称。此规则有个例外，稍后我会提到。

        “typename 必须作为嵌套从属类型名称的前缀名”这一规则的例外是typename不可以出现在base classes 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)
	{    
		Base<T>::Nested  temp;         //mem.init.list中不允许“typename”
	} 
};

 

这样的不一致性真令人恼恨，但一旦你有了一些经验，勉勉强强还能接受它。

 

让我们看看最后一个typename例子:那是你将在真实程序中看到的代表性例子。假设我们正在编写一个template，它接受一个迭代器，而我们打算为该迭代器指向的对象做一份local副本temp.我们可以这么写：

template<typename IterT>
void workWithIterator(IterT iter)
{
	typename std::iterator_traits<IterT>::value_type temp(*iter);
}

如果你认为std::iterator_traits<IterT>::value_type读起来不畅快，想要一下打那么长的字又是什么光景。如果你像大多数程序员一样，认为多打几次这些字实在很恐怖，那么你应该会想建立一个typedef。对于traits成员名称如value_type，普通的习惯是设定typedef名称用以代表某个traits成员名称，于是常常可以看到类似这样的local typedef:

template<typename IterT>
void workWithIterator(IterT iter)
{
	typedef typename std::iterator_traits<IterT>::value_type value_type;
	value_type tmp(*iter);
}

      许多程序员最初认为把“typedef typename”并列颇不和谐，但它实在是指涉"嵌套从属类型名称"的一个合理附带结果。你很快会习惯它，毕竟你有强烈的动机-你希望多打几次typename std::iterator_traits<IterT>::value_type吗？

     作为结语，我应该提到typename相关规则在不同的编译器上有不同的实践。某些编译器接受的代码原本该有typename却遗漏了；原本不该有typename却出现了，还有少数编译器(通常是较旧版本)根本就拒绝typename。这意味着typename和“嵌套从属类型名称”之间的互动，也许会在移植性方面带给你某种温和的头疼。