1、typename和class

在模板前，typename和class沒有區別

template<typename T> class A;
template<class T> class A;

2、宣告一個型別

看下面的程式碼

我們編譯下結果如下

編譯器不知道T::const_iterator是個型別。如果它是個變數呢？ T::const_iterator的解析有著邏輯上的矛盾： 直到確定了T是什麼東西，編譯器才會知道
T::const_iterator是不是一個型別； 然而當模板被解析時，T還是不確定的。這時我們宣告它為一個型別才能通過編譯：

加上typename 編譯就沒問題了

typename T::const_iterator it = container.begin();

#include <iostream>

using namespace std;

template <class T>

class CInstance 
{

private:

    struct object_creator {
        object_creator() 
        {
            CInstance<T>::GetInstance();
        }
    inline void do_nothing(){}
    };

    static object_creator create_object;

public:
    static T& GetInstance() 
    {
         static T instance;
         create_object.do_nothing();
         return instance;
    }

protected:
    CInstance(){}

private:
    CInstance(const CInstance& c);
    CInstance operator = (const CInstance& c);
};

#include <iostream>
using namespace std;
template <class T>
class C
{
private:
   struct B {
       B() {
         A<T>::getInstance();
       }
       void do(){}
   };
   static creator create;
public:
    static T& getInstanc() {
       static T t;
       create.do();
       return t;
    }
};

//如果類繼承了這個函式，需到得到類的例項，會呼叫getInstance(),但是getInstance()函式裡面又有create_object.do()，所以我們這裡需要用typename宣告create_object，程式碼如下

template <typename T>
typename CInstance<T>::creator CInstance<T>::create;
如果別人呼叫就按照下面方式

class A : public CInstance <class A> {
public:
    void test()
    {
        cout<<"a is "<<a<<endl;
    }  
    int a;
};

int main()
{
   A& a = A::GetInstance();
   a.a = 3;
   a.test();
   return 0;
}
 

上面也使用了typename聲明瞭。

3、巢狀從屬名稱

事實上型別C::const_iterator依賴於模板引數C， 模板中依賴於模板引數的名稱稱為從屬名稱（dependent name）， 當一個從屬名稱巢狀在一個類裡面時，稱為巢狀從屬名稱（nested dependent name）。 其實C::const_iterator還是一個巢狀從屬型別名稱（nested dependent type name）。

巢狀從屬名稱是需要用typename宣告的，其他的名稱是不可以用typename宣告的。比如下面是一個合法的宣告：

template<typename C>
void f(const C& container, typename C::iterator iter);
 

template<typename C>
void f(typename const C& container, typename C::iterator iter);

4、在派生子類的基類列表中，以及建構函式的基類初始化列表中，不允許typename宣告