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();//调用BuyTicket

	Child 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]);
     // 把虚表各元素赋值给函数指针f
     vfptr 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;
}

在这里插入图片描述

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

在这里插入图片描述

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

在这里插入图片描述


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

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

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

相关文章

算法笔记 连载中。。。

HashMap&#xff08;会根据key值自动排序&#xff09; HashMap<String, Integer> hash new HashMap<>() hash.put(15,18) hash.getOrDefault(ts, -1) //如果ts(key)存在&#xff0c;返回对应的value 否则返回-1 hashMap1.get(words1[i])1会报错&#xff0c;因…

Vue2在一个页面内动态切换菜单显示对应的路由组件

项目的需求是在一个页面内动态获取导航菜单&#xff0c;导航菜单切换的时候显示对应的路由页面&#xff0c;类似于tab切换的形式&#xff0c;切换的导航菜单和页面左侧导航菜单是同一个路由组件&#xff0c;只是放到了一个页面上&#xff0c;显示的个数不同&#xff0c;所有是动…

QT下跨平台库实现及移植经验分享

最近在移植公司一个QT桌面软件到android上&#xff0c;有一些公司自定义的库&#xff0c;用了很多windows的api&#xff0c;移植过程很是曲折&#xff0c;在此有一些感悟分享一下~ 一.自编写跨平台库 1.有时候为了程序给第三方用需要编译一些qt封装库&#xff0c;并可能跨平台…

AI智慧校园电子班牌云平台源码

目录 家长端 学校端 电子围栏 亲情通话 课堂答题 移动化管理模式 统一资源管理平台 模板内容智能更换 家校互联 家长端 多场景通话:上学放学联系、紧急遇险求助联系、日常亲情通话关注孩子人身安全:到校离校情况、进入危险区域预警等。 学校端 课堂秩序管理:提高教…

canvas绘制时,画布上有一个镂空的圆形(即背景可见),然后随着动画的进行,这个圆形的边界逐渐扩大至充满整个屏幕

<canvas id"myCanvas" width"800" height"600"></canvas>在不同宽高比的屏幕上&#xff0c;如果canvas元素没有被强制保持与窗口同样的宽高比&#xff08;例如通过CSS设置其宽度和高度百分比或者响应式布局&#xff09;&#xff0c;…

【商业|数据科学主题会议推荐】2024年商业分析与数据科学国际学术会议(ICBADS 2024)

【商业|数据科学主题会议推荐】2024年商业分析与数据科学国际学术会议&#xff08;ICBADS 2024) 征稿主题 &#xff08;以下主题包括但不限于&#xff09; 多媒体决策 决策理论与决策科学 数字市场设计与运营 降维 电子商务 道德决策 财务分析 群体决策与软件 医疗保…

【Linux-网络编程】

Linux-网络编程 ■ 网络结构■ C/S结构■ B/S结构 ■ 网络模型■ OSI七层模型■ TCP/IP四层模型 ■ TCP■ TCP通信流程■ TCP三次握手■ TCP四次挥手 ■ 套接字&#xff1a;socket 主机IP 主机上的进程&#xff08;端口号&#xff09;■ TCP传输文件 ■ 网络结构 ■ C/S结构…

MATLAB中visdiff函数用法

目录 语法 说明 示例 比较两个文件 比较两个文件并指定类型 发布比较报告 visdiff函数的功能是比较两个文件或文件夹。 语法 visdiff(filename1,filename2) visdiff(filename1,filename2,type) comparison visdiff(___) 说明 visdiff(filename1,filename2) 打开比较工…

cdo求多年平均教程

问题描述&#xff1a; 现有模式的输出数据&#xff0c;是以每个月一个文件的方式输出的&#xff0c;现在我想要十年的平均。 解决方法&#xff1a; 求这些数据十年的平均只需要这一行就可以了&#xff0c;首先将2000年到2009年的所有数据选出来&#xff0c;然后用xargs 命令传…

计算机设计大赛 题目:基于大数据的用户画像分析系统 数据分析 开题

文章目录 1 前言2 用户画像分析概述2.1 用户画像构建的相关技术2.2 标签体系2.3 标签优先级 3 实站 - 百货商场用户画像描述与价值分析3.1 数据格式3.2 数据预处理3.3 会员年龄构成3.4 订单占比 消费画像3.5 季度偏好画像3.6 会员用户画像与特征3.6.1 构建会员用户业务特征标签…

