[C++] 多态(上) -- 抽象类、虚函数、虚函数表

在这里插入图片描述

文章目录

  • 1、多态的概念
  • 2、多态的定义及实现
    • 2.1 多态的构成条件
    • 2.2 虚函数
    • 2.3 虚函数的重写
    • 2.4 虚函数重写的两个例外
      • 2.4.1 协变(基类与派生类虚函数返回值类型不同)
    • 2.4.2 析构函数的重写(基类与派生类析在这里插入图片描述
      • 2.4.3 选择题测试
    • 2.5 C++11 final 和 override
      • 2.5.1 final
      • 2.5.2 override
    • 2.6 重载、覆盖(重写)、隐藏(重定义)的对比
  • 3、抽象类
    • 3.1 什么是抽象类
    • 3.2 接口继承和实现接口
  • 4、虚函数表

1、多态的概念

通俗来说，多态就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。
举个栗子：比如买票这个行为：
当普通人买票时，是全价买票；
学生买票时，是半价买票；
军人买票时是优先买票。

这个例子就是多态，不同身份对应不同的票价。

2、多态的定义及实现

2.1 多态的构成条件

在继承中要构成多态有两个重要条件：

  1. 必须通过 基类的指针或者引用调用虚函数
  2. 派生类必须对基类的虚函数进行重写（重写的要求三同：返回值相同、函数名相同、参数列表相同）
    我们按照多态的条件来写一份多态的代码：
class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票全价" << endl;
	}
};
class Student : public Person
{
	virtual void BuyTicket()
	{
		cout << "买票半价" << endl;
	}
};

void func(Person& p)
{
	p.BuyTicket();
    cout << endl;
}

在这里插入图片描述
在这里插入图片描述

2.2 虚函数

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

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

在这里插入图片描述

2.3 虚函数的重写

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

class Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票全价" << endl;
	}
};
class Student : public Person
{
public:
	virtual void BuyTicket()
	{
		cout << "买票半价" << endl;
	}
};
class Teacher : public Person
{
public:
	// 子类可以重写虚函数时可以不加 virtual，但是不规范，不推荐这样写
	void BuyTicket()
	{
		cout << "买票半价" << endl;
	}
};

注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范，不建议这样使用。

2.4 虚函数重写的两个例外

2.4.1 协变(基类与派生类虚函数返回值类型不同)

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

// 以自身父子类的指针/引用做返回值
class Person
{
public:
	virtual Person* BuyTicket()
	{
		cout << "virtual Person* BuyTicket()" << endl;
		return nullptr;
	}
};
class Student : public Person
{
public:
	virtual Student* BuyTicket()
	{
		cout << "virtual Person* BuyTicket()" << endl;
		return nullptr;
	}
};


// 以其他父子类指针/引用做返回值
class A
{};
class B : public A
{};

class Person
{
public:
	virtual A* BuyTicket()
	{
		cout << "virtual A* BuyTicket()" << endl;
		return nullptr;
	}
};
class Student : public Person
{
public:
	virtual B* BuyTicket()
	{
		cout << "virtual B* BuyTicket()" << endl;
		return nullptr;
	}
};

void func(Person* p)
{
	p->BuyTicket();
	cout << endl;
}
int main()
{
	Person p;
	func(&p);

	Student s;
	func(&s);

	return 0;
}

在这里插入图片描述
在这里插入图片描述

这里不管是以自身父子类的指针/引用做返回值，还是以其他父子类指针/引用做返回值这两种方式都是可以的。仍然构成多态。

