zoukankan      html  css  js  c++  java
  • 《深度探索c++对象模型》chapter3 Data语意学

    一个空的class:如

    class X{} ;

    sizeof(X)==1;

    sizeof为什么为1,他有一个隐晦的1 byte,那是被编译器安插进去的一个char,这使得class2的两个objects得以在内存中配置独一无二的地址:

    X a,b;

    if(&a==&b) cerr<<"yipes!"<<endl;

    class X{};
    class Y:public virtual X{};
    class Z:public virtual X{};
    class A:public Y,public Z{};
    
        cout<<"sizeof(X):"<<sizeof(X)<<endl;
        cout<<"sizeof(Y):"<<sizeof(Y)<<endl;
        cout<<"sizeof(Z):"<<sizeof(Z)<<endl;
        cout<<"sizeof(A):"<<sizeof(A)<<endl;

    我的vs结果是1 ,4,4,8.

    但是让人搞不懂的是Y、Z的大小。主要大小受三个因素的影响:

    • 语言本身所造成的额外负担,当语言支持虚基类virtual base class的时候,就导致一个额外的负担,这个一般反映在某种形式的指针身上,它或者指向virtual base class subobject,或者指向一个相关表格。
    • 编译器对于特殊情况所提供的优化处理,因为class X有1 byte的大小,这样就出现在了class Y和class Z身上。这个主要视编译器而定,比如某些存在这个1byte但是有些编译器就将他忽略了(因为已经用虚指针了所以这个1byte就可以不用作为内存中的一个定位)。这种情况是对empty virtual base的特殊处理,如VS。
    • Alignment的限制,就是所谓的对齐操作,比如你现在占用5bytes编译器为了更有效率地在内存中存取就将其对齐为8byte。
    • 下面说明在vs2010中的模型,因为有了虚指针后所以1byte就不用了,所以class Y和class Z的大小就是4bytes,如下图:

      现在你觉得class A的大小应该是多少呢?一个虚基类子对象只会在派生类中存在一份实体,不管他在继承体系中出现多少次,所以公用一个1byte的classX实体,再加上class Y和class Z这样就有9bytes,如果有对齐的话就是12bytes但是vs2010中省略了那1byte所以就不存在对齐就直接是8bytes。谜底终于揭开了!!!

    Data Member的绑定:the binding of a data member

    Data Member的布局

    类的static data member会放在程序的数据段(data segment)。

    c++ standard要求,在同一个access section中,member的排列只需符合”较晚出现的members在class object中有较高的地址“这一条件即可。也就是说,各个members并不一定得连续排列。什么东西可能会介于被声明的members之间呢?members的边界调整(alignment)可能就需要填补一些bytes。

    不同的access section的数据们放置没有强制的前后关系。vptr的放置也没有强制规定。

    Data Member的存取

    1)对于static data member
          每次程序取用static member,就会被内部转换为对该唯一的extern实体的直接参考操作。存取static members并不需要通过class object。对于继承而来的static member其存取路径也是同样直接。(因为static members只存在唯一的一份实体)
     
    (如何有2个classes,每一个都声明了一个static member freelist;那么都被放在程序的data segment时,就会导致冲突,编译器的解决办法是暗中对每一个static data member编码(name-mangling),以获得一个独一无二的程序识别代码。任何name-mangline都有2个要点:
    1.一种算法,推导出独一无二的名称
    2.独一无二的名称可以轻易被推导回原来的名称。
    (2)对于nonstatic data member
          每一个nonstatic data member的偏移量offset,在编译时期即可获知。(派生自单一或多重继承串链也一样)。
    而当虚继承时,虚继承将为“经由base class subobject 存取 class members”导入一层新的间接性。
     
    (2)对于nonstatic data member
          每一个nonstatic data member的偏移量offset,在编译时期即可获知。(派生自单一或多重继承串链也一样)。
    nonstatic data member直接存放在class object之中,除非经由明确explicti或暗喻的implicit的class object,没有办法直接存取他们。只要程序员在一个member function直接处理一个nonstatic data member,所谓的”implicit class object“就会发生。例如:
    Point3D Point3D::translate(const Point3D &pt){
       x+=pt.x;
     y+=pt.y;
     z+=pt.z;
    }
    表面上所看到的对于x,y,z的直接存取,事实上是经由一个”implicit class object“(有this指针表达)完成,事实上这个函数的参数是:
    Point3D Point3D::translate(Point3d * const thisconst Point3D &pt){
       this->x+=pt.x;
    this-> y+=pt.y;
     this->z+=pt.z;
    }
    欲对一个nonstatic data member进行存取操作,编译器需要把class object的起始地址加上data member的偏移量(offset)。
    举个例子,如:
    class Point3d{
    public:
     //..
    private:
     float x;
     static List<Point#d*> *freeList;
     float y;
     static const int chunkSize=250;
     float z;
    }
    Point3d orgin;
     
    origin._y=0.0;
    那么地址&origin._y将等于
    &origin+(&Point3d::_y-1);
    请注意-1操作,指向data member的指针,其offset值总是被加上1,这样可以是编译系统区分出”一个指向data member的指针,用以指出class的第一个member”和“一个指向data member的指针,没有指出任何member”两种情况。
      每一个nonstatic data member的偏移量(offset)在编译时期即可货值,甚至一个member属于一个base class subobject(派生自单一或多重继承串链)也是一样,因此,存放一个nonstatic data member,其效率和存取一个c struct member或一个nondervied class的member是一样的。

    必须通过对象才能访问nonstatic data member(要不然访问的是谁的data member呢)。方法为对象的地址加上data member的offset就是这个data member的地址。

    但在有虚拟继承的情况下,由于“经由base class subject存取class member”导入一层新的间接性,访问的时候,会有不同。考虑如下代码:

    Point3d origin, *pt;

    origin.x = 0;

    pt->x;

    由于origin一定是Point3d类型,所以origin.x编译时即可确定其offset。

    从origin和pt存取有何差异?
          答:当Point3d是一个derived class,而在其继承结构中有一个virtual base class,并且被存取的member是一个从该virtual base class继承而来的member时,有差异。
          从pt存取,这时我们不知道pt指向哪一种class type,即无法知道编译时期这个member真正的offset位置,这个存取操作必须延迟至执行期,经由一个额外的间接引导,才能够解决。存取速度比较慢一些。从origin存取,origin的类型是明确的,members的offset位置在编译时期就固定了
     
     
    继承与Data Member
    在c++继承模型中,一个dervied class object所表现的东西,是其自己的member是加上其base class member的总和。在大部分编译器中,base class member总是先出现,但属于virtual base class的除外(一般而言,任何规则一旦碰上virtual base class就没辙了,这里也不例外)。
     
  • 相关阅读:
    python爬虫三大解析库之XPath解析库通俗易懂详讲
    经济学人精读笔记11:你还会逛实体书店吗?
    经济学人精读笔记10:员工休假居然对企业有好处?
    每日一句
    经济学人精读笔记9:打出租out了,“飞的”时代要来了!
    经济学人精读笔记8:企业应该倾听员工的声音
    经济学人精读笔记7:动乱当道,你还想买LV吗?
    经济学人精读笔记6:美团拼多多上市后高歌猛进,逆袭成功
    经济学人精读笔记5:国外枪击事件频发,中国留学生望而生畏
    经济学人精读笔记4:想脱单吗?政府帮你找到另一半!
  • 原文地址:https://www.cnblogs.com/youxin/p/3724396.html
Copyright © 2011-2022 走看看