typename的作用小结

1. 代码即文档

// 在使用嵌套依赖类型（nested depended name）时
 class CArray
{
 public:
    typedef int LengthType;
};

template<typename T>// 此处（声明模板类型参数, template type argument）与使用template<class T>的效果一样
class CMatrix
{
public:
    // 如果不用typename指明CArray::LengthType是个嵌套依赖类型，则编译器无法确定
    // CArray::LengthType是个静态变量还是嵌套依赖类型
    typedef typename CArray::LengthType LengthType;
};

// 另一个例子能够更加明显地说明问题
void func(CArray& arr)
{
    // 定义一个LengthType类型的指针
    CArray::LengthType* pLength;
    // 想想编译器可能会怎么解释上面的表达式
    // 可能把LengthType解释为类CArray的一个静态变量，与pLength相乘
    // 我们可以这样来解决这个歧义
    typedef typename CArray::LengthType LengthType;
    LengthType* pLength;
    // 我们也可以这么做...
    typename CArray::LengthType *pLength(0);    
}

// ok，看完这些例子，想做个小结
// typename，看看它的意思是多么的明确，它告诉编译器它后面的东西就是个type的名字，而不是变量之类其他的东西
// 所以，在模板类型参数中，告诉编译器T是个type name
template<typename T>
class CArray
{};

// 所以，在嵌套依赖类型中告诉编译器CArray::LengthType是个type name,而不是静态变量
template<typename T>
class CMatrix
{
    typedef typename CArray::LengthType LengthType; //  告诉编译器typename后的CArray::LengthType是个type name.
};