2.4.2 析构函数的重写(基类与派生类析在这里插入图片描述

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

class Person 
{
public:
	virtual ~Person() 
	{ 
		cout << "~Person()" << endl; 
	}
};
class Student : public Person 
{
public:
	virtual ~Student() 
	{ 
		cout << "~Student()" << endl; 
	}
};

int main()
{
	Person* p = new Person;
	delete p;

	Person* s = new Student;
	delete s;

	return 0;
}

如果我们没有将析构函数写为虚函数，那么在析构子类对象的时候就不是多态调用了，而只是析构了切片出来的父类那部分，这样的析构并没有将子类对象的资源完全释放，可能就会导致内存泄漏等问题。

2.4.3 选择题测试

下面的程序输出什么结果？

class A
{
public:
	virtual void func(int val = 1) 
	{ 
		std::cout << "A->" << val << std::endl; 
	} 
	virtual void test() 
	{
		func();
	}
};
 
class B : public A
{
public:
	void func(int val = 0) 
	{ 
		std::cout << "B->" << val << std::endl; 
	}
};
 
int main()
{
	B* p = new B;
	p->test();
	return 0;
}

A：A->0 B：B->1 C：A->1 D：B->0 E：编译出错 F：以上都不正确

我们来分析一下这道题：
1、首先，进入main函数先new了一个子类B对象，子类B以共有方式继承了父类A，因此父类A中的公有方法在子类B中也是共有方式存在，所有的B对象都可以调用到A、B类中的公有方法。因此B指针对象p是可以正常调用test()方法，这里体现了继承的属性；
2、进入test()方法时，隐含的this指针的类型是A类型指针（父类指针），test()方法里又调用了func()方法，父类A中func()函数是虚函数，虽然子类B中func()函数没有加virtual，func()仍然是虚函数，同时父子类的func()返回值相同、函数名相同、参数相同（参数的类型，顺序，个数只要相同即可，参数名是否相同，有无缺省值都不影响），所以A和B的func()函数构成虚函数重写；
3、此时是父类指针在调用虚函数func()，但是指针this指向的对象是子类对象，因此this指针调用的是子类的func()方法。这里需要注意，虚函数重写的是函数体，函数的头部直接将父类虚函数头部拿下来用，子类重写时虽然改了头部但是编译器调用的时候用的还是父类func()函数的头部void func(int val = 1)。 因此，结果是B：B->1。
在这里插入图片描述

总结：
1、多态调用的时候，指针指向父类对象调用父类方法，指向子类对象调用子类方法；
2、多态调用的时候，虚函数重写的是函数体，头部直接用父类虚函数的头部；
3、非多态调用时，就算是虚函数重写，用的是自己的头部，即缺省用自己的缺省值。

2.5 C++11 final 和 override

2.5.1 final

final：修饰虚函数，表示该虚函数不能再被重写

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

在这里插入图片描述

2.5.2 override

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

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

在这里插入图片描述

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

在这里插入图片描述

3、抽象类

3.1 什么是抽象类

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

class Car
{
public:
	virtual void Drive() = 0;
};
int main()
{
	Car c;
	return 0;
}

在这里插入图片描述

这里抽象类是不能实例化出对象的。子类在继承后必须重写纯虚函数，否则也不能实例化对象。

class Car
{
public:
	virtual void Drive() = 0;
};
class Benz : public Car
{
public:
	//virtual void Drive()
	//{
	//	cout << "Benz-舒适" << endl;
	//}
};
int main()
{
	Benz b;
	return 0;
}

在这里插入图片描述

class Car
{
public:
	virtual void Drive() = 0;
};
class Benz : public Car
{
public:
	virtual void Drive()
	{
		cout << "Benz-舒适" << endl;
	}
};
int main()
{
	Benz b;
    b.Drive();
	return 0;
}

在这里插入图片描述

3.2 接口继承和实现接口

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

4、虚函数表

这里常考一道笔试题：sizeof(Base)是多少？

// 32位下的sizeof(Base)是多大呢？
class Base
{
public:
    virtual void Func1()
    {
    cout << "Func1()" << endl;
    }
private:
    int _b = 1;
};
int main()
{
    Base b;
    cout << sizeof(b) << endl;

    return 0;;
}

在这里插入图片描述

通过观察测试我们发现b对象是8bytes，除了_b成员，还多一个__vfptr放在对象的前面(注意有些平台可能会放到对象的最后面，这个跟平台有关)，对象中的这个指针我们叫做虚函数表指针(v代表virtual，f代表function)。一个含有虚函数的类中都至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称虚表。那么派生类中这个表放了些什么呢？我们接着往下分析
在这里插入图片描述

针对上面的代码我们做出以下改造，我们增加一个派生类Derive去继承Base，并且Derive中重写Func1()，再给Base增加一个虚函数Func2和一个普通函数Func3。

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:
	virtual void Func1()
	{
		cout << "Derive::Func1()" << endl;
	}
private:
	int _d = 2;
};
int main()
{
	Base b;
	Derive d;
	return 0;
}

