多态的实现原理分析

当类里有一个函数被声明成虚函数后，创建这个类的对象的时候，就会自动加入一个__vfptr的指针，

__vfptr维护虚函数列表。如果有三个虚函数，则__vfptr指向的是第一个虚函数，

__vfptr+1指向的是第二个虚函数，__vfptr+2指向的是第三个虚函数。

当子类覆盖了父类的虚函数后，__vfptr+n就不是指向父类的虚函数了，而是指向的子类的函数。

所以当我们用父类的指针或者引用去调用被覆盖的虚函数时，才能够调用到子类的函数。

1.成员函数加上virtual修饰后，sizeof（类）的数字变大，即使有多个成员函数声明成虚函数，sizeof（类）的数字不会再变大。

加了virtual后，用GDB调试的时候，发现对象b下多了个_vptr

#include <iostream>

using namespace std;

class Base{

public:

  Base() : x(0){

  }

  ~Base(){

  }

  virtual void show(){

    cout << "Base show" << endl;

  }

private:

  int x;

};

int main(){

  cout << sizeof(Base) << endl;//16

  Base b;

}

没加virtual的效果：

#include <iostream>

using namespace std;

class Base{

public:

  Base() : x(0){

  }

  ~Base(){

  }

  void show(){

    cout << "Base show" << endl;

  }

private:

  int x;

};

int main(){

  cout << sizeof(Base) << endl;//4

  Base b;

}

2.声明了虚拟函数后，系统会自动维护一个指针_vptr，指向虚函数列表。

多态是通过虚函数列表实现的。

#include <iostream>

using namespace std;

class Base{

public:

  Base() : x(0){

  }

  ~Base(){

  }

  virtual void show(){

    cout << "Base show" << endl;

  }

  virtual void print(){

    cout << "Base print" << endl;

  }

  void fun(){

    cout << "Base fun" << endl;

  }

private:

  int x;

};

class D : public Base{

public:

  D() : y(0){

  }

  ~D(){

  }

  void show(){

    cout << "D show" << endl;

  }

  void fun(){

    cout << "D fun" << endl;

  }

  virtual void list(){

    cout << "D list" << endl;

  }

private:

  int y;

};

int main(){

  D d;

  d.fun();//调用子类的fun方法，父类的fun方法被隐藏了

  Base *pb = &d;

  pb->show();//调用子类的show方法，多态（覆盖）

  pb->fun();//调用父类的fun方法

  Base &fb = d;

  fb.show();//用子类的show方法，多态（覆盖）

  fb.fun();//调用父类的fun方法

}

3.虚函数表

3.1 单继承，无覆盖
#include <iostream>

using namespace std;

class Base{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class D : public Base{

  virtual void f1(){}

  virtual void g1(){}

  virtual void h1(){}

};

int main(){

  D d;

}

用GDB查看函数指针的方法：x/a 内存地址。查看下一个函数指针：x/a 内存地址+8

gdb的分析结果：

18	  D d;

(gdb) n

(gdb) p d

$2 = {<Base> = {_vptr.Base = 0x555555755d48 <vtable for D+16>}, <No data fields>}

(gdb) x/a 0x555555755d48

$3 = (long *) 0x555555554a06 <Base::f()>//虚函数表第1个地址

(gdb) x/a 0x555555755d48+8

$4 = (long *) 0x555555554a12 <Base::g()>//虚函数表第2个地址

(gdb) x/a 0x555555755d48+16

$5 = (long *) 0x555555554a1e <Base::h()>//虚函数表第3个地址

(gdb) x/a 0x555555755d48+24

$6 = (long *) 0x555555554a2a <D::f1()>//虚函数表第4个地址

(gdb) x/a 0x555555755d48+32

$7 = (long *) 0x555555554a36 <D::g1()>//虚函数表第5个地址

(gdb) x/a 0x555555755d48+40

$8 = (long *) 0x555555554a42 <D::h1()>//虚函数表第6个地址

(gdb) x/a 0x555555755d48+48

$9 = (long *) 0x7ffff7dc7438 <vtable for __cxxabiv1::__si_class_type_info+16>
3.2 单继承，覆盖
#include <iostream>

using namespace std;

class Base{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class D : public Base{

  virtual void f(){}

  virtual void g1(){}

