c++ - 子类的 sizeof 并不总是等于父类(super class)的 sizeof 之和。那么未使用的内存是什么？

Question

我写的代码:

#include <iostream>

using std::cout;
using std::endl;

struct S
{
    long l;
};

struct A
{
    int a;
};

struct B : A, S{ };

int main()
{
    cout << "sizeof(A) = " << sizeof(A) << endl; //4
    cout << "sizeof(S) = " << sizeof(S) << endl; //8
    cout << "sizeof(B) = " << sizeof(B) << endl; //16 != 4 + 8
}

demo

为什么我们必须为 B 分配额外的 4 个字节？如何使用这些额外的内存？

Answer 1

B 实例的内存镜像:

int  a; // bytes 0-3
long l; // bytes 4-11

问题:

l 是一个 8 字节的变量，但是它的地址没有对齐到 8 字节。因此，除非底层硬件架构支持未对齐的加载/存储操作，否则编译器无法生成正确的汇编代码。

解决方案:

编译器在变量 a 之后添加一个 4 字节的填充，以便将变量 l 对齐到 8 字节地址。

B 实例的内存镜像:

int  a; // bytes 0-3
int  p; // bytes 4-7
long l; // bytes 8-15