C++ 对象的内存布局深层剖析(上)

最新推荐文章于 2022-01-06 17:48:36 发布
最新推荐文章于 2022-01-06 17:48:36 发布
阅读量2k 收藏 3
点赞数 2
原文链接：https://blog.csdn.net/haoel/article/details/3081328
版权

对象的影响因素

简而言之，我们一个类可能会有如下的影响因素：

1）成员变量

2）虚函数（产生虚函数表）

3）单一继承（只继承于一个类）

4）多重继承（继承多个类）

5）重复继承（继承的多个父类中其父类有相同的超类）

6）虚拟继承（使用virtual方式继承，为了保证继承后父类的内存布局只会存在一份）

上述的东西通常是C++这门语言在语义方面对对象内部的影响因素，当然，还会有编译器的影响（比如优化），还有字节对齐的影响。在这里我们都不讨论，我们只讨论C++语言上的影响。

本篇文章着重讨论下述几个情况下的C++对象的内存布局情况。

1）单一的一般继承（带成员变量、虚函数、虚函数覆盖）

2）单一的虚拟继承（带成员变量、虚函数、虚函数覆盖）

3）多重继承（带成员变量、虚函数、虚函数覆盖）

4）重复多重继承（带成员变量、虚函数、虚函数覆盖）

5）钻石型的虚拟多重继承（带成员变量、虚函数、虚函数覆盖）

我们的目标就是，让事情越来越复杂。

简单地复习一下，我们可以通过对象的地址来取得虚函数表的地址

可以参考上一篇:c++虚函数表解析

我们同样可以用这种方式来取得整个对象实例的内存布局。因为这些东西在内存中都是连续分布的，我们只需要使用适当的地址偏移量，我们就可以获得整个内存对象的布局。

 

下面，我们假设有如下所示的一个继承关系：

 

 

请注意，在这个继承关系中，父类，子类，孙子类都有自己的一个成员变量。而了类覆盖了父类的f()方法，孙子类覆盖了子类的g_child()及其超类的f()。

 

我们的源程序如下所示：

 

/*
 * =====================================================================================
 *
 *       Filename:  parent.cpp
 *    Description:  c++ 对象的内存布局单一继承测试 
 *        Created:  2013年11月25日 19时20分02秒
 *       Revision:  none
 *       Compiler:  gcc
 *         Author:  max_min_ 
 * =====================================================================================
 */
#include <iostream>
using namespace std;

class CParent 
{
    public:
        CParent():iparent(10)
        {   
        }   

        virtual void f() 
        {   
            cout << "CParent::f()" << endl;
        }   

        virtual void g() 
        {   
            cout << "CParent::g()" << endl;
        }   

        virtual void h() 
        {   
            cout << "CParent::h()" << endl; 
        }   
    public:
        int iparent;
};
class CChild:public CParent
{
    public:
        CChild():ichild(100)
        {
        }

        virtual void f()
        {
            cout << "CChild::f()" << endl;
        }

        virtual void  g_child()
        {
            cout << "CChild::g_child()" << endl;
        }

        virtual void h_child()
        {
            cout << "CChild::h_child()" << endl;
        }

    public:
        int ichild;
};
class CGrandchild:public CChild
{
    public:
        CGrandchild():igrandchild(1000)
        {
        }

        virtual void f()
        {
            cout << "CGrandchild::f()" << endl;
        }

        virtual void g_child()
        {
            cout << "CGrandchild::g_child()" << endl;
        }

        virtual void h_grandchild()
        {
            cout << "CGrandchild::h_grandchild()" << endl;
        }
    public:
    int igrandchild;
};
typedef void (*CallbackFunc)(void );   // Function pointer

int main(void)
{
    CallbackFunc pFunc = NULL;

    CGrandchild m_gc;

    int **pVtab = (int **)&m_gc;
    cout << "[0] CGrandchild::_vptr->" << endl;
    for(int i= 0; (CallbackFunc)pVtab[0][i] != NULL ; i++)
    {
        pFunc = (CallbackFunc)pVtab[0][i];
        cout << "         [" << i << "]  ";
        pFunc();
    }

    cout << endl;
    cout << "[1] parent-iparen          = " << (int) pVtab[1] << endl;
    cout << "[2] child-ichild           = " << (int) pVtab[2] << endl;
    cout << "[3] grandchild-igrandchild = " << (int) pVtab[3] << endl;

    return 0;
}

 

其运行结果如下所示：(gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) )

 

[0] CGrandchild::_vptr->
         [0]  CGrandchild::f()
         [1]  CParent::g()
         [2]  CParent::h()
         [3]  CGrandchild::g_child()
         [4]  CChild::h_child()
         [5]  CGrandchild::h_grandchild()