  virtual void h1(){}

};

int main(){

  D d;

}

gdb的分析结果：

18	  D d;

(gdb) n

(gdb) p d

$1 = {<Base> = {_vptr.Base = 0x555555755d50 <vtable for D+16>}, <No data fields>}

(gdb) p (long*)*((long*)0x555555755d50)

$2 = (long *) 0x555555554a0e <D::f()>//虚函数表第1个地址(变成了子类的f())

(gdb) p (long*)*((long*)0x555555755d50+1)

$3 = (long *) 0x5555555549f6 <Base::g()>//虚函数表第2个地址

(gdb) p (long*)*((long*)0x555555755d50+2)

$4 = (long *) 0x555555554a02 <Base::h()>//虚函数表第3个地址

(gdb) p (long*)*((long*)0x555555755d50+3)

$5 = (long *) 0x555555554a1a <D::g1()>//虚函数表第4个地址

(gdb) p (long*)*((long*)0x555555755d50+4)

$6 = (long *) 0x555555554a26 <D::h1()>//虚函数表第5个地址

(gdb) p (long*)*((long*)0x555555755d50+5)

$7 = (long *) 0x7ffff7dc7438 <vtable for __cxxabiv1::__si_class_type_info+16>
3.3 多继承，不覆盖
#include <iostream>

using namespace std;

class Base{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class Base1{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class Base2{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class D : public Base,public Base1,public Base2{

  virtual void f1(){}

  virtual void g1(){}

  virtual void h1(){}

};

int main(){

  D d;

}

gdb的分析结果：

29	  D d;

(gdb) n

(gdb) p d

$1 = {<Base> = {_vptr.Base = 0x555555755ca8 <vtable for D+16>}, <Base1> = {

    _vptr.Base1 = 0x555555755ce8 <vtable for D+80>}, <Base2> = {

    _vptr.Base2 = 0x555555755d10 <vtable for D+120>}, <No data fields>}

(gdb) p (long*)*((long*)0x555555755ca8)

$3 = (long *) 0x555555554b6c <Base::f()>//虚函数表(Base)第1个地址

(gdb) p (long*)*((long*)0x555555755ca8+1)

$4 = (long *) 0x555555554b78 <Base::g()>//虚函数表(Base)第2个地址

(gdb) p (long*)*((long*)0x555555755ca8+2)

$5 = (long *) 0x555555554b84 <Base::h()>//虚函数表(Base)第3个地址

(gdb) p (long*)*((long*)0x555555755ca8+3)

$6 = (long *) 0x555555554bd8 <D::f1()>//虚函数表(Base)第4个地址

(gdb) p (long*)*((long*)0x555555755ca8+4)

$7 = (long *) 0x555555554be4 <D::g1()>//虚函数表(Base)第5个地址

(gdb) p (long*)*((long*)0x555555755ca8+5)

$8 = (long *) 0x555555554bf0 <D::h1()>//虚函数表(Base)第6个地址

(gdb) p (long*)*((long*)0x555555755ca8+6)

$9 = (long *) 0xfffffffffffffff8

(gdb) p (long*)*((long*)0x555555755ce8)

$10 = (long *) 0x555555554b90 <Base1::f()>//虚函数表(Base1)第1个地址

(gdb) p (long*)*((long*)0x555555755ce8+1)

$11 = (long *) 0x555555554b9c <Base1::g()>//虚函数表(Base1)第2个地址

(gdb) p (long*)*((long*)0x555555755ce8+2)

$12 = (long *) 0x555555554ba8 <Base1::h()>//虚函数表(Base1)第3个地址

(gdb) p (long*)*((long*)0x555555755ce8+3)

$13 = (long *) 0xfffffffffffffff0

(gdb) p (long*)*((long*)0x555555755d10)

$14 = (long *) 0x555555554bb4 <Base2::f()>//虚函数表(Base2)第1个地址

(gdb) p (long*)*((long*)0x555555755d10+1)

$15 = (long *) 0x555555554bc0 <Base2::g()>//虚函数表(Base2)第2个地址

(gdb) p (long*)*((long*)0x555555755d10+2)

$16 = (long *) 0x555555554bcc <Base2::h()>//虚函数表(Base2)第3个地址

(gdb) p (long*)*((long*)0x555555755d10+3)

$17 = (long *) 0x7ffff7dc74f8 <vtable for __cxxabiv1::__vmi_class_type_info+16>
3.4 多继承，覆盖
#include <iostream>

using namespace std;

class Base{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class Base1{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class Base2{

public:

