c++多态

于 2024-05-04 10:34:30 发布
阅读量1.1k 收藏 14
点赞数 34
分类专栏： C++ 文章标签： c++ java jvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_51216031/article/details/138435078
版权
本文详细解释了C++中的虚函数、重写、override和final的概念，探讨了虚函数表的结构和多态的实现原理，涉及抽象类、多继承与菱形继承，以及面试中常见的问题。
摘要由CSDN通过智能技术生成

目录

一、概念、格式

二、虚函数重写

1、特征

2、虚函数重写的协变

3、析构函数的重写

4、派生类可不写vitual但不建议

5、重载、继承隐藏、多态重写

三、override和final

四、虚函数表指针

1、虚函数概念

总结：

五、多态如何实现？（核心原理）

1、父类的虚表是如何构成的？

2、子类的虚表是如何构成的？

3、各自的虚表实现多态的访问

4、为什么重写也叫做覆盖？

六、多继承和菱形继承的的虚表

七、抽象类

1、格式

2、特点

八、继承的虚基表和多态的虚函数表

总结：

九、面试相关

1、什么多态？

2、什么是重载、重写（覆盖）、重定义（隐藏）？

3、多态的实现原理？

4、inline可以是虚函数吗？

5、静态成员可以是虚函数吗？

6、构造函数可以是虚表函数吗？

7、析构函数可以是虚函数吗？什么场景下，析构函数是虚函数？

8、对象访问普通函数快还是虚函数快？

9、虚函数表在什么阶段生成？存在哪里？

10、C++菱形继承是什么？原理是什么？

11、什么是抽象类？作用是什么？

一、概念、格式

不同的对象去做同一件事情，有不同的结果，多态
同一件性质事件、行为的多个形态

二、虚函数重写

什么叫虚函数？函数前加了一个virtual关键字
只能修饰局部函数，修饰全局函数无意义
多态必须在继承体系下成立、传的是谁就调用的谁

1、特征

1）父子类完成虚函数重写（函数名、参数（不看缺省值）、返回值都相同）
2）父亲的指针或者引用去调用虚函数

2、虚函数重写的协变

什么是协变？
就是字符类的虚函数返回值可以不一样
是重写的一个特殊情况
就叫做协变

3、析构函数的重写

析构函数建议写成虚函数，加关键字virtual构成重写
加了关键字之后，会在底层将析构函数名都改成destruct，这样才满足重写的条件（函数名相同）
统一改名字的目的，就是为了构成重写，达到传入谁，就调用谁的析构的目的
不加关键字，就构成继承结构下的隐藏，如果要调用，需要指定域访问
就达不到谁调用，调谁的效果
也就是不指定调用，就不会调用析构函数

4、派生类可不写vitual但不建议

为什么？
虚函数的重写，重写的是函数体的实现
实际上，是把基类函数声明继承下来，和派生类的函数实现进行组合
也就是说，是否构成重载和派生类的函数声明无关
子类的函数重写是实现，是父类的函数声明加上子类函数定义的组合
重写的是函数定义，而不是函数声明，所以加不加无所谓，因为也不看

同时，继承并不是真正的从父类拷贝一份代码下来
而是找的时候依旧到父类去找对应的函数
所以，事实上，父类的函数实现，this指针依旧是父类对象
子类中把父类视为一个自定义类型

普通调用：看对象的类型是什么
多态调用：谁调用，就指向谁

为更好的理解上述所论，可以看下面这一段代码：答案选B（父类声明+子类函数实现）

5、重载、继承隐藏、多态重写

多态需要在继承的基础上构成
隐藏（重定义）只要是函数名相同即构成（无关参数）
重写（覆盖）要求函数名、参数、返回值相同，且必须是虚函数（协变除外）

三、override和final

用final修饰的类叫做最终类，不能被继承
格式：写在类名后面

class A final{...}

