【C++ —— 多态】

C++ —— 多态

  • 多态的概念
  • 多态的定义和实现
    • 多态的构成条件
    • 虚函数
    • 虚函数的重写
    • 虚函数重写的两个例外
        • 协变:
        • 析构函数的重写
    • C++11 override和final
    • 重载、覆盖(重写)、隐藏(重定义)的对比
  • 抽象类
    • 概念
    • 接口继承和实现继承
  • 多态的继承
    • 虚函数表
    • 多态的原理
    • 动态绑定和静态绑定
  • 单继承和多继承关系的虚函数表
    • 单继承中的虚函数表
    • 多继承中的虚函数表

多态的概念

在C++中, 多态性(Polymorphism) 是面向对象编程中的一个重要概念,它允许以统一的方式 处理 不同类型的对象 ,从而提高代码的灵活性和可扩展性。多态性基于继承和虚函数实现,主要有两种形式:编译时多态(静态多态)和运行时多态(动态多态)。

通俗来说,就是多种形态,具体点就是去完成某个行为,当不同的对象去完成时会 产生出不同的状态。

多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。比如Student继承了Person。Person对象买票全价,Student对象买票半价。

多态演示:

class Person
{
public:virtual void BuyTicket(){cout << "全价买票" << endl;}
};class Student :public Person
{virtual void BuyTicket(){cout << "半价买票" << endl;}
};void Func(Person* p)
{p->BuyTicket();
}void test1()
{Person lt;Student hcx;Func(&lt);		// "全价买票"Func(&hcx);		// "半价买票"}

多态的定义和实现

多态的构成条件

那么在继承中要构成多态还有两个条件:

  1. 必须通过基类的指针或者引用调用虚函数
  2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写

虚函数

虚函数: 即被virtual修饰的类成员函数称为虚函数。

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

例如上述的 Person 类的 BuyTicket 函数被 virtual 修饰,所以他是一个虚函数!

注意: 这里的 virtual 和菱形继承那一块的 virtual 的作用不同,二者作用完全不同,只是关键字的名字一样而已。

虚函数的重写

概念: 虚函数的重写(覆盖) 派生类 中有一个跟 基类 完全相同的 虚函数 (即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表 完全相同),称子类的虚函数重写了基类的虚函数。

代码演示:

class Person
{
public:virtual void BuyTicket()		//虚函数{cout << "全价买票" << endl;}
};class Student :public Person
{virtual void BuyTicket()		//派生类重写基类的虚函数{cout << "半价买票" << endl;}
};

注意: 这里的派生类的 virtual 关键字不写也构成虚函数的重写,但是这种写法并不推荐!

虚函数重写的两个例外

  1. 协变 (基类与派生类虚函数返回值类型不同)
  2. 析构函数的重写 (基类与派生类析构函数的名字不同)
协变:

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

//基类
class A {};//派生类
class B : public A {};//基类
class Person
{
public:virtual A* f()			//基类的f()函数返回值是A*{cout << "A* Person::f() " << endl;return new A;}
};//派生类
class Student : public Person
{
public:virtual B* f()			//衍生类f()函数的重写,其返回值是B*{cout << "B* Student::f()" << endl;return new B;}
};void Func(Person* p)
{p->f();
}void test2()
{Person p;Student s;Person* ptr1 = &p;Person* ptr2 = &s;Func(ptr1);		//A* Person::f()Func(ptr2);		//B* Student::f()
}
析构函数的重写

在多态中,析构函数(destructor) 的调用有一个特殊的问题。如果不将基类的析构函数声明为虚函数(virtual),那么当使用 基类指针 删除 派生类对象 时,只会调用基类的析构函数而不会调用派生类的析构函数。 这可能导致派生类中的资源没有被正确释放,造成内存泄漏或其他问题。

类似下面这个问题:

class Person  
{  
public:  ~Person()  {  cout << "~Person()" << endl;  }  
};  class Student : public Person  
{  
public:  ~Student()  {  cout << "~Student()" << endl;  }  
};  void test3()  
{  Person* ptr1 = new Person;  Person* ptr2 = new Student;  delete ptr1; 	//~Person()// 调用 Person 的析构函数  delete ptr2; 	//~Person()// 如果 Person 的析构函数不是虚函数,则只调用 Person 的析构函数  
}

如果 Person 的析构函数不是虚函数,当 执行 delete ptr2; 时,只有Person 的析构函数会被调用,而 Student 的析构函数则不会被调用。但是 Student 类可能包含一些额外的资源(如动态分配的内存、打开的文件句柄等)需要清理。
为了避免这种情况,您应该将 Person 的析构函数声明为虚函数:

class Person  
{  
public:  virtual ~Person() // 声明为虚析构函数  {  cout << "~Person()" << endl;  }  
};

现在,当执行 delete ptr2; 时,首先会调用 Student 的析构函数(因为它被首先创建),然后调用 Person 的析构函数(因为它是基类)。这就是所谓的析构函数链(destructor chaining),它确保了对象的所有部分都被正确地清理。

C++11 override和final

从上面可以看出,C++对函数重写的要求比较严格,但是有些情况下由于疏忽,可能会导致函数名字母次序写反而无法构成重载,而这种错误在编译期间是不会报出的,只有在程序运行时没有得到预期结果才来debug会得不偿失,因此:C++11提供了override和final两个关键字,可以帮助用户检测是否重写。

final:修饰虚函数,表示该虚函数不能再被重写。

比如下面的基类Car的虚函数Drive被final修饰后就不能再被重写了,子类若是重写了基类的Drivet函数则编译报错。

//基类
class Car
{
public:
virtual void Drive() final {}
};//衍生类
class Benz :public Car
{
public:
virtual void Drive() {cout << "Benz-舒适" << endl;}
};

override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。

下面这个衍生类Drive()的成员函数被override所修饰,所以在编译时将检查是否派生类虚函数是否重写了基类的这个虚函数,没有的话就会报错。

//基类
class Car {
public:virtual void Drive() {}
};//衍生类
class Benz :public Car {
public:virtual void Drive() override{cout << "Benz-舒适" << endl;}
};

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

在这里插入图片描述

抽象类

概念

在虚函数的后面写上 = 0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象
派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。
纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。

class Car						//包含纯虚函数所以叫抽象类
{
public:virtual void Drive() = 0	//纯虚函数{}
};class BMW :public Car
{void Drive()				//派生类必须重写纯虚函数{cout << "操控" << endl;}
};class Benz :public Car			
{void Drive()				//派生类必须重写纯虚函数{cout << "舒适" << endl;}
};void Func(Car* c)
{c->Drive();
}void test1()
{BMW b1;Benz b2;Car* c1 = &b1;				Car* c2 = &b2;				Func(c1);					//操控Func(c2);					//舒适cout << endl;c1->Drive();c2->Drive();
}

这里的Car类中包含了纯虚函数 Drive ,所以 Car类 是抽象类,其衍生类必须重写纯虚函数,才能实例化对象。

接口继承和实现继承

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

多态的继承

虚函数表

先来看一道面试题:
这里的 sizeof(Base) 等于多少呢?

class Base
{
public:virtual void Func1(){cout << "Func1()" << endl;}
private:int _b = 1;char _ch;
};

答案是:

在这里插入图片描述

那为什么是12呢?

在这里插入图片描述

b对象当中除了_b成员和_ch外,实际上还有一个_vfptr放在对象的前面(有些平台可能会放到对象的最后面,这个跟平台有关)。对象中的这个指针我们叫做虚函数表指针(v代表virtual,f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针,因为虚函数的地址要被放到虚函数表中,虚函数表也简称虚表。

在这里插入图片描述

那这个虚函数表指针的原理是什么呢?

下面Base类当中有三个成员函数,其中Func1和Func2是虚函数,Func3是普通成员函数,子类Derive当中仅对父类的Func1函数进行了重写。

#include <iostream>
using namespace std;
//父类
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 _b = 1;
};
//子类
class Derive : public Base
{
public://重写虚函数Func1virtual void Func1(){cout << "Derive::Func1()" << endl;}
private:int _d = 2;
};
int main()
{Base b;Derive d;return 0;
}

通过调试可以发现,父类对象b和基类对象d当中除了自己的成员变量之外,父类和子类对象都有一个虚表指针,分别指向属于自己的虚表。

在这里插入图片描述
通过对调试的观察,我们发现这几个小点:

  1. 实际上这个虚表存储的就是虚函数的地址,可以通过观察b对象的虚表内容可知。方便存储的是Func1Func2的地址。
  2. 派生类对象d中也有一个虚表。这个虚表指针实际上是就是继承了基类的虚表,只不过在派生类对象d中重写了Func1所以,两个虚表就有所不同。所以d的虚表是继承了b的 Func2 地址和重写 Func1 地址。所以这也就是为什么函数的重写也叫作覆盖,覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法,覆盖是原理层的叫法。
  3. 另外Func2继承下来后是虚函数,所以放进了虚表,Func3也继承下来了,但是不是虚函数,所以不会放进虚表。此外,虚函数表本质是一个存虚函数指针的指针数组,一般情况下会在这个数组最后放一个nullptr

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

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

多态的原理

还记得之前实现的Func函数传Person调用的Person::BuyTicket,传Student调用的是Student::BuyTicket
在这里插入图片描述

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

观察下图的红色箭头我们看到,p是指向mike对象时,p->BuyTicketmike的虚表中找到虚函数是Person::BuyTicket。观察下图的蓝色箭头我们看到,p是指向johnson对象时,p->BuyTicketjohson的虚表中找到虚函数是Student::BuyTicket
这样就实现出了不同对象去完成同一行为时,展现出不同的形态。
在这里插入图片描述

动态绑定和静态绑定

  1. 静态绑定又称为前期绑定(早绑定),在程序编译期间确定了程序的行为,也称为静态多态,比如:函数重载
//父类
class Person
{
public:virtual void BuyTicket(){cout << "买票-全价" << endl;}
};
//子类
class Student : public Person
{
public:virtual void BuyTicket(){cout << "买票-半价" << endl;}
};void test2()
{Student s;		//实例化对象sPerson p = s;	//切片p.BuyTicket();	//通过对象直接调用,不满足多态,即静态绑定}

在这里插入图片描述
此时直接调用函数,不满足多态条件,不构成多态,通过反汇编观察为静态绑定。

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

在这里插入图片描述
此时通过指针调用函数,满足多态条件,构成多态,通过反汇编观察为动态绑定。

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

单继承中的虚函数表

单继承即只有一个基类:

class Base {
public:virtual void func1() { cout << "Base::func1" << endl; }virtual void func2() { cout << "Base::func2" << endl; }
private:int a;
};
class Derive :public Base {
public:virtual void func1() { cout << "Derive::func1" << endl; }virtual void func3() { cout << "Derive::func3" << endl; }virtual void func4() { cout << "Derive::func4" << endl; }
private:int b;
};

观察下图中的监视窗口中我们发现看不见func3和func4。这里是编译器的监视窗口故意隐藏了这两个函数,也可以认为是他的一个小bug。那么我们如何查看d的虚表呢?下面我们使用代码打印出虚表中的函数。

typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数cout << " 虚表地址>" << vTable << endl;for (int i = 0; vTable[i] != nullptr; ++i){printf(" 第%d个虚函数地址 :0X%p,->", i, vTable[i]);VFPTR f = vTable[i];f();}cout << endl;
}
void test3 ()
{Base b;Derive d;VFPTR * vTableb = (VFPTR*)(*(int*)&b);PrintVTable(vTableb);VFPTR* vTabled = (VFPTR*)(*(int*)&d);PrintVTable(vTabled);
}

在这里插入图片描述

多继承中的虚函数表

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; }virtual void func3() { cout << "Derive::func3" << endl; }
private:int d1;
};
typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{cout << " 虚表地址>" << vTable << endl;for (int i = 0; vTable[i] != nullptr; ++i){printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);VFPTR f = vTable[i];f();}cout << endl;
}void test4()
{Derive d;VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);PrintVTable(vTableb1);VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d + sizeof(Base1)));PrintVTable(vTableb2);
}