  virtual void f(){}

  virtual void g(){}

  virtual void h(){}

};

class D : public Base,public Base1,public Base2{

  virtual void f(){}

  virtual void g1(){}

  virtual void h1(){}

};

int main(){

  D d;

}

gdb的分析结果：

29	  D d;

(gdb) n

(gdb) p d

$1 = {<Base> = {_vptr.Base = 0x555555755cb0 <vtable for D+16>}, <Base1> = {

    _vptr.Base1 = 0x555555755ce8 <vtable for D+72>}, <Base2> = {

    _vptr.Base2 = 0x555555755d10 <vtable for D+112>}, <No data fields>}

(gdb) p (long*)*((long*)0x555555755cb0)

$2 = (long *) 0x555555554ba4 <D::f()>//虚函数表(Base)第1个地址(变成了子类的f())

(gdb) p (long*)*((long*)0x555555755cb0+1)

$3 = (long *) 0x555555554b5c <Base::g()>//虚函数表(Base)第2个地址

(gdb) p (long*)*((long*)0x555555755cb0+2)

$4 = (long *) 0x555555554b68 <Base::h()>//虚函数表(Base)第3个地址

(gdb) p (long*)*((long*)0x555555755cb0+3)

$5 = (long *) 0x555555554bbc <D::g1()>//虚函数表(Base)第4个地址

(gdb) p (long*)*((long*)0x555555755cb0+4)

$6 = (long *) 0x555555554bc8 <D::h1()>//虚函数表(Base)第5个地址

(gdb) p (long*)*((long*)0x555555755cb0+5)

$7 = (long *) 0xfffffffffffffff8

(gdb) p (long*)*((long*)0x555555755ce8)

$8 = (long *) 0x555555554bb5 <non-virtual thunk to D::f()>//虚函数表(Base1)第1个地址(变成了子类的f())

(gdb) p (long*)*((long*)0x555555755ce8+1)

$9 = (long *) 0x555555554b74 <Base1::g()>//虚函数表(Base1)第2个地址

(gdb) p (long*)*((long*)0x555555755ce8+2)

$10 = (long *) 0x555555554b80 <Base1::h()>//虚函数表(Base1)第3个地址

(gdb) p (long*)*((long*)0x555555755ce8+3)

$11 = (long *) 0xfffffffffffffff0

(gdb) p (long*)*((long*)0x555555755d10)

$12 = (long *) 0x555555554baf <non-virtual thunk to D::f()>//虚函数表(Base2)第1个地址(变成了子类的f())

(gdb) p (long*)*((long*)0x555555755d10+1)

$13 = (long *) 0x555555554b8c <Base2::g()>//虚函数表(Base2)第2个地址

(gdb) p (long*)*((long*)0x555555755d10+2)

$14 = (long *) 0x555555554b98 <Base2::h()>//虚函数表(Base2)第3个地址

(gdb) p (long*)*((long*)0x555555755d10+3)

$15 = (long *) 0x7ffff7dc74f8 <vtable for __cxxabiv1::__vmi_class_type_info+16>

c/c++ 多态的实现原理分析的更多相关文章

  1. 从虚拟机指令执行的角度分析JAVA中多态的实现原理

    从虚拟机指令执行的角度分析JAVA中多态的实现原理 前几天突然被一个"家伙"问了几个问题,其中一个是:JAVA中的多态的实现原理是什么? 我一想,这肯定不是从语法的角度来阐释多态吧 ...

  2. 【C#多态】as 类型检测（原理分析） ---用于多态检

    as(OpCodes.Castclass)功能:测试对象引用(O 类型)是否为特定类的实例.相当于:expression is type ? (type)expression : (type)null ...

  3. C++学习笔记-多态的实现原理

    深入了解多态的实现原理,有助于提高对于多态的认识 多态基础 多态的实现效果 多态:同样的调用语句有多种不同的表现形态 多态实现的三个条件 有继承.有virtual重写.有父类指针(引用)指向子类对象 ...

  4. AIDL原理分析

    季春初始,天气返暖,新冠渐去,正值学习好时机.在Android系统中,AIDL一直在Framework和应用层上扮演着很重要的角色,今日且将其原理简单分析.(文2020.03.30) 一.开篇介绍 1 ...