override用在子类的虚函数
作用：检查是否完成重写，检查语法等
例如父类写vittual了没有等等，重写的时候才需要voerride
格式：写在函数名后面

	virtual void   func()override {...}


四、虚函数表指针

1、虚函数概念

也称虚表指针（只要有虚函数就会有虚表指针）
干嘛的？用来实现多态
有虚函数的类，在开辟空间时，会多开辟一个指针
这个指针指向一个空间，叫做虚函数表
这个空间会存所有的虚函数（就是加virtual关键字的函数）的地址
按照声明顺序来存放地址
因此，
虚表的本质是一个函数指针数组
内部存的只是虚函数的地址
而虚函数真正存的地方，跟普通函数一样，在代码段
虚表存在哪里呢？
首先虚表不是存在对象里的
对象存的只是虚表的指针
虚表存在常量区，也就是所谓代码段

总结：

存在虚函数，多开辟一个虚表指针
虚函数存在常量区（即代码段）
虚表存在常量区（即代码段）
虚表是在构造函数初始化列表部分进行初始化的


五、多态如何实现？（核心原理）

多态：传父类调父类，传子类调子类
在编译的时候，子类和父类如果构成多态
构成各自的虚表怎么构成？

1、父类的虚表是如何构成的？

生成一个虚表指针
这个虚表存放父类所有的虚函数地址
以此，构成父类的虚表

2、子类的虚表是如何构成的？

拷贝父类的虚表，如果子类有新的虚函数，加上去；
如果子类对父类的虚函数进行了重写，就覆盖原来的父类虚函数
如此，构成子类自己新的虚表
所以，事实上
也可以这样说：
子类的虚表其实不是自己生成的
而是继承的父类的
只是，多的以及重写虚函数要进行添加和覆盖


3、各自的虚表实现多态的访问

这样，在进行调用的时候，
你传父类的对象，调用的是父类的虚表，父类的虚表存放的是父类的虚函数地址
你传子类的对象，调用的是子类的虚表，子类的虚表存放的是子类+父类的虚函数地址

4、为什么重写也叫做覆盖？

子类继承父类的虚函数就是把父类的所有虚函数全部拷贝下
也就是直接拷贝父类的虚表
但是子类会把子类自己重写的虚函数覆盖父类的虚函数
所以，重写也叫做覆盖
如果子类没有重写，那就不会覆盖，此时如果调用，调用的依旧是父类的虚函数
子类对象模型内部会有一个父类的虚表，加上自己的成员变量
即，子类也只有一个虚表
从父类继承而来的，改造过的虚表
父类没有虚表，无从继承，自己才会生成
注意:
同类型对象共用一张虚表
不同类型对象有各自的虚表

六、多继承和菱形继承的的虚表

如果子类继承了多个父类（不是菱形继承）
在子类的对象模型内，就会有多个父类的对象模型
什么叫做对象模型：类对象的成员变量+虚表
为什么要有多个父类对象的模型？
因为多态的调用是父类的指针和引用
子类对象赋值给父类对象时
需要进行切片
假如没有，那么对父类对象赋值的时候
就没有办法进行区分到底继承的父类有哪些东西
所以，从这里来看
切片，就是为解决多态而存在的

派生类的虚函数放在第一个继承的基类的虚表内

菱形虚拟继承（了解一下）
以及虚基表如何解决数据冗余和二义性的问题
继承是白盒


七、抽象类

1、格式

虚函数不实现，只有声明
且在虚函数后赋值0
这个叫做纯虚函数

class  A
{
public:
	virtual void func() = 0;
};

2、特点

不能实例化出对象
意义：强制派生类完成虚函数重写
如果不重写，就继承了父类的纯虚函数，那个自己本身也就有了一个纯虚函数
那么自己也会变成一个抽象类，无法被继承
可以理解为：虚函数的继承是一种接口继承
普通函数的继承是实现继承

八、继承的虚基表和多态的虚函数表