观察下图可以看出:多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中。
在这里插入图片描述

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

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

相关文章

BERT一个蛋白质-季军-英特尔创新大师杯冷冻电镜蛋白质结构建模大赛-paipai

关联比赛: “创新大师杯”冷冻电镜蛋白质结构建模大赛 解决方案 团队介绍 paipai队、取自 PAIN AI&#xff0c;核心成员如我本人IvanaXu(IvanaXu GitHub)&#xff0c;从事于金融科技业&#xff0c;面向银行信用贷款的风控、运营场景。但我们团队先后打过很多比赛&#xf…

算法系列--BFS解决拓扑排序

&#x1f495;"请努力活下去"&#x1f495; 作者&#xff1a;Lvzi 文章主要内容&#xff1a;算法系列–算法系列–BFS解决拓扑排序 大家好,今天为大家带来的是算法系列--BFS解决拓扑排序 前言:什么是拓扑排序 拓扑排序–解决有顺序的排序问题(要做事情的先后顺序) …

docker各目录含义

目录含义builder构建docker镜像的工具或过程buildkit用于构建和打包容器镜像&#xff0c;官方构建引擎&#xff0c;支持多阶段构建、缓存管理、并行化构建和多平台构建等功能containerd负责容器生命周期管理&#xff0c;能起、停、重启&#xff0c;确保容器运行。负责镜管理&am…

