C++进阶：详解多态（多态、虚函数、抽象类以及虚函数原理详解）

C++进阶：详解多态（多态、虚函数、抽象类以及虚函数原理详解）

结束了继承的介绍：C++进阶：详细讲解继承

那紧接着的肯定就是多态啦

文章目录

  • 1.多态的概念
  • 2.多态的定义和实现
    • 2.1多态的构成条件
    • 2.2虚函数
      • 2.2.1虚函数的概念
      • 2.2.2虚函数的重写
      • 2.2.3虚函数重写的两个例外
    • 2.3C++11里 override 和 final
    • 2.4重载、覆盖(重写)、隐藏(重定义)的对比
  • 3.抽象类
    • 3.1概念
    • 3.2接口继承和实现继承
  • 4.虚函数原理
    • 4.1虚函数表（vtable）
    • 4.2多态的原理
    • 4.3动态绑定与静态绑定
  • 5.单继承和多继承关系的虚函数表
    • 5.1单继承中的虚函数表
    • 5.2多继承中的虚函数表

1.多态的概念

多态是指同一个函数名可以根据调用对象的不同而具有不同的实现。它分为两种类型：编译时多态（静态多态）和运行时多态（动态多态）。

  1. 编译时多态： 通过函数重载和运算符重载实现，是在编译阶段确定函数调用。重载允许一个函数名有多个定义，编译器根据函数参数和上下文来选择正确的定义。
  2. 运行时多态： 通过虚函数和继承实现，是在运行阶段确定函数调用。运行时多态允许通过基类指针或引用来调用派生类的函数，实现了动态绑定。

2.多态的定义和实现

2.1多态的构成条件

多态的实现通常依赖于虚函数。在基类中声明虚函数，然后在派生类中进行重写（覆盖）。通过基类指针或引用调用虚函数时，将根据对象的实际类型调用相应的派生类函数

从上面这段话我们知道在继承中要构成多态还有两个条件：

  1. 必须通过基类的指针或者引用调用虚函数

  2. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

class Person 
{
public:virtual void BuyTicket() { cout << "买票-全价" << endl; }//虚函数
};class Child:public Person
{
public:virtual void BuyTicket() { cout << "买票-半价" << endl; }//子类进行重写了
};void test1()
{Person* p = new Person;//基类的指针p->BuyTicket();//调用BuyTicketChild ch;p = &ch;//现在基类的指针指向了子类p->BuyTicket();
}int main()
{test1();return 0;
}

请添加图片描述

在这里插入图片描述

2.2虚函数

2.2.1虚函数的概念

虚函数是在基类中使用 virtual 关键字声明的成员函数，它的存在允许在派生类中进行函数的重写（覆盖）。通过虚函数，可以实现运行时多态性

class Person 
{
public:virtual void BuyTicket() { cout << "买票-全价" << endl; }//虚函数
};

2.2.2虚函数的重写

虚函数的重写（Override）是指在派生类中重新实现（覆盖）了基类中已经声明为虚函数的函数。在进行函数重写时，子类中的虚函数的返回值类型、函数名、参数列表必须与基类中的虚函数完全相同

注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承后在派生类依旧保持虚函数属性)但是该种写法不规范，大家还是少用为好。

2.2.3虚函数重写的两个例外

  1. 协变（基类与派生类虚函数返回值类型不同)

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

class A
{
public:virtual A* f() { return new A; }
};class B:public A
{
public:virtual B* f(){return new B;}
};
  1. 析构函数的重写（基类与派生类的析构函数名字不同）

如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor

class Person {
public:virtual ~Person(){cout << "~Person()" << endl;}
};class Student : public Person {
public:virtual ~Student(){cout << "~Student()" << endl;}
};void test2()
{Person* p1 = new Person;Person* p2 = new Student;delete p1;delete p2;
}int main()
{test2();return 0;
}

在这里插入图片描述

这里推荐大家把析构函数设为虚函数，上面也是一个经典场景——使用多态时，通过基类指针删除派生类对象

