C++之多态

最新推荐文章于 2023-12-07 18:47:01 发布

Flying clouds

最新推荐文章于 2023-12-07 18:47:01 发布

阅读量671

点赞数 1

分类专栏： C++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/flyingcloud6/article/details/127891303

版权

C++ 专栏收录该内容

20 篇文章 1 订阅

订阅专栏

2. 析构函数的重写(基类与派生类析构函数的名字不同)

一、什么是多态？

多态的概念：通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态 ,
例如：买车票，有人买的是全票，而有的人是学生票

多态在代码中的体现

我们先来看下一个代码例子：

我们先定义一个动物基类 A

再来定义一个person类和dog类，继承A

再写一个接口函数

我们分别实例化A，person，dog类的对象，去调用方法

发现调用的都是父类的方法，没有调用自己类（子类）的方法，这显然和我们的初衷相违背了

我们试着在原来的函数前面加上virtual关键字

这时候再来调用一下方法：

这时候就发现不同的对象调用的不同的方法，这就是多态，通过相同的接口，实现不同的结果

二、C++中多态的实现条件

1.必须要处于继承体系下。
2.基类中必须要有虚函数（被virtual关键字修饰的成员函数称为虚函数），在子类中必须要对基类中的虚函数进行重写
3.虚函数调用必须要通过基类的指针或者引用来进行调用。

浅分析下多态的底层

我们先不写virtual来看下状态

这时候的对象成员只有一个m_a

我们再来看看加上virtual的情况

我们发现b对象里面多了个_vfptr

我们再来写一个虚的show函数，看有没有第二个虚表指针的出现

我们发现并没有

也就是说一个类正常情况下只有一个虚表指针

多态的实现

重写：要求满足三同，名字相同，返回值相同，参数列表相同

虚：一虚到底

只要父类写了virtual，那么不管子类写不写virtual，都会是虚函数，（当然为了可读性，子类写上是最好了）

纠正一下多态的思想

我们定义了一个父类的指针指向了子类，这时候调用pb->fun()调用的是子类的方法，有的人可能认为这是利索应当的，

认为pb本来就指向的是子类，调子类的方法也是正常，但其实是错误的

因为在继承的时候就学习到了，父类对象的指针之所以能指向子类对象，正是因为子类中有父类，这个指针只是想要父类的部分，子类的部分是不关注的，所以按道理其实是访问不了子类的内容的，调用子类的方法就是多态的原理

我们研究的正是这个本不合理现象的原因，这就是多态

虚表的特性

1.相同类型的不同对象会共用同一张虚表

2.子类当中只有一张虚表（单继承）

虽然在宏观意义上，子类对象当中确实是有着父类对象，但是我们看对象的时候是看整体的，

子类和父类各自有各自的虚表空间。不能理解为：子类中有两张虚表，父类一个，子类单独有一个

三，多态产生的底层分析

我们从构造对象的角度来进行分析

我们现在有一个父类Base和一个子类D，我们实例化一个子类对象d，观察一下在底层是怎们进行构造的

我们都知道，在构造子类之前会先去构造父类，

那么我们来看看在父类中，这个底层结构是怎样的

父类中有个_vfptr和m_a，相当于就是：

构造完成父类后，会转到子类中去进行构造，我们来看看在子类中是怎么样的

在子类中我们可以看到对象的地址（this）是没有改变的，

但是父类Base中的_vfptr的地址发生了改变，这个虚表里的函数地址也发生了改变,这是什么情况呢

我们来分析一下底层

子类拷贝之后还是要做变化的，要执行覆盖的操作

这个覆盖的过程父类是感受不到的

这步操作也解释了为什么重写的时候要“三同”，因为多态其实就是一个狸猫变太子的事，要做到用狸猫去换太子，最起码长相要一模一样，才能去换。只有三同了，才能“欺骗”到父类

这个过程同样也解释了父类的指针为什么能“错误的”调用子类的函数

总结一下派生类的虚表生成：

a.先将基类中的虚表内容拷贝一份到派生类虚表中 b.如果派生类重写了基类中某个虚函数，用派生的类自己虚函数覆盖虚表中基类的虚函数 c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。

四、虚函数重写的两个例外

1、协变

派生类重写基类虚函数时，与基类虚函类型不同。数返回值即基类虚函数返回基类对象的指针或者引

用，派生类虚函数返回派生类对象的指针或者引用时，称为协变。

2. 析构函数的重写(基类与派生类析构函数的名字不同)

如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加 virtual 关键字，都与基类的

析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规

则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处

理成 destructor 。

当我们正常写的时候会发现，子类的析构函数不会被调用，

但当我们给父类的析构函数加上一个virtual的时候，就会发现子类的析构函数被成功调用了

final

我们在程序中有可能会将要重写函数的名字写错，或者参数或者返回值写的不一致，但是我们自己难以发现，编译器在编译阶段并不会报错。这样我们就无法构成重写。这里为了解决这个问题C++11中给出了关键字override。
override：C++11中新增关键字，目的在编译阶段来检测被override修饰的函数是否对其基类的虚函数进行重写，如果重写成功编译通过，否则报错

注意：