在这里插入图片描述

通过观察和测试，我们发现了以下几点问题：

  1. 派生类对象d中也有一个虚表指针，d对象由两部分构成，一部分是父类继承下来的成员，虚表指针也就是存在部分的另一部分是自己的成员。
  2. 基类b对象和派生类d对象虚表是不一样的，这里我们发现Func1完成了重写，所以d的虚表中存的是重写的Derive::Func1，所以虚函数的重写也叫作覆盖，覆盖就是指虚表中虚函数的覆盖。重写是语法的叫法，覆盖是原理层的叫法。
  3. 另外Func2继承下来后是虚函数，所以放进了虚表，Func3也继承下来了，但是不是虚函数，所以不会放进虚表。
  4. 虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr。
  5. 总结一下派生类的虚表生成：
    a.先将基类中的虚表内容拷贝一份到派生类虚表中
    b.如果派生类重写了基类中某个虚函数，用派生类自己的虚函数覆盖虚表中基类的虚函数
    c.派生类自己新增加的虚函数按其在派生类中的声明次序增加到派生类虚表的最后。
  6. 这里还有一个童鞋们很容易混淆的问题：虚函数存在哪的？虚表存在哪的？ 答：虚函数存在虚表，虚表存在对象中。注意上面的回答的错的。但是很多童鞋都是这样深以为然的。注意虚表存的是虚函数指针，不是虚函数，虚函数和普通函数一样的，都是存在代码段的，只是他的指针又存到了虚表中。另外对象中存的不是虚表，存的是虚表指针。那么虚表存在哪的呢？实际我们去验证一下会发现vs下是存在代码段的。

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

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

web（HTML之表单练习）

web（HTML之表单练习）

使用HTML实现该界面&#xff1a; 要求如下&#xff1a; 用户名为文本框&#xff0c;名称为 UserName&#xff0c;长度为 15&#xff0c;最大字符数为 20。 密码为密码框&#xff0c;名称为 UserPass&#xff0c;长度为 15&#xff0c;最大字符数为 20。 性别为两个单选按钮&a…
阅读更多...
Linux 下的PROC虚拟文件夹的介绍

Linux 下的PROC虚拟文件夹的介绍

#江南的江 #每日鸡汤&#xff1a;其一半亩方塘一鉴开,天光云影共徘徊。问渠哪得清如许?为有源头活水来 #初心和目标&#xff1a;在网络安全中崭露头角 PROC 一.proc的文件里的文件是对于计算机的基本信息的介绍。 其中数字文件是代表着进程&#xff0c;其余的例如cpuinfo…
阅读更多...
人工智能：机器与人类的对决

人工智能：机器与人类的对决

一、引言 随着科技的飞速发展&#xff0c;人工智能已经逐渐渗透到我们生活的方方面面。从智能手机到自动驾驶汽车&#xff0c;从语音识别到机器翻译&#xff0c;人工智能已经成为我们生活中不可或缺的一部分。然而&#xff0c;随着人工智能的不断演进&#xff0c;人们开始担心…
阅读更多...
1848_emacs_org-mode代码块环境

1848_emacs_org-mode代码块环境

