C++ typedef typename 作用

C++的一些語法讓人看着費解，其中就有：

typedef typename std::vector<T>::size_type size_type;

詳見《C++ Primer》（第五版）P584
有些不懂的語法有時候雖然知道大概是什么意思，忽略一下就過了其實，不過心里老是膈應，就刨根問底一次吧。

---

vector::size_type

明白上述語法，首先要先看清vector::size_type的意思。參考《STL源碼剖析》不難發現，其實：

template <class T,class Alloc=alloc> class vector{ public: //... typedef size_t size_type; //... };

這樣就看得很清晰了，vector::size_type是vector的嵌套類型定義，其實際等價於 size_t類型。
也就是說：

vector<int>::size_type ssize; //就等價於 size_t ssize;

---

為什么使用typename關鍵字

那么問題來了，為什么要加上typename關鍵字？

typedef std::vector<T>::size_type size_type;//why not?

實際上，模板類型在實例化之前，編譯器並不知道vector<T>::size_type是什么東西，事實上一共有三種可能：

靜態數據成員
靜態成員函數
嵌套類型

那么此時typename的作用就在此時體現出來了——定義就不再模棱兩可。

---

總結

所以根據上述兩條分析，

typedef typename std::vector<T>::size_type size_type;

語句的真是面目是：
typedef創建了存在類型的別名，而typename告訴編譯器std::vector<T>::size_type是一個類型而不是一個成員。

 

參考：http://feihu.me/blog/2014/the-origin-and-usage-of-typename/