您当前的位置:首页 > 电脑百科 > 程序开发 > 语言 > C/C++/C#

c++对象模型

时间:2019-11-07 10:03:44  来源:  作者:

使用c++有些年头了,有一本深度搜索c++对象模型的书写的很赞,很经典。本文是本书的读书笔记。

关于对象

加上封装后的布局成本

C语言中如下声明一个结构体

typedef struct point3d{ float x; float y; float z;}Point3d;

struct point3d 转化为class Point3d之后

class Point3d
{
 public:
 Point3d(float x = 0.0f, float y = 0.0f; float z = 0.0f)
 :_x(x),_y(y),_z(z){}
 private:
 float _x,_y,_y;
}

封装带来的布局成本增加了多少?实际是没有增加布局成本的。3个数据成员直接在class object内,member function在classs声明却不出现在class object中,所谓布局的成本主要由virtual引起的。

virtual function 机制用以支持运行时绑定(运行时多态)

virtual base class 机制支持多次出现在集成体系中的base class有一个单一的被共享的实例。

基本c++对象模型

nostatic data members 被配置在class object之内,static data member存放在class object之外.

static 和nostatic function memners放在class object之外

virtual function的处理步骤:

  1. 每个class产生出一堆指向virtual functions的指针,放在表格中,这个表格称为虚表virtual table
  2. 每个class object 安插一个虚表指针vptr指向虚表(virtual table).
  3. vptr的设定和重置都由每个class的构造函数、拷贝赋值运算符、析构函数自动完成,每个class所关联的type_info object (用以支持runtime type identification, RTTI)也经由virtual table被指出,通常放在virtual table的第一个slot.

声明一个class Point然后查看其对象模型

class Point
{
 public:
 Point(float x);
 virtual ~Point();
 float x() const;
 static int PointCount();
 protected:
 virtual ostream& print(ostream& os) const;
 float _x;
 static int _point_count;
}
c++对象模型

 

加上继承

c++支持单一继承和多重继承.base class subobject的data members直接被放置在derived class object,也就是说子类对象中包含基类子对象.基类成员的改变都会导致继承类重新编译.对于虚基类则是扩展子类自己的vittual table维护virtual base class的位置。

class istream : virtual public IOS{...};
class ostream : virtual public ios{...};
class iostream : public istream, public ostream{...};

在虚拟继承的情况下base class 不管在继承链中被派生多少次,永远只有一个实例存在即一个subobject.iostream之中只有virtual ios base class的一个实例.

NRV优化

函数返回基本是数据类型或者指针类型是通过eax寄存器进行传递的,返回对象对象则会进行命名返回值优化.以外部引用传参的形式去掉函数内部的局部对象构造。

X foo(){
 X xx
 X* px = new X();
 xx.foo(); //func是一个虚函数
 px->foo()
 delete px;
 rerurn xx
}

如上函数有可能内部转化为如下代码:

void foo(X &result){
 _result.X::X();
 px = _new(sizeof(X));
 if(px != 0){ px->X::X(); }
 func(&_result);//这里涉及到成员函数的语义
 (*px->vtbl[2])(px) //使用virtual机制扩展px->func()
 if(px != 0) {
 (*px->[1])(px); //扩展delete px
 _delete(p)
 }
 return; 
}
c++对象模型

 

指针类型

  • 指针类型会指导编译器如何解释某个特定地址中内容及其大小
  • void*的指针只能够持有一个地址,而不能够通过他操作他所指向的object
  • cast是一种编译指令它不改变一个指针的内容,只影响被指出的大小和其内容的解释方式
  • c++通过引用或者指针的方式支持多态,是因为他们不会引发任何与类型有关的内存委托,
  • 当一个基类对象直接被初始化为一个子类对象是,子类对象会被切割以放入base type的内存中

构造函数语义学

默认构造函数被合成出来执行编译器的所需操作

如果类class A含有一个以上的类成员对象,编译器会扩张构造函数,在构造函数中安插代码,以成员类的声明顺序调用每个成员类的默认构造函数,这些代码被安插在用户代码之前.

有四种情况会造成编译器为未声明构造函数的类合成一个默认的构造函数,接着调用member object或者base class的默认构造函数,完成虚函数和虚基类机制。

  1. 带有默认构造函数的成员类对象
  2. 带有默认构造函数的基类
  3. 带有virtual function的类,用来初始化vptr
  4. 带有virtual base class的类,用来初始化vptr

