[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下是存在代码段的。

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

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

相关文章

xilinx原语介绍及仿真——ODELAYE2

xilinx原语介绍及仿真——ODELAYE2

7系列IO模块相关的结构如图1所示&#xff0c;前文对IOB、IDELAYE2、ILOGIC、OLOGIC进行了讲解&#xff0c;还剩下ISERDESE2、OSERDESE2、ODELAYE2原语&#xff0c;本文对ODELAYE2进行讲解&#xff0c;该原语只有HP bank才有&#xff0c;即7系列FPGA的A7系列没有ODELAYE2结构&am…
阅读更多...
计算机网络：数据链路层（网桥）

计算机网络：数据链路层（网桥）

带你速通计算机网络期末 目录 一、冲突域和广播域 二、网桥介绍 三、网桥分类—―透明网桥 四、网桥分类―—源路由网桥 五、多接口网桥―—以太网交换机 总结 一、冲突域和广播域 冲突域:在同一个冲突域中的每一个节点都能收到所有被发送的帧。简单的说就是同一时间内只…
阅读更多...
华为云创新动能涌现，浒墅关开启先进制造新纪元

华为云创新动能涌现，浒墅关开启先进制造新纪元

编辑&#xff1a;阿冒 设计&#xff1a;沐由 穿境而过的京杭大运河&#xff0c;孕育了苏州浒墅关深厚的历史文化底蕴。千年延续不断的繁华&#xff0c;滋养了一代又一代奋进的浒墅关人。今天&#xff0c;一座国家级经开区挺立在这里&#xff0c;散发出创新创业的蓬勃活力。 苏州…
阅读更多...
Windows中安装Git软件和TortoiseGit软件

Windows中安装Git软件和TortoiseGit软件

1、git软件下载地址 https://git-scm.com/download/win 2、TortoiseGit软件下载 >https://tortoisegit.org/download/ 3、软件安装 4、环境安装说明 上面介绍的是在Windows中使用git&#xff0c;如果你电脑已经装了Ubuntu系统&#xff0c;可以直接在Ubuntu中使用git命令提…
阅读更多...
RK3568平台（网络篇）添加网络交换芯片RTL8306M

RK3568平台（网络篇）添加网络交换芯片RTL8306M

一.硬件原理图 分析&#xff1a; 该交换芯片支持I2C、SPI、mdio通信&#xff0c;但是看ast1520的uboot代码采用的是mdio去通信phy芯片的&#xff0c;所以暂时也先采用mdio的方式&#xff0c;需要配置相应的引脚才可以配置成mdio通信模式&#xff0c;具体的配置硬件工程师解决。…
阅读更多...
Linux 基本语句_16_Udp网络聊天室

Linux 基本语句_16_Udp网络聊天室

代码&#xff1a; 服务端代码&#xff1a; #include <stdio.h> #include <arpa/inet.h> #include <sys/types.h> #include <sys/socket.h> #include <netinet/in.h> #include <stdlib.h> #include <unistd.h> #include <string…
阅读更多...
探索 Coinbase 二层链 Base 的潜力与风险

探索 Coinbase 二层链 Base 的潜力与风险

作者&#xff1a;lesleyfootprint.network 在不断变化的加密货币领域&#xff0c;Coinbase 已经确立了自己领先中心化交易所&#xff08;CEX&#xff09;的地位。然而&#xff0c;Coinbase 坚信去中心化是创造一个开放、全球范围内对每个人都可访问的加密经济的关键&#xff0…
阅读更多...
从0到1：志愿者小程序开发心得

从0到1：志愿者小程序开发心得

背景调研 志愿者服务小程序可以使志愿服务更加有序和高效&#xff0c;方便志愿者参与&#xff0c;也方便组织方管理和组织志愿服务活动;志愿者可以方便的在手机上报名&#xff0c;查看记录&#xff0c;获取积分&#xff0c;了解积分排行&#xff1b; 同时提供积分商城模块&…
阅读更多...
用23种设计模式打造一个cocos creator的游戏框架----(十九)备忘录模式

用23种设计模式打造一个cocos creator的游戏框架----(十九)备忘录模式

1、模式标准 模式名称&#xff1a;备忘录模式 模式分类&#xff1a;行为型 模式意图&#xff1a;在不破坏封装性的前提下捕获一个对象的内部状态&#xff0c;并在对象之外保存这个状态。这样以后就可以将对象恢复到原先保存的状态 结构图&#xff1a; 适用于&#xff1a; …
阅读更多...
Freemarker基本语法与案例讲解

Freemarker基本语法与案例讲解

&#x1f389;&#x1f389;欢迎来到我的CSDN主页&#xff01;&#x1f389;&#x1f389; &#x1f3c5;我是Java方文山&#xff0c;一个在CSDN分享笔记的博主。&#x1f4da;&#x1f4da; &#x1f31f;推荐给大家我的专栏《SpringBoot》。&#x1f3af;&#x1f3af; &…
阅读更多...
Azure Machine Learning - 提示工程简介

Azure Machine Learning - 提示工程简介

OpenAI的GPT-3、GPT-3.5和GPT-4模型基于用户输入的文本提示工作。有效的提示构造是使用这些模型的关键技能&#xff0c;涉及到配置模型权重以执行特定任务。这不仅是技术操作&#xff0c;更像是一种艺术&#xff0c;需要经验和直觉。本文旨在介绍适用于所有GPT模型的提示概念和…
阅读更多...
网络（十）ACL和NAT

网络（十）ACL和NAT

前言 网络管理在生产环境和生活中&#xff0c;如何实现拒绝不希望的访问连接&#xff0c;同时又要允许正常的访问连接&#xff1f;当下公网地址消耗殆尽&#xff0c;且公网IP地址费用昂贵&#xff0c;企业访问Internet全部使用公网IP地址不够现实&#xff0c;如何让私网地址也…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023