【C++】多态(上)超详细

封装,继承,多态不只是C++的三大特性,而是面向对象编程的三大特性。

什么是多态:

不同的对象做同一件事情,结果会出现多种形态。

1.满足多态的几个条件

1.父子类完成虚函数重写(需要满足三同:函数名,参数,返回值都需要相同)。

2.父类的指针或引用去调用虚函数。(指向谁就调用谁的虚函数)

既然有了父类和子类,那么说明多态发生的前提是继承。

例子:

不同身份的人买票的价格是不同的。

但如果不满足多态的条件,就达不到我们想要的结果:

2.多态的坑

2.1虚函数重写的两个例外

强调一下:

1.返回值只能是父类返回父类的指针或引用,子类返回子类的指针或引用,顺序不能反过来。

2.返回值可以是其他不相关的父子类,也可以是自己的父子类。

关于析构函数的重写

如果我们正常的写析构函数,看看它们调用的情况:

可见,两次析构都调用的是基类的,这是正常现象,两个Person的指针自然调用Person的析构。但这并不是我们的目的,我们想要的是指针指向谁就应该调用谁的析构,也就是说:我们想让P2调用Student的析构,只有这样才满足多态的规则。

但如果我们用virtual修饰这两个析构函数呢:

加上virtual就达到了我们的目的,也就是说父子类的析构函数构成虚函数重写。

但有些奇怪,这两个析构函数的名字明明不同,不符合多态的语法,为什么依然可以构成重写呢?

其实这里编译器会把析构函数的名字全部换成destructor,这样就满足多态的语法了!

那C++的语法为什么不把析构函数的名字直接定义成destructor,而是私下换名字呢?这样不麻烦嘛?

其实这也是无奈之举,因为析构函数的概念早于多态,在多态之前已经把析构函数的名字设计好了,祖师爷也没想到后面设计多态的语法时会在这个地方有坑,只能自己私下改名字了。

结论:建议把析构函数写成虚函数,防止内存泄漏的发生。

其实还有一个例外,就是派生类可以不写virtual。

这也是C++语法常常被吐槽的点,但还是建议写上,不然容易被人吐槽。

2.2一道杀人诛心的面试题

这道题目曾被多家大型公司(百度,腾讯等)当作面试题。

先说答案:B。是不是有点匪夷所思?

思路:

继承只是一个形象的说法,实际上在继承时并没有把父类的成员拷贝到子类中,而是用了一套查找规则:在P指针调用父类函数时,编译器会先在子类中找,没找到再去父类去找,所以父子类的同名函数会构成隐藏。

所以在给test函数传this指针时,this的类型是A*。但用this调用func时依然构成多态调用,因为this依然指向的是B类型,所以会直接调B中的func。

下面就到这个题目特别坑的点:多态的虚函数重写,重写的只是函数体的实现。意思就是:

子类的func是对父类func的重写,但只是重写了函数体的实现,函数的结构部分依然用父类的。所以val的值是1。

那咱们回过头来想,既然子类的函数体结构部分没有调用,那可以省略virtual好像也有些道理。

3.关键字override和final

3.1final

如果让你设计一个不能被继承的类,其实有两种方法。

方法一:

把基类的构造函数定义为私有。(C++98)

原因是:基类的构造函数在派生类中不可访问,那么派生类就无法对象实例化。

方法二:

利用关键字final。(C++11)

方法二很简单,就是用final修饰基类之后就无法继承了。

3.2override

override是加到派生类的重写虚函数中,用于检查是否完成重写。

成功重写时,是没有任何报错的。

没有成功重写就会报错,所以我们在写代码时尽量把这个关键字加上。

4.对比重载/重写/隐藏

5.多态的底层

5.1虚函数表指针

这道题的答案是12。因为Base类中有一个虚函数,所以在成员对象中就会多出一个指针,叫虚函数表指针,简称虚表指针。

这个指针指向了一张表,这个表里存放了虚函数的指针。

在x86平台下:

通过对比监视窗口和内存窗口可以看到在地址0x00E17B34位置存放了00e112df指针,在地址0x00E17B38位置存放了00e1124e指针。

5.2虚函数表指针的作用

下面我们来看一看编译器是如何通过虚表指针实现多态的。

这是Mike的对象模型和监视窗口:

这是John的对象模型和监视窗口:

通过对比Mike和John的对象模型发现:

在John的对象模型中004a9b54和下面的1是继承Mike的,1下面的2是John的成员变量。

虽然是继承下来的但有些不一样:

