更新: 感觉下列文章分析还是模棱两可,这里举一个更直观的例子
template <typename T>
void D<T>::func(T &c)
{
//这条语句是size_type的静态变量和p相乘
//还是声明一个size_type类型的指针?
T::size_type * p;
//所以使用 typename 声明这是一个类型
typename T::size_type *p;
}
出处 https://blog.csdn.net/zhangxiao93/article/details/50569924
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::size_type是什么东西,事实上一共有三种可能:
- 静态数据成员
- 静态成员函数
- 嵌套类型
那么此时typename的作用就在此时体现出来了——定义就不再模棱两可。
总结
所以根据上述两条分析,
typedef typename std::vector<T>::size_type size_type;
语句的真是面目是:
typedef创建了存在类型的别名,而typename告诉编译器std::vector::size_type是一个类型而不是一个成员。