【C++】C++内存布局的那些事

fighting的码农(zg)-GPT

于 2024-10-09 14:16:16 发布

阅读量401

点赞数 5

分类专栏： C++ 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/qq_43552933/article/details/142782165

版权

C++ 专栏收录该内容

17 篇文章 0 订阅

订阅专栏

C++类的内存布局

在C++中，类的内存布局是一个关键概念，它决定了对象在内存中的存储方式。理解类的内存分布有助于优化程序性能、调试内存问题以及理解对象模型。

1. 成员变量的内存布局

类的成员变量在内存中按照声明顺序排列，但实际的内存地址可能会因为内存对齐而有所不同。

class MyClass {
public:
    char a;    // 1字节
    int b;     // 4字节
    short c;   // 2字节
};

在这个示例中，尽管成员变量a、b、c按照顺序声明，但由于内存对齐，编译器可能会在它们之间插入填充字节（Padding），以确保每个成员变量都位于适当的内存边界上。

2. 内存对齐与填充

内存对齐是为了提高CPU的内存访问效率。不同类型的数据通常要求在特定的地址边界上对齐：

char类型对齐到1字节边界。
short类型对齐到2字节边界。
int和float类型对齐到4字节边界。
double类型对齐到8字节边界。

在上面的MyClass示例中，内存布局可能如下（假设在32位系统上）：

偏移量    成员       大小
0        a         1字节
1-3      填充      3字节（为了使下一个int型成员对齐到4字节边界）
4-7      b         4字节
8-9      c         2字节
10-11    填充      2字节（为了使整个对象大小是其最大对齐要求的倍数）

因此，sizeof(MyClass)可能返回12字节，而不是成员大小之和的7字节。

3. 虚函数与虚函数表（vtable）

如果类中包含虚函数，编译器会在对象中添加一个指向虚函数表（vtable）的指针（通常称为vptr）。这个指针占用一个指针的大小（在32位系统上为4字节，64位系统上为8字节）。

class Base {
public:
    virtual void func();
    int data;
};

在这个Base类中，对象的内存布局包含：

虚函数表指针（vptr）
成员变量data

4. 继承对内存布局的影响

单继承

在单继承中，派生类继承基类的成员变量和函数。内存布局通常是基类的成员在前，派生类的成员在后。

class Derived : public Base {
public:
    int derivedData;
};

内存布局：

基类的vptr（如果有）
基类的成员变量
派生类的成员变量

多继承

在多继承中，情况会复杂一些，因为派生类需要包含多个基类的成员。

class Base1 {
public:
    int data1;
};

class Base2 {
public:
    int data2;
};

class Derived : public Base1, public Base2 {
public:
    int derivedData;
};

内存布局：

Base1的成员
Base2的成员
Derived的成员

如果涉及虚函数，每个有虚函数的基类都会有自己的vptr。

虚继承

虚继承用于解决菱形继承中的重复数据问题。编译器会在对象中添加一个虚基类指针（vbptr），用于指向虚基类的实例。

class VBase {
public:
    int vData;
};

class Derived1 : virtual public VBase {};
class Derived2 : virtual public VBase {};

class MostDerived : public Derived1, public Derived2 {
public:
    int mostData;
};

在这种情况下，VBase的成员只会存在一份，但对象布局会包含额外的vbptr，内存布局更加复杂。

5. 内存对齐优化

为了减少内存浪费，可以按照成员变量大小从大到小的顺序声明，减少填充字节。例如：

class OptimizedClass {
public:
    double d;  // 8字节
    int i;     // 4字节
    short s;   // 2字节
    char c;    // 1字节
};

这样排列后，填充字节会减少，内存利用率提高。

6. 示例与sizeof验证

使用sizeof操作符可以验证对象的实际大小：

#include <iostream>

class Test {
public:
    char c;
    int i;
};

int main() {
    std::cout << sizeof(Test) << std::endl;  // 输出结果可能是8，而不是5
    return 0;
}