Grey 全部学习内容汇总&#xff1a; https://github.com/greyzhang/g_org 1848_emacs_org-mode代码块环境 这一部分主要是涉及到一些代码的执行、引用以及输出处理等功能。从之前我看的资料来说&#xff0c;更加偏重于可重现研究但不一定是文学式编程的必要部分。 内容来源…
阅读更多...
根据星历文件实现卫星的动态运行模拟matlab仿真

根据星历文件实现卫星的动态运行模拟matlab仿真

目录 1.算法运行效果图预览 2.算法运行软件版本 3.部分核心程序 4.算法理论概述 5.算法完整程序工程 1.算法运行效果图预览 2.算法运行软件版本 MATLAB2022a 3.部分核心程序 .................................................................................... % …
阅读更多...
5个免费、跨平台的SQLite数据库可视化工具

5个免费、跨平台的SQLite数据库可视化工具

前言 SQLite是一个轻量级的嵌入式关系型数据库&#xff0c;目前最新的版本是 SQLite3。今天推荐5个实用的SQLite数据库可视化工具(GUI)&#xff0c;帮助大家更好的管理SQLite数据库。 什么是SQLite&#xff1f; SQLite是一个轻量级的嵌入式关系型数据库&#xff0c;它以一个…
阅读更多...
DevEco Studio 项目鸿蒙（HarmonyOS）多语言

DevEco Studio 项目鸿蒙（HarmonyOS）多语言

DevEco Studio 项目鸿蒙&#xff08;HarmonyOS&#xff09;多语言 一、操作环境 操作系统: Windows 10 专业版 IDE:DevEco Studio 3.1 SDK:HarmonyOS 3.1 二、多语言 新版本IDE可以创建多语言的文件夹&#xff0c;在entry->src->main->resources下&#xff0c;修…
阅读更多...
设计模式——访问者模式

设计模式——访问者模式

引言 访问者模式是一种行为设计模式&#xff0c; 它能将算法与其所作用的对象隔离开来。 问题 假如你的团队开发了一款能够使用巨型图像中地理信息的应用程序。 图像中的每个节点既能代表复杂实体 &#xff08;例如一座城市&#xff09;&#xff0c; 也能代表更精细的对象 &…
阅读更多...
智能电气柜环境监测系统

智能电气柜环境监测系统

智能电气柜环境监控系统是一种基于传感器技术和物联网技术的智能化监控系统&#xff0c;用于对电气柜内的环境参数进行实时监测和管理。依托智慧电力运维工具-电易云&#xff0c;通过安装在电气柜内的多个传感器&#xff0c;实时采集电气柜内的温度、湿度、氧气浓度、烟雾等关键…
阅读更多...
【Logback技术专题】「入门到精通系列教程」深入探索Logback日志框架的原理分析和开发实战技术指南（上篇）

【Logback技术专题】「入门到精通系列教程」深入探索Logback日志框架的原理分析和开发实战技术指南（上篇）

深入探索Logback日志框架的原理分析和开发实战指南系列 Logback日志框架Logback基本模块logback-corelogback-classiclogback-accessLogback的核心类LoggerAppenderLayoutLayout和Appender filterlogback模块和核心所属关系 Logbackj日志级别日志输出级别日志级别介绍 Logback的…
阅读更多...
【LangChain学习之旅】—（2） LangChain系统快速入门

【LangChain学习之旅】—（2） LangChain系统快速入门

【LangChain学习之旅】—&#xff08;2&#xff09; LangChain系统快速入门 LangChain 的基本安装OpenAI APIChat Model 和 Text ModelChat Model&#xff0c;聊天模型Text Model&#xff0c;文本模型 调用 Text 模型第 1 步第 2 步第 3 步第 4 步第 5 步第 6 步 调用 Chat 模型…
阅读更多...
Oracle RAC环境下redo log 文件的扩容

Oracle RAC环境下redo log 文件的扩容

