在C++继承模型中,一个派生类对象表现出来的东西,是其自己的成员加上其基类成员的总和。但这些成员怎样摆放,标准并未强制规定。一般而言,低地址放基类子对象,高地址放派生类对象。

以下从四个部分讨论C++继承模型:
  • 单一继承不含虚函数
  • 单一继承并含虚函数
  • 多重继承
  • 虚拟继承
1、单一继承不含虚函数

watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbmVzdGxlcg==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="" />

这样的继承关系非常easy,基类子对象包括在了派生类对象中。在内存中连续存放。但有一点须要注意,把类分解成多层可能会造成空间的膨胀。比如:
  1. #include <iostream>
  2. #include <vector>
  3. using namespace std;
  4. class Foo {
  5. public:
  6. int val;
  7. char bit1, bit2, bit3;
  8. };
  9. class A {
  10. public:
  11. int val;
  12. char bit1;
  13. };
  14. class B : public A {
  15. public:
  16. char bit2;
  17. };
  18. class C : public B {
  19. public:
  20. char bit3;
  21. };
  22. int main()
  23. {
  24. cout << "size Foo = " << sizeof(Foo) << endl;
  25. cout << "size C = " << sizeof(C) << endl;
  26. system("pause");
  27. return 0;
  28. }
执行结果:
两个类中包括同样的成员。空间却差了一倍。这是由于基类须要边界对齐的缘故。C++语言保证,出如今派生类中的基类子对象有其完整原样性。这是关键所在。为什么要使用这样牺牲空间的布局?原因是在对象之间拷贝时。仅仅对子对象进行成员拷贝而不影响派生类中的成员。

2、单一继承并含虚函数
基类中有虚函数。那么编译器会给基类生成一个virtual function table和一个vptr。派生类会继承此vptr,但不会指向同样的virtual function table,而是指向自己的virtual function table。毕竟派生类一般都会重写从基类继承的虚函数。

关于vptr的摆放位置,要视编译器而定,要么放在对象开头,要么放在对象结尾。

我手头的VS2013就把vptr放在了对象的开头处。

能够看到,派生类Point3d中的vptr属于Point2d子对象。所以当一个基类指针指向派生类时,能够顺利取得这个vptr然后调用所需的虚函数以表现多态性。
以下做个实验:
  1. #include <iostream>
  2. #include <vector>
  3. using namespace std;
  4. class Foo {
  5. public:
  6. int x;
  7. };
  8. class Bar : public Foo {
  9. public:
  10. int y;
  11. virtual void func()
  12. {}
  13. };
  14. int main()
  15. {
  16. Bar bar;
  17. cout << &bar << endl;
  18. cout << &bar.x << endl;
  19. cout << &bar.y << endl;
  20. system("pause");
  21. return 0;
  22. }
执行结果:

watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvbmVzdGxlcg==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="" />

Foo类没有虚函数。也就没有vptr。而派生类Bar有虚函数,编译器把它的vptr插在了类的开头处,先于基类成员摆放。
3、多重继承
对一个多重派生对象,将其地址指定给派生列表“最左端”的基类指针,情况将和单一继承时同样。由于二者都指向同样的起始地址。

对后继的基类指针的赋值,须要由编译器负责加上一个偏移地址。

比如有例如以下继承结构:
它的数据分布有可能例如以下:

如果有例如以下定义:
  1. Vertex3d v3d;
  2. Vertex *pv;
  3. Point2d *p2d;
  4. Point3d *p3d;
操作例如以下:
  1. pv = &v3d;
  2. p2d = &v3d;
  3. p3d = &v3d;
对第一种赋值操作,编译器会产生相似以下的伪代码:
pv = (Vertex *)(((char *)&v3d) + sizeof(Point3d));
由于从布局图能够看出,指向Vertex的指针须要跳过开头的Point3d部分才干指向数据自己的子对象。然后。对第二和第三种赋值操作,仅仅须要简单地拷贝其地址就好,由于Point2d指针和Point3d指针都指向对象v3d的起始地址。
4、虚拟继承
由于虚拟基类是共享的,所以在各个派生类中必须要由编译器加入某种信息,用来保存共享的虚拟基类的地址。

关于怎样加入,各个编译器厂家的实现都有所不同,并且在未来也会有更新,这里就不详细说明了。

除了通过对象来存取虚基类中的成员之外。通过指针和引用都会引起执行成本上的额外开销。一般而言。虚基类最有效的一种运用形式就是:一个抽象的虚基类,没有不论什么数据成员。

參考:
《深度探索C++对象模型》 P99-P123.
  1.  