2.3C++11里 override 和 final

  1. final：用于在派生类中阻止对虚函数的进一步重写，或者在类定义中阻止类被继续派生

  • 防止进一步的派生：

    class Base final {// ...
};

  • 防止虚函数的进一步重写：

    class Base {
public:virtual void f() final {// ...}
};
  1. override：检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错
class Car 
{
public:virtual void Drive() {}
};class Benz :public Car 
{
public:virtual void Drive() override {}
};

这里派生类中符合重写要求，没有报错

2.4重载、覆盖(重写)、隐藏(重定义)的对比

在这里插入图片描述

3.抽象类

3.1概念

  • 在虚函数的后面写上= 0，则这个函数为纯虚函数 。

  • 包含纯虚函数的类叫做抽象类 （也叫接口 类），抽象类不能实例化出对象，但可以定义基类指针，用来实现多态

  • 派生类继承后也不能实例化出对象， 只有重写纯虚函数，派生类才能实例化出对象 。

  • 纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承

class Car//抽象类，不能实例化出对象
{
public:virtual void Drive() = 0; // 纯虚函数
};class Car1 :public Car
{
public:virtual void Drive() // 必须重写基类虚函数，派生类才能实例化出对象{cout << "Car1-舒适" << endl;}
};class Car2 :public Car
{
public:virtual void Drive(){cout << "Car2-操控" << endl;}
};void test3()
{Car* p1 = new Car1;p1->Drive();Car* p2 = new Car2;p2->Drive();
}int main()
{test3();return 0;
}

3.2接口继承和实现继承

普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数

  1. 普通函数的继承（实现继承）：
    • 在普通函数的继承中，派生类继承了基类的函数的具体实现。
    • 派生类可以直接使用基类的函数，而不需要重新实现该函数。
    • 这种继承关系主要关注函数的具体行为和功能。
  2. 虚函数的继承（接口继承）：
    • 在虚函数的继承中，派生类继承了基类的虚函数的接口，即函数的声明。
    • 派生类必须重新实现基类的虚函数，并且可以通过多态性实现运行时的动态绑定。
    • 这种继承关系强调了对函数接口的统一定义，为实现多态提供了基础。

4.虚函数原理

4.1虚函数表（vtable）

class Base
{
public:virtual void Func1(){cout << "Func1()" << endl;}
private:int _base = 1;
};int main()
{Base b;return 0;
}

在这里插入图片描述

通过观察测试我们发现b对象中除了 _base成员，还多一个 _vfptr 放在前面（注意有些平台可能会放到对象的最后面，跟平台有关），对象中的这个指针我们叫做虚函数表指针 （v代表 virtual，f代表 function）。 一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中(其实是一个函数指针数组)，虚函数表也简称虚表

利用下面的代码进一步讨论：

class Base
{
public:virtual void Func1(){cout << "虚函数Base::Func1()" << endl;}virtual void Func2(){cout << "虚函数Base::Func2()" << endl;}void Func3(){cout << "不虚Base::Func3()" << endl;}
private:int _base = 1;
};class Derive : public Base
{
public:virtual void Func1(){cout << "虚函数Derive::Func1()" << endl;}
private:int _derive = 2;
};int main()
{Base bb;Derive dd;return 0;
}

在这里插入图片描述

  1. 虚函数表（Virtual Function Table）是在编译期间生成的。编译器在编译每个包含虚函数的类时，会在该类的内部生成一个虚函数表，其中包含了该类中所有虚函数的地址。这个过程是在编译期间静态地完成的，因为编译器可以确定每个类中虚函数的数量和排列顺序。

  2. 虚函数表指针（vptr）的赋值是在对象的构造函数中完成的。具体来说，当创建一个对象时，首先会调用该对象的构造函数，而构造函数的初始化列表是在对象实际构造之前执行的。

在构造函数的初始化列表中，虚表指针（vptr）会被赋值为该类的虚函数表的首地址。这样，在对象的构造期间，虚表指针就已经指向了正确的虚函数表，从而确保在对象的构造期间就可以正确调用虚函数

  1. 派生类对象dd中也有一个虚表指针，dd对象由两部分构成，一部分是父类继承下来的成员，虚表指针也就是存在这一部分，另一部分是自己的成员

  2. 基类b对象和派生类d对象虚表是不一样的，这里我们发现Func1完成了重写，所以dd的虚表中存的是重写的Derive::Func1，所以虚函数的重写也叫作覆盖，覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法，覆盖是原理层的叫法

  3. Func2继承下来后是虚函数，所以放进了虚表，Func3也继承下来了，但是不是虚函数，所以不会放进虚表

  4. 虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr(这个也是看平台)

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

  • 先将基类中的虚表内容拷贝一份到派生类虚表中
  • 如果派生类重写了基类中某个虚函数，用派生类自己的虚函数覆盖虚表中基类的虚函数
  • 派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后
  1. 虚函数和普通函数一样的，都是存在代码段的，只是他的指针又存到了虚表中。另外对象中存的存的是虚表指针。那么虚表其实在vs下是也存在代码段的

在这里插入图片描述

4.2多态的原理

class Person {
public:virtual void BuyTicket() { cout << "买票-全价" << endl; }
};class Student : public Person {
public:virtual void BuyTicket() { cout << "买票-半价" << endl; }
};void Func(Person& p)
{p.BuyTicket();
}void test4()
{Person Mike;Func(Mike);Student Johnson;Func(Johnson);
}int main()
{test4();return 0;
}

  1. 观察下图的红色箭头我们看到，p是指向mike对象时，p->BuyTicket在mike的虚表中找到虚函数是Person::BuyTicket。

  2. 观察下图的蓝色箭头我们看到，p是指向johnson对象时，p->BuyTicket在johson的虚表中找到虚函数是Student::BuyTicket。

  3. 满足多态以后的函数调用，不是在编译时确定的，是运行起来以后到对象中找的。不满足多态的函数调用时编译时确认好的

其实这里还是利用了切割，编译器看到的都是父类，不过指向子类时里的父类是切割过去的而已，里面的虚表也是子类覆盖后的，找到的地址也是子类的虚函数的

在这里插入图片描述

两个问题：

  • 基类对象的指针 / 引用调用虚函数的原理是什么？

    基类指针或引用调用虚函数时，编译器生成的机器代码确实会先访问对象的虚函数指针（vptr），再通过虚函数表（vtable）找到实际要调用的虚函数的地址，最终进行调用。这种动态绑定的过程使得程序在运行时能够根据对象的实际类型来调用正确的虚函数，实现了多态性

  • 为什么多态必须要用基类的指针 / 引用来调用虚函数，而用基类对象调用却不行

    当派生类对象赋值给基类对象时，只会拷贝对象中的数据成员，而不会拷贝派生类的虚表指针。因此，基类对象中的虚函数调用会绑定到基类的虚函数表上，而无法访问派生类的虚函数。

    多态必须使用基类的指针/引用来调用虚函数的原因主要是因为基类指针/引用可以在运行时指向派生类对象，而且能正确地调用派生类的虚函数。这是因为在运行时，基类指针/引用会指向实际对象的虚表，从而实现了动态绑定，根据对象的实际类型调用正确的虚函数

4.3动态绑定与静态绑定

  1. 静态绑定又称为前期绑定(早绑定)，在程序编译期间确定了程序的行为，也称为静态多态，

比如：函数重载

  1. 动态绑定又称后期绑定(晚绑定)，是在程序运行期间，根据具体拿到的类型确定程序的具体行为，调用具体的函数，也称为动态多态。

5.单继承和多继承关系的虚函数表

在单继承和多继承关系中，下面来主要研究的是派生类对象的虚表模型，因为基类的虚表模型没什么需要特别研究的

5.1单继承中的虚函数表

class A {
public:virtual void func1(){cout << "A::func1" << endl;}virtual void func2(){cout << "A::func2" << endl;}
private:int _a;
};class B :public A {
public:virtual void func1(){cout << "B::func1" << endl;}//这里B自己又多加了两个虚函数virtual void func3(){cout << "B::func3" << endl;}virtual void func4(){cout << "B::func4" << endl;}
private:int _b;
};int main()
{B bb;return 0;
}

在这里插入图片描述

我们也可利用下面函数来打印虚表内容进行验证

typedef void(*vfptr)();void printvf(vfptr* ptr)
{for (int i = 0; ptr[i] != nullptr; ++i)//以空指针结束{// 依次打印虚表各元素printf(" 第%d个虚函数地址 :%p", i+1, ptr[i]);// 把虚表各元素赋值给函数指针fvfptr f = ptr[i];// 调用函数f();}cout << endl;
}int main()
{B bb;printvf((vfptr*)(*(int*)&bb));//先&bb地址出来，因为vs下虚表指针在最前面四个字节，利用强转为int*取到前四个字节//然后*解引用得到地址，再强转为vfptr* ，进行调用函数return 0;
}

在这里插入图片描述

5.2多继承中的虚函数表

class Base1 
{
public:virtual void func1() { cout << "Base1::func1" << endl; }virtual void func2() { cout << "Base1::func2" << endl; }
private:int b1;
};class Base2 
{
public:virtual void func1() { cout << "Base2::func1" << endl; }virtual void func2() { cout << "Base2::func2" << endl; }
private:int b2;
};class Derive : public Base1, public Base2 
{
public:virtual void func1() { cout << "Derive::func1" << endl; }//自己又加上两个fun3，会在哪个虚表里填上呢virtual void func3() { cout << "Derive::func3" << endl; }
private:int d1;
};int main()
{Derive dd;Base1* b1 = &dd;Base1* b2 = &dd;printvf((vfptr*)(*(int*)b1));printvf((vfptr*)(*(int*)b2));return 0;
}

在这里插入图片描述

是有两个虚表的，一个基类一个

在这里插入图片描述

观察上图可以看出：多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中

在这里插入图片描述

好啦，这次知识的内容就先到这里啦！多态在笔试当中选择题经常考察，在面试中也会问。以后大概率会对这部分进行梳理，感谢大家支持！！！

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/543155.html

如若内容造成侵权/违法违规/事实不符，请联系编程知识网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

【bioinformation 7】药效团

【bioinformation 7】药效团

&#x1f31e;欢迎来到AI医学的世界 &#x1f308;博客主页&#xff1a;卿云阁 &#x1f48c;欢迎关注&#x1f389;点赞&#x1f44d;收藏⭐️留言&#x1f4dd; &#x1f31f;本文由卿云阁原创&#xff01; &#x1f4c6;首发时间&#xff1a;&#x1f339;2024年3月16日&am…
阅读更多...
实战：django项目环境搭建(pycharm，virtualBox)

实战：django项目环境搭建(pycharm，virtualBox)

django项目环境搭建 一.创建虚拟环境二.创建PyCharm远程连接 一.创建虚拟环境 需要用到的软件&#xff1a;PyCharm&#xff0c;VirtualBox虚拟机。 1.打开虚拟机终端&#xff0c;创建新的虚拟环境 Book。 2.在虚拟环境中创建新的文件夹 library&#xff0c;cd命令进入该文件…
阅读更多...
【测试开发学习历程】在CentOS7上安装Docker

【测试开发学习历程】在CentOS7上安装Docker

前言&#xff1a; 内容进入到Docker的时间虽然不是特别长&#xff0c; 但是呢在虚拟机上安装Docker的步骤还是不能少&#xff0c; 因为自己以后也是可能用到这个东西的。 注意&#xff0c;下文中提到的保存退出的命令是&#xff1a; :wq 如果要编辑文件的步骤&#xff0c;…
阅读更多...
【日常记录】【CSS】css下划线动画

【日常记录】【CSS】css下划线动画

文章目录 1、效果2、思路3、代码 1、效果 2、思路 整体可以用 背景来做线&#xff1a;可以用 渐变 配合 background-size 、 background-position 、background-repeat正向动画&#xff1a;可以不断追加 background-size x 轴的大小来控制&#xff0c;当鼠标移入的时候&#x…
阅读更多...
二、HarmonyOS 操作系统以及相关生态

二、HarmonyOS 操作系统以及相关生态

前言 2019年8月9日&#xff0c;华为技术有限公司在华为开发者大会上正式发布了HarmonyOS 1.0&#xff0c;同时宣布该操作系统源代码开源。 2020年9月10日&#xff0c;HarmonyOs 2.0正式发布。与HarmonyOs 1.0版本相比&#xff0c;HarmonyOs 2.0在分布式软总线、分布式数据管理、…
阅读更多...
单调队列优化DP

单调队列优化DP

最大子序和 输入一个长度为 n 的整数序列&#xff0c;从中找出一段长度不超过 m的连续子序列&#xff0c;使得子序列中所有数的和最大。 注意&#xff1a; 子序列的长度至少是 1。 输入格式 第一行输入两个整数 n,m。 第二行输入 n 个数&#xff0c;代表长度为 n 的整数序…
阅读更多...
Selenium教程：一文了解Selenium的元素查找

Selenium教程：一文了解Selenium的元素查找

注&#xff1a;本文内容基于selenium 3.141.0 Selenium的元素查找指的是使用Selenium WebDriver库中提供的方法来定位和操作网页上的各种元素&#xff0c;如文本框、按钮、下拉框、链接等。通过元素查找&#xff0c;可以在自动化测试中模拟用户操作&#xff0c;比如输入文本、点…
阅读更多...
C语言 内存函数

C语言 内存函数

目录 前言 一、memcpy()函数 二、memmove()函数 三、memset函数 四、memcmp()函数 总结 前言 在C语言中内存是我们用来存储数据的地址&#xff0c;今天我们来讲一下C语言中常用的内存函数。 一、memcpy()函数 memcpy()函数与我们之前讲的strcpy()函数类似&#xff0c;只…
阅读更多...
分布式调用与高并发处理（二）| Dubbo

分布式调用与高并发处理（二）| Dubbo

文章目录 Dubbo概念_什么是分布式系统单机架构集群架构分布式架构单机、集群和分布式的区别 Dubbo概念_什么是RPCRPC两个作用&#xff1a;常见 RPC 技术和框架&#xff1a; Dubbo概念_简介Dubbo能做什么Dubbo支持的协议 Dubbo概念_核心组件注册中心Registry服务提供者Provider服…
阅读更多...
AI - 决策树模型

AI - 决策树模型

&#x1f914;决策树算法 决策树的思想来源可以追溯到古希腊时期&#xff0c;当时的哲学家们就已经开始使用类似于决策树的图形来表示逻辑推理过程。然而&#xff0c;决策树作为一种科学的决策分析工具&#xff0c;其发展主要发生在20世纪。 在20世纪50年代&#xff0c;美国兰…
阅读更多...
Xinstall助力web唤起iOS，打破平台壁垒，实现无缝跳转

Xinstall助力web唤起iOS，打破平台壁垒，实现无缝跳转

在移动互联网时代&#xff0c;web与App之间的跳转已成为用户日常使用中不可或缺的一部分。然而&#xff0c;对于iOS系统的用户来说&#xff0c;web唤起App的过程往往充满了挑战和不便。这时&#xff0c;Xinstall作为一款专业的移动开发者服务工具&#xff0c;为开发者们提供了解…
阅读更多...
RPC通信原理（一）

RPC通信原理（一）

RPC通信原理 RPC的概念 如果现在我有一个电商项目&#xff0c;用户要查询订单&#xff0c;自然而然是通过Service接口来调用订单的实现类。 我们把用户模块和订单模块都放在一起&#xff0c;打包成一个war包&#xff0c;然后再tomcat上运行&#xff0c;tomcat占有一个进程&am…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023