多态的实现原理分析

当类里有一个函数被声明成虚函数后，创建这个类的对象的时候，就会自动加入一个__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. 三大主流软件负载均衡器对比(LVS VS Nginx VS Haproxy)

    LVS:1.抗负载能力强.抗负载能力强.性能高,能达到F5硬件的60%:对内存和cpu资源消耗比较低2.工作在网络4层,通过vrrp协议转发(仅作分发之用),具体的流量由linux内核处理,因此没有流 ...

  2. TensorFlow的图切割模块——Graph Partitioner

    背景 [作者:DeepLearningStack,阿里巴巴算法工程师,开源TensorFlow Contributor] 在经过TensorFlow的Placer策略模块调整之后,下一步就是根据Pla ...

  3. Perl正则表达式引用

    正则表达式两篇: 基础正则 Perl正则 本文是对Perl正则的一点扩展,主要内容是使用qr//创建正则对象,以及一些其它的技巧. qr//创建正则对象 因为可以在正则模式中使用变量替换,所以我们可以 ...

  4. Perl面向对象(3)：解构——对象销毁

    本系列: Perl面向对象(1):从代码复用开始 Perl面向对象(2):对象 Perl面向对象(3):解构--对象销毁 第3篇依赖于第2篇,第2篇依赖于1篇. perl中使用引用计数的方式管理内存, ...

  5. Flask入门第一天

    一.flask介绍 flask诞生于2010年,是Armin ronacher用python语言基于Werkzeug工具箱编写的轻量级web开发框架.flask本身相当于一个内核,其他所有的功能都需要 ...

  6. eclipse如何将项目上传到码云

    把Eclipse项目上传到码云的步骤: 一.将代码提交到本地 1.登录码云:新建项目 2.输入项目名: 3.空项目创建成功如下图: 4.右键点击Eclipse的项目,选择“Team”——>“Sh ...

  7. 【动画】看动画轻松理解「Trie树」

    Trie树 Trie这个名字取自“retrieval”,检索,因为Trie可以只用一个前缀便可以在一部字典中找到想要的单词. 虽然发音与「Tree」一致,但为了将这种 字典树 与 普通二叉树 以示区别 ...

  8. [转]WEB页获取串口数据

    本文转自:https://www.cnblogs.com/rockyhm/p/3434200.html 最近做一个B/S的项目,需要读取电子秤的值,之前一直没做过,也没有经验,于是在网上找到很多  大 ...

  9. C# Parallel用法

    1.Parallel.Invoke 主要用于任务的并行 这个函数的功能和Task有些相似,就是并发执行一系列任务,然后等待所有完成.和Task比起来,省略了Task.WaitAll这一步,自然也缺少了 ...

  10. 4.1 explain 之 id

    一.id 是什么 select 查询的序列化,包含一组数字,表示查询中执行select子句或操作的顺序 二.三种情况 a. id相同,执行顺序由上至下 b. 如果是子查询,id的序号会递增,id值越大 ...