什么诡异的玩意

推荐先阅读最下面参考中的文章,看懂了最好
没看懂再回来看....

今天在实现multiset套娃(实现mymultiset)的时候,发现一个问题,

怎么把iterator也套娃?

C++提供了个工具叫typedef实现,但是如果你这么写是会有问题的

typedef multiset<T1, T2>::iterator iterator;

为什么?

个人理解

编译器在编译的过程中,有可能无法认出multiset<T1, T2>::iterator是个啥。

通过上篇文章(c++中的typedef)我们知道,typedef是个非常神(鬼)奇(屎)的玩意,有可能会把这个iterator识别成:

  1. 成员函数
  2. 成员变量
  3. 变量类型

为了让编译器理解这是种变量类型,我们手动添加typename来指定,正确的代码为

typedef typename multiset<T1, T2>::iterator iterator;

这样就可以实现嵌套定义了

对了,根据郭老师的提示,VS可以忽略这个问题

转载自CSDN

作者:NearXDU

链接: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是一个类型而不是一个成员。

参考

  1. http://feihu.me/blog/2014/the-origin-and-usage-of-typename/
Last modification:April 27th, 2020 at 02:28 pm
Compared with money, your comment could inspire me more.
相较于钱财,你的留言更能激发我创作的灵感