Java设计模式 _结构型模式_组合模式

一、组合模式 1、组合模式 组合模式&#xff08;Composite Pattern&#xff09;是这一种结构型设计模式。又叫部分整体模式。组合模式依据树形结构来组合对象&#xff0c;用来表示部分以及整体层次关系。即&#xff1a;创建了一个包含自己对象组的类&#xff0c;该类提供了修改…

Idea报错:无法访问org.springframework.boot.SpringApplication

在开发项目时&#xff0c;常常会遇到这种问题&#xff0c;报错信息如下图所示 版本号与jdk版本号存在对应关系&#xff0c;61.0对应jdk17&#xff0c;52.0对应jdk8 所以是某个依赖的版本太高&#xff0c;降低该依赖的版本即可 具体步骤&#xff1a; ①修改pom.xml中spring b…

ASP.NET实验室预约系统的设计

摘 要 实验室预约系统的设计主要是基于B/S模型&#xff0c;在Windows系统下&#xff0c;运用ASP.NET平台和SQLServer2000数据库实现实验室预约功能。该设计主要实现了实验室的预约和管理功能。预约功能包括老师对实验室信息、实验项目和实验预约情况的查询以及对实验室的预约…

ubuntu系统搭建pytorch环境详细步骤【笔记】

实践设备&#xff1a;华硕FX-PRO&#xff08;NVIDIA GeForce GTX 960M&#xff09; 搭建PyTorch环境的详细步骤如下&#xff1a; 1.安装Ubuntu系统&#xff1a; 下载Ubuntu的镜像文件并制作启动盘。将启动盘插入计算机&#xff0c;启动计算机并按照提示安装Ubuntu系统。 2.…