[1] parent-iparen          = 10
[2] child-ichild           = 100
[3] grandchild-igrandchild = 1000

 

使用图片表示如下：

 

 

 

可见以下几个方面：

1）虚函数表在最前面的位置。

2）成员变量根据其继承和声明顺序依次放在后面。

3）在单一的继承中，被overwrite的虚函数在虚函数表中得到了更新

 

多重继承

 

 

下面，再让我们来看看多重继承中的情况，假设有下面这样一个类的继承关系。注意：子类只overwrite了父类的f()函数，而还有一个是自己的函数（我们这样做的目的是为了用g1()作为一个标记来标明子类的虚函数表）。而且每个类中都有一个自己的成员变量：

 

 

 

我们的类继承的源代码如下所示：父类的成员初始为10，20，30，子类的为100

我们通过下面的程序来查看子类实例的内存布局：下面程序中，注意我使用了一个s变量，其中用到了sizof(Base)来找下一个类的偏移量。（因为我声明的是int成员，所以是4个字节，所以没有对齐问题。关于内存的对齐问题，大家可以自行试验，我在这里就不多说了）源程序如下：

 

/*
 * =====================================================================================
 *
 *       Filename:  mulparent.cpp
 *    Description:  c++ 对象的内存布局多重继承测试  
 *        Version:  1.0
 *        Created:  2013年11月25日 19时58分54秒
 *       Revision:  none
 *       Compiler:  gcc
 *         Author:  max_mix_ 
 * =====================================================================================
 */
#include <iostream>
using namespace std;

class Base1
{
    public:
        Base1():ibase1(10)
        {   

        }   

        virtual void f() 
        {   
            cout << "Base1::f()" << endl;
        }   

        virtual void g() 
        {   
            cout << "Base1::g()" << endl;
        }   

        virtual void h() 
        {   
            cout << "Base1::h()" << endl;
        }   
    public:
        int ibase1;

};
class Base2
{
    public:
        Base2():ibase2(20)
        {

        }

        virtual void f()
        {
            cout << "Base2::f()" << endl;
        }

        virtual void g()
        {
            cout << "Base2::g()" << endl;
        }

        virtual void h()
        {
            cout << "Base2::h()" << endl;
        }
    public:
        int ibase2;

};
class Base3
{
    public:
        Base3():ibase3(30)
        {

        }

        virtual void f()
        {
            cout << "Base3::f()" << endl;
        }

        virtual void g()
        {
            cout << "Base3::g()" << endl;
        }

        virtual void h()
        {
            cout << "Base3::h()" << endl;
        }
    public:
        int ibase3;

};
class Derive:public Base1, public Base2, public Base3
{
    public:
        Derive():iderive(100)
    {
    }

        virtual void f()
        {
            cout << "Derive::f()" << endl;
        }

        virtual void g1()
        {
            cout << "Derive::g1()" << endl;
        }
    public:
        int iderive;
};

typedef void(*Fun)(void);   //Function pointer
int main(void )
{

    Derive d;
    Fun pFun = NULL;
    int** pVtab = (int**)&d;

    cout << "[0] Base1::_vptr->" << endl;
    pFun = (Fun)pVtab[0][0];
    cout << "     [0] ";
    pFun();

    pFun = (Fun)pVtab[0][1];
    cout << "     [1] ";
    pFun();

    pFun = (Fun)pVtab[0][2];
    cout << "     [2] ";
    pFun();

    pFun = (Fun)pVtab[0][3];
    cout << "     [3] ";
    pFun();

    pFun = (Fun)pVtab[0][4];
    cout << "     [4] ";
    cout<<pFun<<endl;

    cout << "[1] Base1::ibae1 = " << (int )pVtab[1] << endl;
    int s = sizeof(Base1)/4;
    cout << "["<< s << "] Base2::_vptr-> " << endl;
    pFun = (Fun)pVtab[s][0];
    cout << "     [0] ";
    pFun();

    pFun = (Fun)pVtab[s][1];
    cout << "     [1] ";
    pFun();

    pFun = (Fun)pVtab[s][2];
    cout << "     [2] ";
    pFun();

    pFun = (Fun)pVtab[s][3];
    cout << "     [3] ";
    cout<<pFun<<endl;
    cout << "["<< s+1 <<"] Base2.ibase2 = " << (int)pVtab[s+1] << endl;

    s = s + sizeof(Base2)/4;
    cout << "[" << s << "] Base3::_vptr->"<<endl;
    pFun = (Fun)pVtab[s][0];
    cout << "     [0] ";
    pFun();

    pFun = (Fun)pVtab[s][1];
    cout << "     [1] ";
    pFun();

    pFun = (Fun)pVtab[s][2];
    cout << "     [2] ";
    pFun();

    pFun = (Fun)pVtab[s][3];
    cout << "     [3] ";
    cout<<pFun<<endl;
    s++;
    cout << "["<< s <<"] Base3.ibase3   = " << (int)pVtab[s] << endl;
    s++;
    cout << "["<< s <<"] Derive.iderive = " << (int)pVtab[s] << endl;

}

