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.mzph.cn/news/748815.shtml

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

相关文章

Ant Design Pro complete版本的下载及运行

前言 complete 版本提供了很多基础、美观的页面和组件&#xff0c;对于前端不太熟练的小白十分友好&#xff0c;可以直接套用或者修改提供的代码完成自己的页面开发&#xff0c;简直不要太爽。故记录一些下载的步骤。 环境 E:\code>npm -v 9.8.1E:\code>node -v v18.1…

RabbitMQ学习总结-延迟消息

1.死信交换机 一致不被消费的信息/过期的信息/被标记nack/reject的信息&#xff0c;这些消息都可以进入死信交换机&#xff0c;但是首先要配置的有私信交换机。私信交换机可以再RabbitMQ的客户端上选定配置-dead-letter-exchange。 2.延迟消息 像我们买车票&#xff0c;外卖…

Python | 机器学习中的模型验证曲线

模型验证是数据科学项目的重要组成部分&#xff0c;因为我们希望选择一个不仅在训练数据集上表现良好&#xff0c;而且在测试数据集上具有良好准确性的模型。模型验证帮助我们找到一个具有低方差的模型。 什么是验证曲线 验证曲线是一种重要的诊断工具&#xff0c;它显示了机…

基于Java+SpringMVC+vue+element宠物管理系统设计实现

基于JavaSpringMVCvueelement宠物管理系统设计实现 博主介绍&#xff1a;5年java开发经验&#xff0c;专注Java开发、定制、远程、文档编写指导等,csdn特邀作者、专注于Java技术领域 作者主页 央顺技术团队 Java毕设项目精品实战案例《1000套》 欢迎点赞 收藏 ⭐留言 文末获取源…

计算机二级C语言的注意事项及相应真题-4-程序设计

目录 31.找出学生的最高分&#xff0c;由函数值返回32.计算并输出下列多项式的值33.将一个数字字符串转换成与其面值相同的长整型整数。可调用strlen函数求字符串的长度34.将字符串中的前导*号全部移到字符串的尾部。函数fun中给出的语句仅供参考35.将一组得分中&#xff0c;去…

算法---滑动窗口练习-7(串联所有单词的子串)

串联所有单词的子串 1. 题目解析2. 讲解算法原理3. 编写代码 1. 题目解析 题目地址&#xff1a;串联所有单词的子串 2. 讲解算法原理 算法的基本思想是使用滑动窗口来遍历字符串s&#xff0c;并利用两个哈希表&#xff08;hash1和hash2&#xff09;来统计窗口中子串的频次。 …

docker容器技术基础入门-1

文章目录 容器(Container)传统虚拟化与容器的区别Linux容器技术Linux NamespacesCGroupsLXCdocker基本概念docker工作方式docker容器编排 容器(Container) 容器是一种基础工具&#xff1b;泛指任何可以用于容纳其他物品的工具&#xff0c;可以部分或完全封闭&#xff0c;被用于…

#QT(定时轮播电子相册)

1.IDE&#xff1a;QTCreator 2.实验&#xff1a; &#xff08;1&#xff09;使用QOBJECT的TIMER &#xff08;2&#xff09;EVENT时间 &#xff08;3&#xff09;多定时器定时溢出判断 &#xff08;4&#xff09;QLABEL填充图片 3.记录 4.代码 widget.h #ifndef WIDGET_H…

批量查询快递不再难,前缀单号助你轻松搞定!

在快递业务日益繁忙的当下&#xff0c;批量查询快递单号成为了许多人的迫切需求。如何能够快速、准确地找到所需的快递单号呢&#xff1f;其实&#xff0c;利用前缀单号进行批量查询是一个高效且实用的方法。下面&#xff0c;就让我们一起了解如何利用前缀单号轻松查找快递单号…

Yolo系列算法-理论部分-YOLOv3

0. 写在前面 YOLO系列博客&#xff0c;紧接上一篇Yolo系列算法-理论部分-YOLOv2-CSDN博客 1. YOLOv3-定型之作 2018年&#xff0c;Redmon团队推出YOLOv3的网络模型&#xff0c;将骨干网络&#xff08;backbone&#xff09;由darknet-19替换成darknet-53网络&#xff0c;加入特…