Linux内核之原子操作:atomic_long_dec用法实例(六十七)

简介&#xff1a; CSDN博客专家&#xff0c;专注Android/Linux系统&#xff0c;分享多mic语音方案、音视频、编解码等技术&#xff0c;与大家一起成长&#xff01; 优质专栏&#xff1a;Audio工程师进阶系列【原创干货持续更新中……】&#x1f680; 优质专栏&#xff1a;多媒…

一起Talk Android吧(第五百五十八回:lombok用法)

文章目录 1. 概述2. 使用方法3. 内容总结 各位看官们大家好&#xff0c;上一回中介绍了如何获取文件读写权限的知识,本章回中将介绍lombok相关的知识。闲话休提&#xff0c;言归正转&#xff0c;让我们一起Talk Android吧&#xff01; 1. 概述 这是一个java库&#xff0c;用来…

ES全文检索支持拼音和繁简检索

ES全文检索支持拼音和繁简检索 1. 实现目标2. 引入pinyin插件2.1 编译 elasticsearch-analysis-pinyin 插件2.2 安装拼音插件 3. 引入ik分词器插件3.1 已有作者编译后的包文件3.2 只有源代码的版本3.3 安装ik分词插件 4. 建立es索引5.测试检索6. 繁简转换 1. 实现目标 ES检索时…