继承中的虚基表：存的是基类部分的偏移量，解决菱形继承的数据冗余和二义性的问题
多态中的虚函数表：存的是基类和派生类各自的虚函数，解决基类和派生类对象目标函数访问准确的问题

总结：


多态：要求父类指针/引用调用，虚函数重写
进而实现：编译时，
父类有父类的虚表
子类有子类的虚表
进而实现：运行时，
指向父类，到父类的虚表中找，调用父类虚表中的的虚函数
指向子类，到子类的虚表中找，调用子类虚表中的的虚函数

九、面试相关

对多态有一个系统的知识构架,经得住问，知道是什么，为什么，怎么样，即可做到问不到，如此，学问才算有些许火候。


1、什么多态？


多态，简单的来说，就是同一个事情，不同的人做，有不同的行为以及结果
例如，买票，儿童免票，少儿半价，成人全票，残疾人特殊票等等

2、什么是重载、重写（覆盖）、重定义（隐藏）？

重载：

重载是函数的重载，是在同一个域内实现的
构成的条件是函数名相同，但是参数不同，返回值不同并不构成重载
而代码最终运行都是指令
原理是在编译的时候，把参数作为函数名字编码的一个参量
由此，既可做到虽函数名相同，但是不同的参数有不同的函数编码

重写与重定义：

重写是在多态的情况才存在
而多态是在继承的基础上才构成
重写的构成条件是基类和派生类的函数名相同、参数相同（不看缺省值，只是形参），返回值相同
同时，在返回值不同的特殊情况叫做协变
重写的存在，就是为了构成多态，让派生类拥有自己的特点、方法
而重定义是在继承体系下才会存在
重定义的构成条件是基类和派生类的函数名相同，不论参数、返回值相同与否
简单而言，不构成重写，就是重定义


3、多态的实现原理？


核心是虚表指针的机制
只要有虚函数，在编译时就会生成一个虚表指针
这个虚表指针指向一个数组空间
这个数组空间存放该类以及继承而来的所有虚函数的地址
虚表指针和数组空间都存在常量区，即所谓代码段

因此，这样的机制，使得：
父类有父类的虚表
子类有子类的虚表
如此，
父类对象访问，去父类的虚表找函数
子类对象访问，去子类的虚表找函数
就达到了多态的目的

同时，子类的虚函数是从父类那里继承过来的
子类多余的加进去，重写的九覆盖，所以重写也叫做覆盖

多继承的情况呢？
继承两个父类，存两个父类的虚表，自己的虚表存在第一个继承的父类的虚表内
继承三个父类，存三个父类的虚表，自己的虚表存在第一个继承的父类的虚表内
...
如此类推
为什么要存多个虚表呢？
不是冗余吗？
不，这是为了赋值方便，为了切片
这样
son赋值给father1，就切father1的虚表过去
son赋值给father2，就切father2的虚表过去
...
如此类推

4、inline可以是虚函数吗？

可以
但是编译器会忽略inline属性
这个函数不再是inline（内联）
因为虚函数要放到虚表内


5、静态成员可以是虚函数吗？

不可以
因为静态成员没有this指针
没有this指针
无法放进虚函数表
不在虚函数表，即成员函数的调用方式无法访问
所以，导致对象无法调用
对象无法调用，那么多态就没有意义

6、构造函数可以是虚表函数吗？

不能
因为虚函数表是在构造函数的初始化列表阶段进行初始化的
如果构造函数也搞成虚函数，也放进了虚函数表
那么，虚函数表到哪里进行初始化？

7、析构函数可以是虚函数吗？什么场景下，析构函数是虚函数？

可以
上文有，自己查看


8、对象访问普通函数快还是虚函数快？

如果是一般对象，一样快
但如果是指针/引用，那么普通函数快
因为虚函数的调用还要多一步
就是到虚函数表查找

9、虚函数表在什么阶段生成？存在哪里？