环境&#xff1a; 有一个2节点RAC每一个节点2个logfile group每一个group含2个member每一个member的大小为200M 目标&#xff1a;将每一个member的大小有200M扩充到1G。 先来看下redo log的配置&#xff1a; SQL> select * from v$log;GROUP# THREAD# SEQUENCE# …
阅读更多...
Java并发(十九)----Monitor原理及Synchronized原理

Java并发(十九)----Monitor原理及Synchronized原理

1、Java 对象头 以 32 位虚拟机为例 普通对象 |--------------------------------------------------------------| | Object Header (64 bits) | |------------------------------------|-------------------------| | Mark W…
阅读更多...
Freemarker基本语法与案例讲解

Freemarker基本语法与案例讲解

&#x1f389;&#x1f389;欢迎来到我的CSDN主页&#xff01;&#x1f389;&#x1f389; &#x1f3c5;我是Java方文山&#xff0c;一个在CSDN分享笔记的博主。&#x1f4da;&#x1f4da; &#x1f31f;推荐给大家我的专栏《SpringBoot》。&#x1f3af;&#x1f3af; &…
阅读更多...
二十八、目录操作

二十八、目录操作

二十八、目录操作 QDir 简单的QDir小例子 #include <QCoreApplication> #include <QDir> #include <QStringList> #include <QDebug>// 定义一个函数&#xff0c;输入一个目录路径&#xff0c;返回该目录及其子目录中所有文件的大小 qint64 getDirFi…
阅读更多...
5.3数据通路的功能和基本结构

5.3数据通路的功能和基本结构

数据通路的基本结构: 1.CPU内部单总线方式。 2.CPU内部多总线方式。 3.专用数据通路方式。 内部总线是指同一部件&#xff0c;如CPU内部连接各寄存器及运算部件之间的总线; 系统总线是指同一台计算机系统的各部件&#xff0c;如CPU、内存、通道和各类I/O接口间互相连接的总线。…
阅读更多...
[强网杯2023] 只作了几个小题

[强网杯2023] 只作了几个小题

感觉现在比赛越来越难了&#xff0c;只作了几个小题&#xff0c;赛后把看到的wp复现到的也一并记录一下。 misc/fuzz 这就是个猜数的题&#xff0c;哪个数字对了就在哪一位上显示1一共9位&#xff0c;不过服务器返回的前两个并不一定正确&#xff0c;多试几把。 Enter a stri…
阅读更多...
Vue 项目关于在生产环境下调试

Vue 项目关于在生产环境下调试

前言 开发项目时&#xff0c;在本地调试没问题&#xff0c;但是部署到生产会遇到一些很奇怪的问题&#xff0c;本地又没法调&#xff0c;就需要在生产环境/域名下进行调试。 在这里介绍一个插件Vue force dev ,浏览器扩展里下载 即便是设置了Vue.config.devtoolsfalse 只要安…
阅读更多...
【数据结构】复习题(一)

【数据结构】复习题(一)

一、选择题 1.组成数据的基本单位是()。 A. 数据项 B.数据类型 C.数据元素 D.数据变量 2.设数据结构A{D,R},其中D&#xff5b;1,2,3,4},R{r},r{<1,2>,<2,3>,< 3,4>,<4,1>}&#xff0c;则数据结构A是()。 A.线性结构 B.树型结构 C.图型结构 D.集合 3.…
阅读更多...
计算机网络网络层（期末、考研）

计算机网络网络层（期末、考研）

计算机网络总复习链接&#x1f517; 目录 路由算法静态路由与动态路由距离-向量算法链路状态路由算法层次路由 IPv4&#xff08;这个必考&#xff09;IPv4分组IPv4地址与NAT子网划分与子网掩码、CIDRARP、DHCP与ICMP地址解析协议ARP动态主机配置协议DHCP IPv6IPv6特点 路由协议…
阅读更多...
最新文章

Copyright @ 2022~2023