其运行结果如下所示：

 

 

[0] Base1::_vptr->
     [0] Derive::f()
     [1] Base1::g()
     [2] Base1::h()
     [3] Derive::g1()
     [4] 1              //注意：windows下 这里是0
[1] Base1::ibae1 = 10
[2] Base2::_vptr-> 
     [0] Derive::f()
     [1] Base2::g()
     [2] Base2::h()
     [3] 1             // 注意：windows下 这里是0
[3] Base2.ibase2 = 20
[4] Base3::_vptr->
     [0] Derive::f()
     [1] Base3::g()
     [2] Base3::h()
     [3] 0
[5] Base3.ibase3   = 30
[6] Derive.iderive = 100

使用图片表示是下面这个样子：

 

 

 

我们可以看到：

1）  每个父类都有自己的虚表。

2）  子类的成员函数被放到了第一个父类的表中。

3）  内存布局中，其父类布局依次按声明顺序排列。

4）  每个父类的虚表中的f()函数都被overwrite成了子类的f()。这样做就是为了解决不同的父类类型的指针指向同一个子类实例，而能够调用到实际的函数。

 

本文核心资料来自：http://blog.csdn.net/haoel/article/details/3081328

 

 

 

 

 

 

 

max_min_
关注
【C/C++ 性能优化】提高C++程序的缓存命中率以优化性能
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
02-13 2432
在探讨计算机性能优化的旅程中，我们常常被引导去关注算法的复杂度、代码的优化，或是更高效的数据结构。然而，有一个经常被忽视的角色在幕后默默地影响着程序的运行效率——那就是缓存（Cache）。正如哲学家亨利·戴维·梭罗在《瓦尔登湖》中所说：“细节是造成美丽的源泉”，在软件开发的世界里，对缓存的理解和优化，就是那些决定程序性能优雅与否的细节。
C_C++深层探索（pdg完整版）
11-11
通过分析生成的汇编代码，读者可以了解到C/C++程序在实际运行时的内存布局和指令执行顺序，加深对程序性能优化的理解。 最后，作者可能会讨论一些C/C++的陷阱和常见错误，如未初始化的变量、类型转换的问题、内存...
C++ 对象的内存布局（下）
热门推荐
陈皓专栏　【空谷幽兰，心如皓月】
10-15 6万+
   C++ 对象的内存布局(下) 陈皓http://blog.csdn.net/haoel  ＜＜＜点击这里查看上篇  重复继承 下面我们再来看看，发生重复继承的情况。所谓重复继承，也就是某个基类被间接地重复继承了多次。 下图是一个继承图，我们重载了父类的f()函数。  其类继承的源代码如下所示。其中，每个类都有两个变量，一个是