在编译阶段，在构造函数的初始化列表阶段
一般存在代码段，即所谓常量区

10、C++菱形继承是什么？原理是什么？

上文有，自己查看

11、什么是抽象类？作用是什么？


抽象类：虚函数不写实现，函数名赋值0
意义：强制派生类重写虚函数
体现接口继承关系

二十5画生
关注
  • 34
    点赞
  • 踩
  • 14
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
c++多态总结
08-30
c++多态总结，vptr总结，多态原理探究
C++中重写（override）和重载（overload）
cnds123的专栏
07-11 3578
在C++中，重写（override）和重载（overload）是两个不同的概念。 重写用于在派生类中修改虚函数的实现，以便满足派生类的特定需求。而重载用于在同一作用域内定义具有不同参数列表的多个函数。
C++ 虚函数基础知识
huang714的专栏
09-29 872
1.c++虚函数原理 作用：C++中的虚函数的作用主要时实现了多态的机制。当基类中的成员函数定义了虚函数，其子类可以重新改写该函数。也即是允许派生类调用父类的同名函数而实现不同的功能，也叫动态联编。在主函数调用时，只需要定义一个基类指针就可以进行派生类的分别操作。底层原理：虚函数表+虚函数表指针。每一个类都会对应一个虚函数表，一个存放虚函数地址的虚函数表，并创建虚函数指针（vptr）来指向表。 2.虚函数指针的初始化过程 虚函数表的创建和虚函数指针的初始化都是在构造函数中进行的。当编译器发现基类当中有
C++虚函数表解析(转)
yusongwhu的专栏
10-14 533
C++虚函数表解析(转)C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。所谓泛型技术，说白了就是试图使用不变的代码来实现可变的算法。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议，要么试图做到运行时决议。关于虚函数的使用方法
C++ 虚函数与函数重载
weixin_42109053的博客
07-22 1339
本篇参考书籍《C++ Primer 第5版》，记录继承体系的类作用域的相关问题。 1. 类作用域和继承体系类作用域 概述： 　　每个类都定义有自己的作用域，在类的作用域当中定义类的成员。继承体系中的类作用域存在作用域嵌套关系：派生类的作用域嵌套在基类的作用域之内。 　　普通作用域具有这样的性质：内层作用域的名字会隐藏外层作用域中的相同名字；如果内层作用域中找不到对应的名字，将在外层作用域直至全局作用域中继续寻找，如果依然找不到相应的名字，编译器将报错。 　　类作用域和继承体系类作用域，具有普通作用域同样的性
C++中的函数重载、函数重写、虚函数
zzjNO_1的博客
09-23 437
函数重载指的是在同一个类中定义多个具有相同名称但参数列表不同的函数。编译器根据调用时传递的参数数量或类型来选择正确的函数。函数重载通常用于实现相似但参数不同的操作。
C++多态Demo
05-01
这个“C++多态Demo”示例中，我们看到长方形和三角形作为形状（Shape）类的派生类，体现了面向对象编程中的继承和多态概念。 首先，让我们来理解一下基础的面向对象概念： 1. **类（Class）**: 类是创建对象的蓝图...
C++ 多态的游戏例程
01-20
1）头文件 game.h #ifndef GAME_H #define GAME_H // base class class CCreature { protected: int m_nLifePower， m_nPower; public: virtual void Attack(CCreature *pCreature){} virtual void Hurted...
C++ 多态和虚函数 高清PDF
08-15
多态性（在C + +中用虚函数实现）是面向对象程序设计语言继数据抽象和继承之后的第三个基本特征。 它提供了与具体实现相隔离的另一类接口，即把“ w h a t”从“h o w”分离开来。多态性提高了代码的组织性和可读性...
详解C++ 多态的实现及原理
01-20
C++的多态性用一句话概括就是：在基类的函数前加上virtual关键字，在派生类中重写该函数，运行时将会根据对象的实际类型来调用相应的函数。如果对象类型是派生类，就调用派生类的函数；如果对象类型是基类，就调用...
C++的重载与虚函数
ariel7321的专栏
04-16 1393
 C++的重载与虚函数 其实真正要说的是虚函数，不过其中要扯倒重载，所以顺便也说了下重载1. 重载1.1 简单重载      在C++中，是允许同名函数的存在int add(int i,int j);float add(float i,float);      而在c中，函数名是唯一的，所以为了区分int和float版本的add，你需要给它们起不同的名字，比如将in
