在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明确的指它是一个类型。否则，编译器就不能正常识别。
