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

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

• 1

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

vector::size_type

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

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

• 1
• 2
• 3
• 4
• 5
• 6
• 7

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

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

• 1
• 2
• 3

為什麽使用typename關鍵字

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

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

• 1

實際上，模板類型在實例化之前，編譯器並不知道vector<T>::size_type

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

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

總結

所以根據上述兩條分析，

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

• 1

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

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

C++ typedef typename 作用