拷贝构造函数

类中没有任何member或者base class object带有拷贝构造函数,也没有任何的虚函数和虚基类,默认情况下 对象的初始化会展示按位拷贝,这样效率很高且安全.

当对一个object做显示初始化或者object被当做参数交给函数时以及函数返回一个object时(传参、返回值、初始化)构造函数会被调用。

copy 构造函数不展现按位逐次拷贝的时候有编译器产生出来,有四种情况不展现:

  1. 当成员类中生命有copy constructor
  2. 当基类中存在copy constructor
  3. 类中含有virtual function
  4. 类有virtual base class

1、2中编译器讲member或者bass class的拷贝构造哈数的调用安插到合成的拷贝构造函数中;3,4是为了对vptr重新初始化.

在构造函数中调用memset或者memcopy会使vptr设置为0

class Shape{
 public:
 Shape(){ memset(this, 0, sizeof(Shape);)}
 virtual ~Shape();
}

编译器扩充构造函数的内容如下:

//扩充后的构造函数
Shape::Shape(){
 //vptr在用户代码之前被设定
 __vptr__Shape = __vtbl__Shape;
 //memset 会使vptr清0
 memset(this, 0, sizeof(Shape));
}

初始化成员列表

编译器会操作初始化列表,以成员的声明顺序子构造函数内部在用户代码之前安插初始化代码. 当类含有一下四种情况的时候会需要使用成员初始化列表:

  1. 初始化一个引用成员
  2. 初始化一个constchengyuan
  3. 基类构造函数拥有参数
  4. 成员类构造函数拥有参数

Data语义学

数据成员的布局

class X{};一个空类它隐藏1byte的大小,他是被编译器安插进去的一个char,这使得这一class的两个object在内存中配置有独一无二的地址.

非静态的数据成员直接存放在每一个类对象中,对于继承而来的费静态成员也是如此。静态数据成员则放在程序的全局数据段,且只存在一份数据实例.

对成员函数的分析,会在整个class声明完成之后才会出现.

在同一个访问段中member的排列要符合较晚出现的成员在对象中有较高的地址,多个访问段中的数据成员是自由排列的.

数据成员的访问

  1. 静态数据成员只有一个实例放在程序的数据段,编译器会对每一个静态数据成员进行编码以获得一个独一无二的识别码
  2. 非静态数据成员,会使用隐式类对象机制访问数据(this指针)成员函数的参数中隐藏了一个隐式对象指针.
  3. 指向数据成员的指针,其offset值总是被加上1,这样可以使编译系统区分出“一个指向数据成员的指针,用以指出第一个成员”和“一个指向数据成员的指针,没有指出任何成员”.

单一继承无virtual function下的内存布局

单一继承下无布局情况下class和struct的布局是一样的.

c++对象模型

 

单一继承有virtaual function下的内存布局

c++对象模型

 

Point3d中含有基类的子对象Point2d subobject,子类数据成员放置在基类子对象之后。

多重继承下的数据布局

类体系如下

class Point2d
{
 public:
 virtual ~Point2d(){};
 protected:
 float _x,_y;
};
class Point3d : public Point2d
{
 public:
 //...
 protected:
 float _z;
};
class Vertex
{
 public:
 virtual ~Vertex(){};
 protected:
 Vertex *next;
}
class Vertex3d: public Point3d, public Vertex
{
 public:
 //...
 protected:
 float mumble;
}
c++对象模型

 

要存取第二个基类中的数据成员,将会是怎样的情况需要付出额外的成本吗?不 ,成员的位置在编译期就时就固定了,因此存取数据成员知识一个简单的offset操作,就像单一继承一样简单--不管是经由一个指针或者引用或者是一个对象来存取.

虚拟继承

对于虚拟继承主要的问题是如何存取class的共享部分,虚拟继承使用两种策略来实现:指针策略和offset策略.

指针策略

为了指出共享类对象每个子类对象安插一些指针,每个指针指向虚基类。

c++对象模型

 

进一步的优化策略的实现:每一个class object如果有一个或者多个virtual base classes,就会由编译器安插一个指针指向virtual base class table.真正的虚基类指针放在虚基类表中.

offset策略

在虚函数表中放置虚基类的offset.

c++对象模型

 

Function语义学

虚函数

基类的指针或者引用寻址出一个子类对象,虚函数分配表格索引,vptr指向virtual table, virtual table中存放虚函数指针.