C++继承模型的更多相关文章

  1. Entity Framework 6 Recipes 2nd Edition(10-6)译 -> TPT继承模型中使用存储过程

    10-6. TPT继承模型中使用存储过程 问题 想在一个TPT继承模型中使用存储过程 解决方案 假设已有如Figure 10-6所示模型. 在模型里, Magazine(杂志) and DVD继承于基 ...

  2. Entity Framework 6 Recipes 2nd Edition(10-7)译 -> TPH继承模型中使用存储过程

    10-7. TPH继承模型中使用存储过程 问题 用一个存储过程来填充TPH继承模型的实体 解决方案 假设已有如Figure 10-7所示模型. 我们有两个派生实体: Instructor(教员)和St ...

  3. Entity Framework 6 Recipes 2nd Edition(13-1)译 -> 优化TPT继承模型的查询

    问题 你想提高在一个TPT继承模型里的查询 解决方案 让我们假设有一个简单的TPT继承模型,如图Figure 13-1 Figure 13-1. A simple Table per Type inh ...

  4. Nginx 配置继承模型

    要了解nginx的继承模型,首先需要知道nginx使用多个配置块进行操作.在nginx中,这样的块被称为上下文,例如,放置在服务器上下文中的配置指令驻留在server { }块中,就像放置在http上 ...

  5. 浏览器环境下的javascript DOM对象继承模型

    这张图是我直接在现代浏览器中通过prototype原型溯源绘制的一张浏览器宿主环境下的javascript DOM对象模型,对于有效学习和使用javascript DOM编程起到高屋建瓴的指导作用, ...

  6. Odoo中的模型继承、视图继承、Qweb模板继承详解

    转载请注明原文地址:https://www.cnblogs.com/ygj0930/p/10826114.html 在实际开发过程中,经常会遇到需要修改Odoo原生逻辑的情况.然而,直接修改Odoo底 ...

  7. Django继承drf的user模型的demo

    1.安装虚拟环境 #mkvirtualenv drfdemo -p python3 #pip install django #pip install djangorestframework #pip ...

  8. Entity Framework 6 Recipes 2nd Edition(10-10)译 - > 为TPH继承的插入、更新、删除操作映射到存储过程

    10-10. 为TPH继承的插入.更新.删除操作映射到存储过程 问题 TPH继承模型,想把它的插入.修改.删除操作映射到存储过程 Solution 假设数据库有一个描述不同种类的产品表(Product ...

  9. 《Entity Framework 6 Recipes》中文翻译系列 (36) ------ 第六章 继承与建模高级应用之TPC继承映射

    翻译的初衷以及为什么选择<Entity Framework 6 Recipes>来学习,请看本系列开篇 6-12  TPC继承映射建模 问题 你有两张或多张架构和数据类似的表,你想使用TP ...

随机推荐

  1. wpa wp2 psk的配置方式

    For WPA-PSK ctrl_interface=/var/run/wpa_supplicant ctrl_interface_group=0 eapol_version=1 fast_reaut ...

  2. JS 数组以及对象的深拷贝总结

    javascript 数组以及对象的深拷贝(复制数组或复制对象)的方法 前言 在js中,数组和对象的复制如果使用=号来进行复制,那只是浅拷贝.如下图演示:  如上,arr的修改,会影响arr2的值,这 ...

  3. PHP libevent扩展安装

    libevent是一个基于事件驱动的高性能网络库.支持多种 I/O 多路复用技术, epoll. poll. dev/poll. select 和 kqueue 等:支持 I/O,定时器和信号等事件: ...

  4. python文件编码说明 coding=utf-8

    python 支持3种编码声明,一般常用能见到下面两种 1.# -*- coding: utf-8 -*- 这种写法是为了兼容Emacs的编码声明 2.短一点,但Emacs不能用# coding=ut ...

  5. js学习笔记23----窗口尺寸及窗口事件

    窗口尺寸: 可视区的尺寸 document.documentElement.clientWidth document.documentElement.clientHeight 滚动距离 documen ...

  6. .bss,.data,.text,.rodata

    那天工作时候发现build的时候发现问题, 问题内容是:.text的空间太小了. 我一直以为写代码,就真是弄懂代码怎么写,式样书怎么写,或者弄懂代码的问题所在, 没有想到在build的时候出现问题.结 ...

  7. bootstrap基础学习八篇

    bootstrap辅助类 a.对于文本颜色 以下不同的类展示了不同的文本颜色.如果文本是个链接鼠标移动到文本上会变暗: 类 描述 .text-muted "text-muted" ...

  8. jQuery实现鼠标悬停显示提示信息窗口的方法

    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/ ...

  9. sap screen design

    定义屏幕:     SAP 系统中的屏幕包含:         标准屏幕:         选择屏幕:         列表输出屏幕: 1. 标准屏幕必须隶属于一个类型为 L, M 或 F 的ABAP ...

  10. Math.max得到数组中最大值

    Math.max(param1,param2) 因为参数不支持数组. 所以可以根据apply的特点来解决, var max = Math.max.apply(null,array),这样就可以轻易的得 ...