  5. Handler系列之原理分析

    上一节我们讲解了Handler的基本使用方法,也是平时大家用到的最多的使用方式.那么本节让我们来学习一下Handler的工作原理吧!!! 我们知道Android中我们只能在ui线程(主线程)更新ui信 ...

  6. Java NIO使用及原理分析（1-4）（转）

    转载的原文章也找不到!从以下博客中找到http://blog.csdn.net/wuxianglong/article/details/6604817 转载自:李会军•宁静致远 最近由于工作关系要做一 ...

  7. 原子类java.util.concurrent.atomic.*原理分析

    原子类java.util.concurrent.atomic.*原理分析 在并发编程下,原子操作类的应用可以说是无处不在的.为解决线程安全的读写提供了很大的便利. 原子类保证原子的两个关键的点就是:可 ...

  8. c++编译器对多态的实现原理总结

    问题:定义一个空的类型,里面没有任何的成员变量或者成员函数,对这个类型进行 sizeof 运算,结果是? 结果是1,因为空类型的实例不包含任何信息,按道理 sizeof 计算之后结果是0,但是在声明任 ...

  9. Android中Input型输入设备驱动原理分析(一)

    转自:http://blog.csdn.net/eilianlau/article/details/6969361 话说Android中Event输入设备驱动原理分析还不如说Linux输入子系统呢,反 ...

随机推荐

  1. 【原创】深入理解c++的右值引用

    0 左值和右值     一个左值表达式代表的是对象本身,而右值表达式代表的是对象的值:变量也是左值.   1 右值引用作用 为了支持移动操作(包括移动构造函数和移动赋值函数),C++才引入了一种新的引 ...

  2. 【转载】LINUX 和 WINDOWS 内核的区别

    LINUX 和 WINDOWS 内核的区别 [声明:欢迎转载,转载请注明出自CU ACCESSORY http://linux.chinaunix.net/bbs/thread-1153868-1-1 ...

  3. 【原创】Python第一章

    Python总是从第一行代码开始逐步执行,而C是从main函数开始执行.       在Python中,一切东西都是对象.   在Python中,没有C的花括号,不能任意排版,属于同一个语句块的语句需 ...

  4. ES6躬行记（11）——对象

    在第5篇中,讲解了多个对象字面量的改进,本节将重点介绍两个新增的静态方法,以及对象属性的重复处理和枚举顺序. 一.Object.is() 此方法用于判断两个值是否相同,内部实现了SameValue算法 ...

  5. springboot情操陶冶-@SpringBootApplication注解解析

    承接前文springboot情操陶冶-@Configuration注解解析,本文将在前文的基础上对@SpringBootApplication注解作下简单的分析 @SpringBootApplicat ...

  6. 定时备份 MySQL 并上传到七牛

    多数应用场景下,我们需要对重要数据进行备份.并放置到一个安全的地方,以备不时之需. 常见的 MySQL 数据备份方式有,直接打包复制对应的数据库或表文件(物理备份).mysqldump 全量逻辑备份. ...

  7. 第6章 LVM详解

    6.1 LVM相关概念和机制 LVM(Logical Volume Manager)可以让分区变得弹性,可以随时随地的扩大和缩小分区大小,前提是该分区是LVM格式的. lvm需要使用的软件包为lvm2 ...

  8. 为Spring Cloud Config插上管理的翅膀

    最近一致在更新Spring Cloud Config的相关内容,主要也是为这篇埋个伏笔,相信不少调研过Spring Cloud Config的用户都会吐槽它的管理能力太弱.因此,就有了下面为讲推荐的这 ...

  9. NPOI导出EXCEL报_服务器无法在发送 HTTP 标头之后追加标头

    虽然发表了2篇关于NPOI导出EXCEL的文章,但是最近再次使用的时候,把以前的代码粘贴过来,居然报了一个错误: “服务器无法在发送 HTTP 标头之后追加标头” 后来也查询了很多其他同学的文章,都没 ...

  10. 微信开发中网页授权access_token与基础支持的access_token异同 【转载、收藏】

    问题1:网页授权access_token与分享的jssdk中的access_token一样吗? 答:不一样.网页授权access_token 是一次性的,而基础支持的access_token的是有时间 ...