C++ typedef typename 作用

我就是我 2022-08-19 15:13 199阅读 0赞

*  C typedef typename 作用
    
     *  vectorsize\_type
     *  为什么使用typename关键字
     *  总结

--------------------

# 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`是一个类型而不是一个成员。

--------------------

参考：  
1. [http://stackoverflow.com/questions/20674738/how-to-use-typename-in-c][http_stackoverflow.com_questions_20674738_how-to-use-typename-in-c]  
2. [http://feihu.me/blog/2014/the-origin-and-usage-of-typename/][http_feihu.me_blog_2014_the-origin-and-usage-of-typename]

[http_stackoverflow.com_questions_20674738_how-to-use-typename-in-c]: http://stackoverflow.com/questions/20674738/how-to-use-typename-in-c
[http_feihu.me_blog_2014_the-origin-and-usage-of-typename]: http://feihu.me/blog/2014/the-origin-and-usage-of-typename/