文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

波奇学C++:多态知识点

2023-09-12 07:33

关注

多态中函数的重写(基类指针访问派生类函数),只重写函数的实现,而不重写声明。

class Person{public: virtual void fun(int i = 0){cout << "Person"<<" "<fun();return 0;}

结果是 student 0 原因在于重写时只重写函数的实现,就是说相当于Person的fun的声明和Student的函数实现的拼在一起所以缺省值是0。

为什么多态调用(重写)只能用父类的指针和引用,不能子类指针或者引用,不能是父类对象?

如果是子类指针或者引用就不是多态调用了只是单存子类对父类的重定义,隐藏函数。

上一篇文章提到的,多态的本质就是基类和派生类的虚表中保存的虚函数地址被覆盖了,多态调用意味着访问的必须是子类的虚表而不是父类的。

子类对象直接赋值父类不会拷贝虚表虚函数的地址

上图为赋值前,下图为赋值后,如图他们的__vfptr始终不同,所以父类对象必然无法访问子类对象的虚函数的地址。

为什么指针和引用可以?

父类型指针表示它范围的范围是父类,所以它指向子对象时,本质上依然说访问子类的父类部分,虚表依然是子类的虚表。

引用同理,相当于切割出子类中父类的部分。本质上依然是子类的虚表。

为什么父类指针可以指向子类对象?可以指向意味着结构相似,原因在于,继承相当于把父对象一整个拷贝放在子对象中,结构相似也是向上转换的基础

虚表的存储在代码段

证明思路:输出各个区的地址和虚表的地址,进行比较,字节相差较少说明在哪个区。

int main(){Person p;Student st;int a = 1;printf("栈上:%x\n", &a);int* b = new int;printf("堆上:%x\n", b);static int c = 0;printf("静态区:%x\n", &c);const char* d = "abcde";printf("代码段:%x\n", d);printf("虚表1:%x\n", *((int*)&p));printf("虚表2:%x\n", *((int*)&st));return 0;}

注意打印对象是打印对象的成员变量的值,这里是因为__vptr内置变量(保存虚表地址)的在成员变量首位,所以可以打印出来,同时int* 是只取虚表的地址后四个字节(小端机),%x也是只打印地址的后4位字节。

通过比较可发现,虚表和代码段的位置更近,所以虚表在代码段中。

派生类新的虚函数保存在虚表中,原有虚函数的地址的下面

class Person{public: virtual void fun(int i = 0){cout << "Person"<<" "<

fun1()是Student的虚函数,fun1保存在子函数的虚表中

证明:虚表保存函数指针地址,虚表可以看成指针数组,所以我们可以把虚表的函数指针打印出来。

typedef void(*FUNC_PTR) ();//重定义函数指针类型//形参是数组,实参为数组指针void PrintVFT(FUNC_PTR table[]){    //vs会在虚表末尾保存一个空指针,所以循环到nullptr为止for (size_t i = 0; table[i] != nullptr; i++){printf("[%d]:%p\n", i, table[i]);}}int main(){Person ps;Student st;int vft1 = *((int*)&ps);//86位机器地址是32位转换成int*PrintVFT((FUNC_PTR*)vft1);int vft2 = *((int*)&st);PrintVFT((FUNC_PTR*)vft2);return 0;}

 如图上面为父类虚表保存的地址,下面为派生类虚表保存的指针地址。重写的虚函数覆盖了原有的地址,并且新地址在虚表内。

静态多态:指的是函数重载,指的是编译的时候函数地址确定了

动态多态:继承,虚函数重写,调用的函数地址的确定是在运行时去虚表中确定的

多继承的多态问题

typedef void(*FUNC_PTR) ();void PrintVFT(FUNC_PTR table[]){for (size_t i = 0; table[i] != nullptr; i++){printf("[%d]:%p", i, table[i]);FUNC_PTR f = table[i];f();printf("\n");}}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;};int main(){Derive d;cout << sizeof(d) << endl;int vft1 = *((int*)&d);Base2* ptr = &d;int vft2 = *((int*)ptr);PrintVFT((FUNC_PTR*)vft1);PrintVFT((FUNC_PTR*)vft2);return 0;}

下面代码的Derive继承了Base1和Base2,其中两个fun1()都被继承了。

打印结果

 为什么是20?

 因为是一整个对象继承,所以会存在两个虚表,base1,base2虚表指针+int变量 8+8+4=20

由上面的结果图可知fun1在两个虚表中被重写,且都调用了同一个函数。但是地址却不一样,

实际上调用虚表2的fun()的地址,会改变指针位置和虚表1fun()指针相同,再调用函数。

反汇编证明

b1,b2指针分别调用fun1(),反汇编,call指令进入func1函数,此时

注意此处fun1()的地址是0C92840h

调用base2的fun1虚表地址,此时地址是0C94670h

进入call指令,ecx-8,再jump向0C91244h地址最后到base1虚表的地址。

 

 简单来说指向base2部分的指针,先指向base1的,再调用指针1保存的重写函数的地址。

来源地址:https://blog.csdn.net/Bagayalu1234567/article/details/132762743

阅读原文内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