flutter开发实战-build apk名称及指令abiFilters常用gradle设置

flutter开发实战-build apk名称及指令abiFilters常用gradle设置 最近通过打包flutter build apk lib/main.dart --release&#xff0c;发现apk命名规则需要在build.gradle设置。这里记录一下。 一、apk命名规则 在android/app/build.gradle中需要设置 android.applicationVa…

Pandas入门篇(二)-------Dataframe篇4(进阶)(Dataframe的进阶用法)(机器学习前置技术栈)

目录 概述一、复合索引&#xff08;一&#xff09;创建具有复合索引的 DataFrame1. 使用 set_index 方法&#xff1a;2.在创建 DataFrame 时直接指定索引&#xff1a; &#xff08;二&#xff09;使用复合索引进行数据选择和切片&#xff08;三&#xff09;重置索引&#xff08…

rabbitMq 0 到1

前言 工作中MQ的使用场景是数不胜数&#xff0c;每个公司的技术选型又不太一样&#xff0c;用的哪个MQ&#xff0c;我们必须要先玩起来&#xff0c;RabbitMQ在windows安装遇到很多问题&#xff0c;博客也是五花八门&#xff0c;算了还是自己搞吧&#xff0c;记录一下&#xff…

五大开放式耳机推荐,选对耳机让运动更带感!

看似精彩的户外运动经历背后&#xff0c;其实是枯燥的体能运动和训练&#xff0c;以及独自长途和长时间旅行伴随的孤独感&#xff0c;而排解这些不良情绪的最佳方式就是音乐。如果你希望在运动、舒适、安全和音质之间获得一个最佳平衡&#xff0c;那相比入耳式耳机&#xff0c;…

护航智慧交通安全 | 聚铭精彩亮相2024交通科技创新及信创产品推广交流会

4月26日&#xff0c;石家庄希尔顿酒店内&#xff0c;河北省智能交通协会盛大举办2024年度交通科技创新及信创产品推广交流会。聚铭网络受邀参与&#xff0c;携旗下安全产品及解决方案精彩亮相&#xff0c;为智慧交通安全保驾护航。 为深化高速公路创新驱动发展战略&#xff0…

pthread线程相关

LWP :轻量级 进程&#xff0c;本质仍是进程 进程 &#xff1a;独立地址空间&#xff0c;拥有PCB 线程&#xff1a;有独立的TCB&#xff0c;但没有独立的地址空间&#xff08;共享&#xff09; 区别 &#xff1a;在与是否共享地址文件 进程 &#xff08;独居&#xff09;&am…

10分钟了解数据质量管理-奥斯汀格里芬 Apache Griffin

在不重视数据质量的大数据发展时期&#xff0c;Griffin并不能引起重视&#xff0c;但是随着数据治理在很多企业的全面开展与落地&#xff0c;数据质量的问题开始引起重视。 1.Griffin简介 Griffin是一个开源的大数据数据质量解决方案&#xff0c;由eBay开源&#xff0c;它支持…

模型智能体开发之metagpt-单智能体实践

需求分析 根据诉求完成函数代码的编写&#xff0c;并实现测试case&#xff0c;输出代码 代码实现 定义写代码的action action是动作的逻辑抽象&#xff0c;通过将预设的prompt传入llm&#xff0c;来获取输出&#xff0c;并对输出进行格式化 具体的实现如下 定义prompt模版 …

IDEA 开发找到 java-web 发布到 tomcat 的路径

使用 IDEA 开发 java web 应用&#xff0c;有没有遇到需要找到 tomcat 路径的问题 为什么要找 tomcat 路径呢&#xff1f; 拿我的项目来举例&#xff0c;有统一的线上线下 logback.xml 配置&#xff0c;配置时业务、框架日志输出到 file&#xff0c;少量的启动日志输出到 con…

黑马点评项目个人笔记+项目优化调整

博客须知 本篇博客内容来源与黑马点评项目实战篇-16.用户签到-实现签到功能_哔哩哔哩_bilibili&#xff0c;作者对视频内容进行了整合&#xff0c;由于记笔记时图片使用的是本地路径&#xff0c;所以导致博客的图片无法正常显示&#xff0c;如果有图片需求可以下载上方的pdf须…