【C++】继承与多态的常见问题解析
最新发布
Colorful___的博客
03-01 781
菱形继承：菱形继承是多继承的一种特殊情况。菱形继承的问题：从下面的对象成员模型构造，可以看出菱形继承有数据冗余和二义性的问题。在Assistant的对象中Person成员会有两份。public://姓名protected:int _num;// 学号protected:int _id;// 职工编号protected:// 主修课程// 这样会有二义性无法明确知道访问的是哪一个// 需要指明访问哪个父类成员可以解决二义性问题， 但是数据冗余问题无法解决。
C/C++编程笔记：关于C++的虚函数和多态，你必须了解这三点！
致力于C语言C++知识分享！
09-18 290
前言 本章节主要针对于C++中的虚函数和多态做一个详细介绍。 虚函数 虚函数的长相其实很简单，在C++类型用virtual修饰的函数就是虚函数，如下代码： 虚函数对于本类的影响：存在虚函数类的内存会多四个字节，如下测试代码： 不过无论有多少个虚函数，内存只会多4个字节，因为所有虚函数都是用一个指针去存储的，即就是所谓的虚函数指针，虚函数指针(virtual function pointer)从本质上来说就只是一个指向函数的指针，与普通的指针并无区别。它指向用户所定义的虚函数，具体是在子
C++父类子类间函数重定义，虚函数重写（覆盖）以及重载
热门推荐
yang-彧
08-12 3万+
写这篇文章的时候我还是不太确定重定义，重写（覆盖），重载之间的确切的区分方法。下面是我今天的理解以及相关测试代码，以待后观！！ 第一：简单的子类重定义父类成员函数（函数三要素：返回类型，函数名，参数）：既然是重定义，函数名肯定是相同的，不然就没有必要讨论了。三要素都相同，自然可以成立，现在的问题是返回类型和参数是不是可以随意给，同样能隐藏父类的成员函数？ （1）函数名，返回类型，参数都相同#in
子类是否要重写父类的虚函数---C++
weixin_43124720的博客
06-29 4358
子类继承父类时， 父类的纯虚函数必须重写，否则子类也是一个虚类不可实例化。 父类中虚函数（非纯虚函数，即父类对其有定义），则子类也可以不重写，相当于原样继承了父类的虚函数。也可以重写，就相当于覆盖了父类的虚函数实现。不论是否重写虚函数都不影响子类的实例化~ 以下这段是转载的，非常经典： 定义一个函数为虚函数，不代表函数为不被实现的函数。 定义他为虚函数是为了允许用基类的指针来调用子类的这个函数。 定义一个函数为纯虚函数，才代表函数没有被实现。 定义纯虚函数是为了实现一个接口，起到一个规范的作用，规范继承这个
C++面试问题汇总
weixin_44235070的博客
04-03 162
C++面试问题汇总 1.static关键字作用 全局静态变量 静态存储区，在整个程序运行期间一直存在 作用域：准确地说是从定义之初开始，到文件结尾 局部静态变量 静态存储区，作用域仍为局部作用域，当定义它的函数或者语句块结束的时候，作用域结束。但是当局部静态变量离开作用域后，并没有销毁，而是仍然驻留在内存当中，只不过我们不能再对它进行访问，直到该函数再次被调用，并且值不变； 类的静态成员 静态成...
c++子类重写父类的虚函数对返回类型和参数列表的要求
Yi Sun的博客
06-13 5356
对于c++中的继承，如果子类重写父类的virtual函数，那么子类重写的这个函数的返回类型和参数列表要满足什么要的要求呢？ 可不可以和父类的那个virtual函数的返回类型或者参数列表不一样呢？ 下面来实验一下： 我设计了三个类：base derived returns 他们分别是父类：base,子类：derived，以及用于测试的返回类：returns. 他们的结构如下： base.h和base.cpp #include "returns.h" class base { public:
面向对象三个基本特征：重载、继承、多态
weixin_42063820的博客
05-09 1587
1.重载：同个类中：方法同名，形参列表不一致 a）方法名一样 b）（参数类型或个数或顺序，至少有一个不同，参数名无要求） c）返回类型不要求 2.可变参数 a)例子：求和 方法定义： 方法调用： b)注意： 1）普通参数与可变参数一起使用时候，可变参数只能放在最后面 2）可变参数，一个方法只能有一个 3作用域： a）全局变量可以不赋值，直接使用，因为有默认值； 局部变量必须赋值后才能使用，因为没有默认值； b）局部变量和全局变量可以重名，遵守就近原则 c）（全局变量）属性可以加修饰符（public,pro
c++ 多态
05-25
C++中的多态（Polymorphism）是指在父类和子类之间的相互转换，以及在不同对象之间的相互转换。 C++中的多态性有两种：静态多态和动态多态。 1. 静态多态 静态多态是指在编译时就已经确定了函数的调用，也称为编译时多态。C++中实现静态多态的方式主要有函数重载和运算符重载。 函数重载是指在同一作用域内定义多个同名函数，但它们的参数列表不同。编译器根据传递给函数的参数类型和数量来确定调用哪个函数。例如： ```c++ void print(int num) { std::cout << "This is an integer: " << num << std::endl; } void print(double num) { std::cout << "This is a double: " << num << std::endl; } int main() { int a = 10; double b = 3.14; print(a); // 调用第一个print函数 print(b); // 调用第二个print函数 } ``` 运算符重载是指对C++中的运算符进行重新定义，使其能够用于自定义的数据类型。例如： ```c++ class Complex { public: Complex(double real, double imag) : m_real(real), m_imag(imag) {} Complex operator+(const Complex& other) const { return Complex(m_real + other.m_real, m_imag + other.m_imag); } private: double m_real; double m_imag; }; int main() { Complex a(1.0, 2.0); Complex b(3.0, 4.0); Complex c = a + b; // 调用Complex类中重载的+运算符 } ``` 2. 动态多态 动态多态是指在运行时根据对象的实际类型来确定调用哪个函数，也称为运行时多态。C++中实现动态多态的方式主要有虚函数和纯虚函数。 虚函数是在父类中定义的可以被子类重写的函数，使用virtual关键字声明。当一个对象的指针或引用指向一个子类对象时，调用虚函数时会根据实际的对象类型来确定调用哪个函数。例如： ```c++ class Shape { public: virtual void draw() { std::cout << "Drawing a shape." << std::endl; } }; class Circle : public Shape { public: void draw() override { std::cout << "Drawing a circle." << std::endl; } }; int main() { Shape* shape_ptr = new Circle(); shape_ptr->draw(); // 调用Circle类中重写的draw函数 } ``` 纯虚函数是在父类中定义的没有实现的虚函数，使用纯虚函数声明（如virtual void func() = 0;）。父类中包含纯虚函数的类称为抽象类，抽象类不能被实例化，只能作为基类来派生子类。子类必须实现父类的纯虚函数才能实例化。例如： ```c++ class Shape { public: virtual void draw() = 0; }; class Circle : public Shape { public: void draw() override { std::cout << "Drawing a circle." << std::endl; } }; int main() { Shape* shape_ptr = new Circle(); shape_ptr->draw(); // 调用Circle类中重写的draw函数 } ```
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

二十5画生

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值