inline函数

inline是一个请求,编译器解说就必须认为它用一个表达式合理的将这个函数扩展开来,扩展期间使用实参代替形参,局部变量在封装的区域内名字唯一.

函数的调用方式

  1. 非静态成员函数
  2. 改函数签名安插this指针,变为一个非成员函数,可以使类对象调用.
  3. 调用对非静态成员的存取有this指针完成
  4. 通过name-maping 改为一个外部函数
float Point3d::getX()const{...}
extern getX_Point3dFv(const Point3d* this)
obj.getX()
等价于 getX_Point3dFv(&obj)
ptr->getX()
等价于
getX_Point3dFv(ptr)
  1. 静态成员函数 被转为非成员函数,不能访问非静态成员没有this指针
  2. 虚成员函数 (*ptr->vptr[1])(ptr) 通过拿到徐表中虚函数地址传入this指针来调用

构造、拷贝、析构语义学

构造函数的扩充

顺序: 先父类后成员最后自己的调用方式.

vptr的初始化在所有base 类构造之后,初始化列表之前(程序代码)

  1. 虚基类的构造函数被调用从左到右从深到浅
  2. 基类的构造函数被调用,按照基类的生命顺序
  3. 设置vptr的指针初值,初始化虚函数表
  4. 成员函数的初始化列表被放在构造偶函数内部以成员类的声明顺序,么有构造函数则调用合成的默认的构造函数
  5. 构造自己,执行user code

析构函数

按照上面相反的顺序调用 先自己析构然后类成员对象析构然后重置vptr然后基类析构然后虚基类析构

拷贝构造

拷贝构造函数和拷贝复制运算符