c++对象内存布局（虚函数）--上
stormbjm的专栏
04-07 575
对象的影响因素   简而言之，我们一个类可能会有如下的影响因素：   1）成员变量 2）虚函数（产生虚函数表） 3）单一继承（只继承于一个类） 4）多重继承（继承多个类） 5）重复继承（继承的多个父类中其父类有相同的超类） 6）虚拟继承（使用virtual方式继承，为了保证继承后父类的内存布局只会存在一份） 上述的东西通常是C++这门语言在语义方面对对象内部的影响因素，当然，还
C++对象内存布局测试总结
weixin_34417200的博客
08-20 88
C++对象内存布局测试总结 　 　　http://hi.baidu.com/%D6%F2%C7%EF/blog/item/826d38ff13c32e3a5d6008e8.html 　　上文是半年前对虚函数、虚拟继承的理解。可能有一些错漏。而且只是理解了比较简单的部分，表达也不够清晰，这次决定花的时间再做一次总结。 　　对于普通的C++对象内存布局，简单得不得了，就不做总结了。这里只总结涉...
虚函数在对象中的内存布局
Lostyears的专栏
03-08 582
典型地，C++通过虚函数实现多态性。多态性的定义：“无论发送消息的对象属于什么类，他们均发送具有相同形式的消息，对消息的处理方式可能随接受消息的对象而变。”具体地说，“在某个基类上建立起来的类的层次结构中，可以对任何一个派生类的对象中的同名成员函数进行调用，而被调用的成员变量所提供的处理可以随其所属的类而改变。”虚函数首先是一种成员函数，它可以在该类的派生类中被重新定义并被赋予另外一种处理功能。
C++类对象的内存布局
远行's Blog
01-06 1022
一、内存对齐 C++的对象都会进行内存对齐，所谓内存对齐，指的是对象的地址和大小都会对齐到n的倍数上。比如按照4对齐，那么对象的地址会是4的倍数，对象的大小也是4的倍数。究其原因是，机器在内存对齐的地址上访问数据更快，可以一起取出数据；如果数据存在在不对齐的地址上，需要换成2次对齐地址上的取数据，再组合出原始数据；而且，部分机器根本没有取非对齐的数据。 1.1 默认对齐 class OrdinaryClassWithMemoryPack { public: int intA; short
内存布局解析：继承与多态的深层剖析
在"从内存布局深入剖析继承与多态"这篇论文中，作者匡翠芸探讨了C++面向对象编程中的两个关键特性：继承与多态。继承旨在通过复用抽象和实现，提高代码的重用性和可维护性，而多态则允许在不同情况下使用相同的函数...
C++对象的内存分布和虚函数表
不断完善自己~~Just do it！
11-10 780
c++中一个类中无非有四种成员：静态数据成员和非静态数据成员，静态函数和非静态函数。     1.非静态数据成员被放在每一个对象体内作为对象专有的数据成员。     2.静态数据成员被提取出来放在程序的静态数据区内，为该类所有对象共享，因此只存在一份。     3.静态和非静态成员函数最终都被提取出来放在程序的代码段中并为该类所有对象共享，因此每一个成员函数也只能存在一份代码实体。在c+
C++ 虚函数之一：对象内存布局
imred的专栏
06-11 626
考虑这样三个类： Base1、Base2和Derived各有一个数据成员。Base1有两个虚函数A()和B()，Base2有两个虚函数C()和D()，Dervied继承了Base1和Base2，并重新实现了A()和C()： public: Base1() { memset(&amp;amp;Base1Data, 0x11, sizeof(Base1Data)); } vir...
C++ 类虚函数内存分布
人面桃花
11-12 290
书上类继承相关章节到这里就结束了，这里不妨说下C++内存分布结构，我们来看看编译器是怎么处理类成员内存分布的，特别是在继承、虚函数存在的情况下。 工欲善其事，必先利其器，我们先用好Visual Studio工具，像下面这样一步一步来： 先选择左侧的C/C++->命令行，然后在其他选项这里写上/d1 reportAllClassLayout，它可以看到所有相关类的内存布局，如果写上/d1 reportSingleClassLayoutXXX（XXX为类名），则只会打出指定类XXX..
C++中的虚函数表及对象内存布局
code_luck的专栏
03-22 1091
虚函数的作用是为了实现多态，当类中的某个函数希望在派生类中重写时，这个函数要被声明为virtual。具有虚函数的类对象中均会存有虚函数指针，该指针放在对象内存的头部，且指针指向虚函数表，虚函数表中存放虚函数的入口地址，起初，我也不太明白虚函数表的存放位置，看了篇博客《关于C++中虚函数表存放位置的思考 》，其中说虚函数表存放在可执行文件的只读数据字段，感觉有点太深奥了，搞不明白，有兴趣的朋友可
C++类内存布局(虚函数与虚继承)
qq_38600065的博客
06-01 615
C++类内存布局 单继承 class Base{ int x, y; }; class Derive: public Base{ int z; }; 可以看到，在Derive类中，Base类的成员被放在了前面。 多继承 class Base1{ int x, y; }; class Base2{ int a, b; }; class Derive: public Base1, public Base2{ int z; }; 对于多继承而言，一般是按照
C++中的类对象的内存分布以及虚函数表内存分布
qq_41687938的博客
08-23 254
一、前言 大家都应该知道C++的精髓是虚函数吧? 虚函数带来的好处就是：可以定义一个基类的指针，其指向一个继承类，当通过基类的指针去调用函数时，可以在运行时决定该调用基类的函数还是继承类的函数。虚函数是实现多态(动态绑定)/接口函数的基础。可以说: 没有虚函数, C++将变得一无是处! 二、C++ 类对象的内存布局 要想知道C++对象的内存布局, 可以有多种方式, 比如: 输出成员变量的偏移, 通过offsetof宏来得到 通过调试器查看, 比如常用的VS 2.1 只有数据成员的对象
深析静态链接库和动态链接库相同函数覆盖及库调用顺序问题
好习惯成就伟大
02-19 1904
注意：编译器为gcc，若使用g++，请在库里面加上extern “C” 两个静态库 首先测试静态链接库，大概的代码如下： liba.c #include<stdio.h> #include<stdlib.h> #include"libA.h" void libA() { common(); } void common() { printf("libA common!\n"); } li...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值