C++ typedef typename 作用

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/