Tags:c++   点击:()  评论:()
声明:本站部分内容及图片来自互联网,转载是出于传递更多信息之目的,内容观点仅代表作者本人,如有任何标注错误或版权侵犯请与我们联系(Email:2595517585@qq.com),我们将及时更正、删除,谢谢。
▌相关推荐
一、编程语言1.根据熟悉的语言,谈谈两种语言的区别?主要浅谈下C/C++和PHP语言的区别:1)PHP弱类型语言,一种脚本语言,对数据的类型不要求过多,较多的应用于Web应用开发,现在好多互...【详细内容】
2021-12-15  Tags: c++  点击:(17)  评论:(0)  加入收藏
函数调用约定(Calling Convention),是一个重要的基础概念,用来规定调用者和被调用者是如何传递参数的,既调用者如何将参数按照什么样的规范传递给被调用者。在参数传递中,有两个很...【详细内容】
2021-11-30  Tags: c++  点击:(19)  评论:(0)  加入收藏
一、为什么需要使用内存池在C/C++中我们通常使用malloc,free或new,delete来动态分配内存。一方面,因为这些函数涉及到了系统调用,所以频繁的调用必然会导致程序性能的损耗;另一...【详细内容】
2021-11-17  Tags: c++  点击:(38)  评论:(0)  加入收藏
C++编程中,你是否有为 我到底该写个struct还是class 而苦恼过?如果你到现在还不知道该如何选择,那么请求继续阅读,下文或许能给你些建议。问题的产生C++语言继承了 C语言的 stru...【详细内容】
2021-10-18  Tags: c++  点击:(63)  评论:(0)  加入收藏
C++在C的面向过程概念的基础上提供了面向对象和模板(泛型编程)的语法功能。下面以一个简单实例(动态数组的简单封装,包括下标的值可以是任意正数值,并提供边界检查)来说明C++是如...【详细内容】
2021-10-18  Tags: c++  点击:(50)  评论:(0)  加入收藏
0 前言Hello,大家好,欢迎来到『自由技艺』的 C++ 系列专题。代码重用,尽可能避免冗余代码是程序员的一项必备技能,今天就来给大家介绍其中一种:函数装饰器。在设计模式中,与它对应...【详细内容】
2021-09-28  Tags: c++  点击:(75)  评论:(0)  加入收藏
今天我们就来聊一聊 C++ 中的异常机制吧。在学校期间,我们很少会用得上异常机制。然而,工作之后,很多时候却不得不引入异常机制。因为一般情况下,使用函数的返回值来确定函数的...【详细内容】
2021-09-26  Tags: c++  点击:(182)  评论:(0)  加入收藏
一、内存泄漏(memory leak)内存泄漏(memory leak)是指由于疏忽或错误造成了程序未能释放掉不再使用的内存的情况。内存泄漏并非指内存在物理上的消失,而是应用程序分配某段内存...【详细内容】
2021-09-03  Tags: c++  点击:(105)  评论:(0)  加入收藏
stack容器#include <iostream>using namespace std;#include <stack>//容器头文件void test(){stack<int>p;p.push(100);p.push(1000);p.push(100);while(!p.empty()){cout<...【详细内容】
2021-08-17  Tags: c++  点击:(81)  评论:(0)  加入收藏
stl 常用遍历算法(for_each transform)示例代码(结论在结尾!!!!)#include<iostream>using namespace std;#include"vector"#include"map"#include"string"#include"list"#in...【详细内容】
2021-08-13  Tags: c++  点击:(89)  评论:(0)  加入收藏
▌简易百科推荐
一、简介很多时候我们都需要用到一些验证的方法,有时候需要用正则表达式校验数据时,往往需要到网上找很久,结果找到的还不是很符合自己想要的。所以我把自己整理的校验帮助类分...【详细内容】
2021-12-27  中年农码工    Tags:C#   点击:(2)  评论:(0)  加入收藏
引言在学习C语言或者其他编程语言的时候,我们编写的一个程序代码,基本都是在屏幕上打印出 hello world ,开始步入编程世(深)界(坑)的。C 语言版本的 hello world 代码:#include <std...【详细内容】
2021-12-21  一起学嵌入式    Tags:C 语言   点击:(11)  评论:(0)  加入收藏
读取SQLite数据库,就是读取一个路径\\192.168.100.**\position\db.sqlite下的文件<startup useLegacyV2RuntimeActivationPolicy="true"> <supportedRuntime version="v4.0"/...【详细内容】
2021-12-16  今朝我的奋斗    Tags:c#   点击:(21)  评论:(0)  加入收藏
什么是shellshell是c语言编写的程序,它在用户和操作系统之间架起了一座桥梁,用户可以通过这个桥梁访问操作系统内核服务。 它既是一种命令语言,同时也是一种程序设计语言,你可以...【详细内容】
2021-12-16  梦回故里归来    Tags:shell脚本   点击:(18)  评论:(0)  加入收藏
一、编程语言1.根据熟悉的语言,谈谈两种语言的区别?主要浅谈下C/C++和PHP语言的区别:1)PHP弱类型语言,一种脚本语言,对数据的类型不要求过多,较多的应用于Web应用开发,现在好多互...【详细内容】
2021-12-15  linux上的码农    Tags:c/c++   点击:(17)  评论:(0)  加入收藏
1.字符串数组+初始化char s1[]="array"; //字符数组char s2[6]="array"; //数组长度=字符串长度+1,因为字符串末尾会自动添&lsquo;\0&lsquo;printf("%s,%c\n",s1,s2[2]);...【详细内容】
2021-12-08  灯-灯灯    Tags:C语言   点击:(47)  评论:(0)  加入收藏
函数调用约定(Calling Convention),是一个重要的基础概念,用来规定调用者和被调用者是如何传递参数的,既调用者如何将参数按照什么样的规范传递给被调用者。在参数传递中,有两个很...【详细内容】
2021-11-30  小智雅汇    Tags:函数   点击:(19)  评论:(0)  加入收藏
一、问题提出问题:把m个苹果放入n个盘子中,允许有的盘子为空,共有多少种方法?注:5,1,1和1 5 1属同一种方法m,n均小于10二、算法分析设f(m,n) 为m个苹果,n个盘子的放法数目,则先对...【详细内容】
2021-11-17  C语言编程    Tags:C语言   点击:(49)  评论:(0)  加入收藏
一、为什么需要使用内存池在C/C++中我们通常使用malloc,free或new,delete来动态分配内存。一方面,因为这些函数涉及到了系统调用,所以频繁的调用必然会导致程序性能的损耗;另一...【详细内容】
2021-11-17  深度Linux    Tags:C++   点击:(38)  评论:(0)  加入收藏
OpenCV(Open Source Computer Vision Library)是一个(开源免费)发行的跨平台计算机视觉库,可以运行在Linux、Windows、Android、ios等操作系统上,它轻量级而且高效---由一系列...【详细内容】
2021-11-11  zls315    Tags:C#   点击:(50)  评论:(0)  加入收藏
最新更新
栏目热门
栏目头条