C++ 数据语义学之数据成员布局

数据成员布局

数据成员布局是指在内存中如何安排一个类或结构体的成员变量。它决定了每个成员变量在对象中的位置和顺序。数据成员布局的主要目的是优化内存访问效率和满足硬件对齐要求。

1. 观察成员变量地址规律

在 C++ 中，类的成员变量在内存中的布局是按照它们在类中声明的顺序进行的。可以通过打印成员变量的地址来观察它们的布局规律。

#include <iostream>

class MyClass {
public:
    int a;
    double b;
    char c;

    void printAddresses() {
        std::cout << "Address of a: " << &a << std::endl;
        std::cout << "Address of b: " << &b << std::endl;
        std::cout << "Address of c: " << static_cast<void*>(&c) << std::endl;
    }
};

int main() {
    MyClass obj;
    obj.printAddresses();
    return 0;
}

运行结果（地址可能因系统和编译器不同而有所不同）：

Address of a: 0x71fe30
Address of b: 0x71fe38
Address of c: 0x71fe40

在上面的代码中，MyClass 类有三个成员变量 a、b 和 c。通过打印它们的地址，可以观察到它们在内存中的布局顺序。

2. 边界调整与字节对齐

为了提高内存访问效率，编译器通常会对数据成员进行字节对齐。字节对齐会在成员变量之间插入填充字节（padding），以确保每个成员变量都位于适当的内存边界上。这种填充字节的插入是为了满足硬件对数据对齐的要求，从而提高内存访问的效率。

#include <iostream>

class MyClass {
public:
    char c;
    int a;
    double b;

    void printAddresses() {
        std::cout << "Address of c: " << static_cast<void*>(&c) << std::endl;
        std::cout << "Address of a: " << &a << std::endl;
        std::cout << "Address of b: " << &b << std::endl;
    }
};

int main() {
    MyClass obj;
    obj.printAddresses();
    return 0;
}

运行结果：

Address of c: 0x71fe40
Address of a: 0x71fe44
Address of b: 0x71fe48

在上面的代码中，MyClass 类的成员变量 c、a 和 b 的顺序可能会导致填充字节的插入。通过打印它们的地址，可以观察到字节对齐的效果。

3. 成员变量偏移值的打印

成员变量偏移值，就是值这个成员变量的地址离对象首地址偏移了多少个字节。

可以使用 offsetof 宏来获取成员变量相对于类对象起始地址的偏移值。offsetof 宏定义在 <cstddef> 头文件中。

#include <iostream>
#include <cstddef>

class MyClass {
public:
    char c;
    int a;
    double b;
};

int main() {
    std::cout << "Offset of c: " << offsetof(MyClass, c) << " bytes" << std::endl;
    std::cout << "Offset of a: " << offsetof(MyClass, a) << " bytes" << std::endl;
    std::cout << "Offset of b: " << offsetof(MyClass, b) << " bytes" << std::endl;
    return 0;
}

运行结果：

Offset of c: 0 bytes
Offset of a: 4 bytes
Offset of b: 8 bytes

在上面的代码中，使用 offsetof 宏打印了 MyClass 类的成员变量 c、a 和 b 的偏移值。通过这些偏移值，可以更清楚地了解成员变量在内存中的布局情况。