继承下来的虚表指针和Mike的虚表指针不一样,一个是004a9b34一个是004a9b54。

既然虚表指针不一样,那虚表指针里面的函数指针也应该不一样,观察监视窗口,我们发现Mike的虚表指针中存放的是Person的BuyTickt函数,John的虚表中存放的是Student的BuyTickt函数。

所以,多态的实现过程就是通过虚表指针!当Student对象传给Person对象时,通过切片把虚表指针切过去,然后通过Student的虚表指针调用Student的虚函数。当Person对象传给Person对象时,通过Person的虚表指针调用Person的虚函数。

但是当不满足多态语法时,编译器先检查,如果不满足多态语法,编译器就直接通过对象类型去调用成员函数,就不会通过虚表指针调用了。

补充一下:

每个对象都有一张虚表,同类型的对象共用一张虚表,不同类型的对象虚表不同。

6.单继承中的虚表

Derive继承Base后,通过监视窗口查看它们的虚表发现:Base的虚表是正常的里面有两个函数指针Func1和Func2。但是Derive的虚表有问题,有Derive的Func1和Base的Func2。

其实在继承后,派生类的虚表可以形象的说:把基类的虚表拷贝下来,如果构成重写,那么派生类的重写的函数把基类的覆盖掉。所以Func1是Derive的,Func2是Base的。

但问题是Func3和Func4哪里去了呢?

这也是VS的bug,其实VS的监视窗口有些时候并不准确,还要去内存窗口看一下!

通过对比监视窗口和内存窗口,我们发现Derive的虚表中好像存了4个函数指针:

前两个002b1410和002b1389和监视窗口中的一致,但后两个还不能确定,只能说比较像,所以我们需要写一个程序来验证我们的猜想。

验证结果:Derive的虚表中存了4个函数指针!

解释一下这个程序,写这个程序要求对指针的理解程度极高,如果你能看懂这个程序那么你在C语言指针方面的掌握非常好,如果能写出这个程序,那么你对指针的理解已经达到优秀了!

首先,虚表本质上是一个函数指针数组。我们平时传参传数组时,C语言考虑到效率问题往往传的是首元素的地址,比如一个int型的数组传参时传int*的指针。那么虚表中存放的全是函数指针,所以我们传参的时候应该传函数指针的地址,也就是二级指针。

那这个二级指针如何获得呢?在C语言部分,大家都知道,数组名就是首元素的地址,所以我们只需要得到虚表的名字(是d的成员变量)就可以了,也就是Derive d中的前4个字节。

难道将d强制类型转换成int就可以了嘛?这是不可以的,两个完全不想关的两个类型是不能强转的。这里给大家总结一下:1.int和float可以互相强转(char本质上也属于int型)2.任何类型的指针都可以相互强转 3.任何类型的指针可以和int相互强转。

知道这个知识后就可以取d的地址,前强转成int*,再解引用,这样就拿到了d的前4个字节,但这4个字节的类型是int,它真正的类型应该是虚表中首元素的地址,也就是Func1的指针的地址,强转过去后直接函数传参,然后采用数组下标的方式变量整个虚表就可以访问到虚表中所有的函数指针,然后再通过函数指针调用对应的函数就可以确认猜想!

相关推荐

  1. C++基础-详解

    2024-05-13 06:00:09       39 阅读
  2. C++ 详解(14)

    2024-05-13 06:00:09       48 阅读
  3. C++详解:静态与动态的实现

    2024-05-13 06:00:09       11 阅读

最近更新

  1. TCP协议是安全的吗?

    2024-05-13 06:00:09       18 阅读
  2. 阿里云服务器执行yum,一直下载docker-ce-stable失败

    2024-05-13 06:00:09       19 阅读
  3. 【Python教程】压缩PDF文件大小

    2024-05-13 06:00:09       18 阅读
  4. 通过文章id递归查询所有评论(xml)

    2024-05-13 06:00:09       20 阅读

热门阅读

  1. Redis 本机无法访问

    2024-05-13 06:00:09       11 阅读
  2. conda 常用20个命令

    2024-05-13 06:00:09       15 阅读
  3. SQLite 命令

    2024-05-13 06:00:09       12 阅读
  4. Unix/Linux C语言 获取控制台窗口尺寸

    2024-05-13 06:00:09       10 阅读
  5. vue-router(路由)

    2024-05-13 06:00:09       11 阅读
  6. 【CV】计算机视觉是什么?

    2024-05-13 06:00:09       10 阅读