hot100 -- 矩阵

&#x1f442; Peter Pan - kidult. - 单曲 - 网易云音乐 &#x1f442; Bibliothque&#xff08;图书馆&#xff09; - Jasing Rye - 单曲 - 网易云音乐 目录 &#x1f33c;前言 &#x1f33c;二分模板 &#x1f382;矩阵置零 AC 标记数组 AC 标记变量 &#x1f6a9;…

AI新工具(20240313) 用户输入提示词创建任何GIF; 将任意人脸图片转换为另一幅图像的模型

✨ 1: GifShift 用户输入提示词创建任何GIF gifshift是一种工具&#xff0c;可以帮助用户创建任何GIF的新版本。使用gifshift的步骤如下&#xff1a; 上传一个GIF文件或者使用库中的一个GIF。 提供您想要的场景描述&#xff0c;最好选择一些具有代表性的角色&#xff0c;并进…

linux下重启ORACLE

切换到oracle用户 su - oracle 登录oracle sqlplus / as sysdba 启动数据库 startup 退出数据库 exit 启动监听 lsnrctl start FINISH

鸿蒙Harmony应用开发—ArkTS声明式开发(容器组件:Badge)

可以附加在单个组件上用于信息标记的容器组件。 说明&#xff1a; 该组件从API Version 7开始支持。后续版本如有新增内容&#xff0c;则采用上角标单独标记该内容的起始版本。 子组件 支持单个子组件。 说明&#xff1a; 子组件类型&#xff1a;系统组件和自定义组件&#xf…

【JS】parseInt与Math.floor的区别

获取两数区间随机整数的函数如下 function getRandom(min,max){return Math.floor(Math.random() * (max - min) min) }这个函数中&#xff0c;只可以使用Math.random&#xff0c;parseInt会出问题&#xff0c;二者虽然都是取整&#xff0c;但又有一些区别。 parseInt是「向…

单片机FLASH深度解析和编程实践(上)

本篇文章主要针对单片机FLASH编程和FLASH基本原理进行学习分享。以STM32单片机作为实例进行编程实训。 关于FLASH操作的相关寄存器及编程&#xff0c;大家可以参考下一篇文章: 单片机FLASH深度解析和编程实践&#xff08;下&#xff09;-CSDN博客 目录 一、STM32编程方式 二、…

挑战杯 机器视觉人体跌倒检测系统 - opencv python

0 前言 &#x1f525; 优质竞赛项目系列&#xff0c;今天要分享的是 &#x1f6a9; 机器视觉人体跌倒检测系统 该项目较为新颖&#xff0c;适合作为竞赛课题方向&#xff0c;学长非常推荐&#xff01; &#x1f947;学长这里给一个题目综合评分(每项满分5分) 难度系数&…

Wmware安装Linux(centerOS、Ubuntu版本)

目录 1、安装wmware 2、center版本 3、ubuntu版本 1、安装wmware 此处不做展开。 2、center版本 需要提前下载的文件&#xff1a; 无图形化界面https://mirrors.aliyun.com/centos/7.9.2009/isos/x86_64/CentOS-7-x86_64-Minimal-2009.iso 有图形化界面https://mirrors.a…

实现更高能效的汽车级低边驱动器NRVB140ESFT1G 带温度和电流限制 自保护低压侧驱动器

一起去了解关于汽车电子AEC Q101车规认证&#xff01;&#xff01;! 是一种针对分立半导体的可靠性测试认证程序&#xff0c;由汽车电子协会发布。这个认证程序主要是为了确保汽车电子产品在各种严苛的条件下能够正常工作和可靠运行。它包括了对分立半导体的可靠性、环境适应性…

树和二叉树的介绍

树 树是一种数据结构&#xff0c;它是由n(n≥0)个有限节点组成一个具有层次关系的集合。把它叫做“树”是因为它看起来像一棵倒挂的树&#xff0c;也就是说它是根朝上&#xff0c;而叶朝下的。 它具有以下的特点&#xff1a; 每个节点有零个或多个子节点&#xff1b;没有父节点…