C++ typename不同应用方式介绍

在C++编程语言中，有很多比较高深的内容值得我们去深入的探讨。我们先来看看其中一个比较重要的概念C++ typename的应用方式。C++ typename总是用来定义一个模板参数，在这个时候他和classname有相同的功效。#t#

可是，typename的作用并不限于此。试想，在模板参数的类型中有一个嵌套类，而在我们的模板中需要使用这个嵌套类。那么，可能的写法为[T::SubType * ptr]。

问题是，T只是一个类型参数，编译器并不能确切的知道T中有哪些成员。因此，对于编译器来说，更为合理的做法把SubType看成了一个T中的静态成员，从而把上面的代码理解为T中的静态成员SubType乘上ptr。（我想，这与编译器在模板实例化时的处理方式有关。我不知道编译器在实例化模板的时候会按什么步骤走，但是肯定和普通的类实例化完全不一样。因为按照正常的类的实例化过程，编译器完全应该能知道SubType是T中的一个嵌套类。希望书中后面的内容能提供解释）。

这个时候C++ typename就能够明确的告诉编译器，SubType是一个类型，需要按照类型的方式处理。

下面是书中的一个实例：

#include < iostream> 
#include < vector> 
template< typename T> 
void printcoll(T const& coll)  
{  
typename T::const_iterator pos;  
typename T::const_iterator end(coll.end());  
for(pos = coll.begin(); pos != end; ++pos)  
{  
std::cout< < *pos< < ' ';  
}  
std::cout< < std::endl;  
}  
int _tmain(int argc, _TCHAR* argv[])  
{  
// 测试printcoll  
std::vector< int> intVector;  
intVector.push_back(1);  
intVector.push_back(2);  
intVector.push_back(3);  
intVector.push_back(4);  
printcoll(intVector);  
return 0;  
} 

注意到第7行和第8行，在定义变量的时候迭代器const_iterator是容器T中的一个类型。因此，在定义T::const_iterator的变量的时候需要在前面加上typename。可以说，正是由于const_iterator是一个依赖于模板参数的类型，所以我们必须使用C++ typename明确的指它是一个类型。否则，编译器就不能正常识别。