如何在CasaOS系统玩客云中安装内网穿透工具实现远程访问内网主机下载资源

文章目录 1. CasaOS系统介绍2. 内网穿透安装3. 创建远程连接公网地址4. 创建固定公网地址远程访问 2月底&#xff0c;玩客云APP正式停止运营&#xff0c;不再提供上传、云添加功能。3月初&#xff0c;有用户进行了测试&#xff0c;局域网内的各种服务还能继续使用&#xff0c;但…

unity学习(60)——选择角色界面--MapHandler2-MapHandler.cs

1.新建一个脚本&#xff0c;里面有static变量loadingPlayerList using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks;namespace Assets.Scripts.Model {internal class LoadData{public static List<Pl…

Go-知识select

Go-知识select 1. select 的特性1.1 chan读写1.2 返回值1.3 default 2. select 经典使用2.1 永久阻塞2.2 快速检错2.3 限时等待 3. 实现原理3.1 数据结构3.2 实现逻辑3.3 原理总结 4. 总结4.1 大概原理4.2 参数4.3 返回值 一个小活动&#xff1a; https://developer.aliyun.com…

springboot基于SpringBoot的学生请假管理系统的设计与实现

摘 要 系统根据现有的管理模块进行开发和扩展&#xff0c;采用面向对象的开发的思想和结构化的开发方法对学生请假管理的现状进行系统调查。采用结构化的分析设计&#xff0c;该方法要求结合一定的图表&#xff0c;在模块化的基础上进行系统的开发工作。在设计中采用“自下而上…

江科大stm32学习笔记【6-2】——定时器定时中断定时器外部时钟

一.定时器定时中断 1.原理 2.硬件 3.程序 此时CK_PSC72M&#xff0c;定时1s&#xff0c;也就是定时频率为1Hz&#xff0c;所以可以PSC7200-1,ARR10000-1。 Timer.c: #include "stm32f10x.h" // Device headerextern uint16_t Num;//声明跨文件的…

力扣经典题:分割平衡字符串

大佬的代码非常简洁 int balancedStringSplit(char * s){short i0,count0,sign0;while(s[i]){signs[i]L?sign1:sign-1;if(sign0) count;}return count; }

Transformer代码从零解读【Pytorch官方版本】

文章目录 1、Transformer大致有3大应用2、Transformer的整体结构图3、如何处理batch-size句子长度不一致问题4、MultiHeadAttention&#xff08;多头注意力机制&#xff09;5、前馈神经网络6、Encoder中的输入masked7、完整代码补充知识&#xff1a; 1、Transformer大致有3大应…

第十四届蓝桥杯省赛真题 Java A 组【原卷】

文章目录 发现宝藏【考生须知】试题 A \mathrm{A} A : 特殊日期试题 B: 与或异或试题 C : \mathrm{C}: C: 平均试题 D: 棋盘试题 E : \mathrm{E}: E: 互质数的个数试题 F: 阶乘的和试题 G: 小蓝的旅行计划试题 H: 太阳试题 I: 高塔试题 J \mathrm{J} J : 反异或 01 串 发现…

ChatGPT编程—实现小工具软件(批量替换文本、批量处理图像文件)

ChatGPT编程—实现小工具软件(批量替换文本、批量处理图像文件) 今天借助[小蜜蜂AI][https://zglg.work]网站的ChatGPT编程实现一个功能&#xff1a;批量处理文件及其内容&#xff0c;例如批量替换文本、批量处理图像文件等。 环境&#xff1a;Pycharm 2021 系统&#xff1a…

NVENC 视频编码器 API 编程指南 ( 中文转译 )

基于 NVIDIA Kepler™ 和更高版本 GPU 架构的 NVIDIA GPU 包含基于硬件的 H.264/HEVC/AV1 视频编码器&#xff08;以下简称 NVENC&#xff09;。NVENC 硬件采用 YUV/RGB 作为输入&#xff0c;并生成符合H.264/HEVC/AV1 标准的视频比特流。可以使用 NVIDIA 视频编解码器 SDK 中提…