typename类型解释
typename关键告诉编译器吧一个特殊的名字解释成一个类型，在下列情况下必须对一个name使用typename关键字：
1.一个唯一的name（可以作为类型理解），它嵌套在另一个类型中；
2.依赖于一个模板参数，即：模板参数在某种程度上包含这个name。当模板参数使编译器在指认一个类型时产生了误解。
保险起见，应该在所有编译器可能错把一个type当成一个变量的地方使用typename。
给你一个使用指南：如果你的类型在模板参数中是有限制的，那就必须使用typename.
#include <iostream>
#include <typeinfo> // for typeid() operator
using namespace std;
template <typename TP>
struct COne
{
// default member is public
typedef TP one_value_type;
};
template <typename COne> // 用一个模板类作为模板参数, 这是很常见的
struct CTwo
{
// 请注意以下两行
// typedef COne::one_value_type two_value_type; // *1 原来这里为Cone:one_value我改成Cone::value
typedef typename COne::one_value_type two_value_type; // *2 原来这里为Cone:one_value我改成Cone::value
};
// 以上两个模板类只是定义了两个内部的public类型, 但请注意第二个类CTwo的two_value_type类型
// 依赖COne的one_value_type, 而后者又取决于COne模板类实例化时传入的参数类型.
int main()
{
typedef COne<int> OneInt_type;
typedef CTwo< OneInt_type > TwoInt_type;
TwoInt_type::two_value_type i;
int j;
if ( typeid(i) == typeid(j) ) // 如果i是int型变量
cout << "Right!"<< endl; // 打印Right
return;
}
以上例子在Linux下用G++ 2.93编译通过, 结果打印"Right". 但是如果把*1行的注释号去掉, 注释 *2行, 则编译时报错, 编译器不知道COne:one_value_type为何物.
通常在模板类参数中的类型到实例化之后才会显露真身, 但这个CTwo类偏偏又要依赖一个已经存在的COne模板类, 希望能够预先 保证CTwo::two_value_type与COne::one_value属于同一类型, 这是就只好请typename出山, 告诉 编译器, 后面的COne::one_value_type是一个已经存在于某处的类型的名字(type name), 这样编译 器就可以顺利的工作了.
使用typename来代替class
详细介绍了typename的使用方法之后，我们现在就可以选择typename来取代class声明，这样可以增加程序的清晰度。
//: C03:UsingTypename.cpp
// Using 'typename' in the template argument list
template<typename T> class X { };
int main()
{
X<int> x;
}
你当然也会看到许多类似的代码没有使用typename关键字，因为模板概念诞生之后很久了,才有了typename关键字的加入。
用typename自定义一个类型 要知道typename关键字不会自动的typedef，
typename Seq::iterator It;
只是声明了一个Seq::iterator类型的变量，如果你想定义一个新类型的话，你必须这样：
typedef typename Seq::iterator It;
