C++ typename关键字的作用

参考：http://blog.163.com/cp7618@yeah/blog/static/70234777201122111034365/原文详细讲解typedef和typename的作用与区别

 

引用讲解typename作用部分：

2、类型解释Typename

Typename关键字告诉了编译器把一个特殊的名字解释成一个类型，在下列情况下必须对一个name使用typename关键字：

1．  一个唯一的name（可以作为类型理解），它嵌套在另一个类型中的。

2．  依赖于一个模板参数，就是说：模板参数在某种程度上包含这个name。当模板参数使编译器在指认一个类型时产生了误解。

保险起见，你应该在所有编译器可能错把一个type当成一个变量的地方使用typename。就像下面的例子中

typedef COne::one_value_type  two_value_type;在编译CTwo类时编译器就可能把‘COne::one_value_type’当成一个变量，因为‘/*2’处我们使用了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), 这样编译器就可以顺利的工作了.