引用講解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
struct COne
{   // default member ispublic
    typedef TPone_value_type;
};
template    // 用一個模板類作為模板引數,這是很常見的
struct CTwo
{
    //請注意以下兩行
    // typedefCOne::one_value_type two_value_type; // *1 

    typedeftypename COne::one_value_type two_value_type;//*2 

};
// 以上兩個模板類只是定義了兩個內部的public型別, 但請注意第二個類CTwo的two_value_type型別
// 依賴COne的one_value_type, 而後者又取決於COne模板類例項化時傳入的引數型別.
int main()
{
    typedef COneOneInt_type;
    typedefCTwo< 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),這樣編譯
器就可以順利的工作了.