C++类成员是否被语言标准保证在内存中连续？

嘿，这个问题问得相当关键，咱们把它拆成几个部分来聊清楚：

核心结论先给你 #

你的代码输出4不是巧合，在符合标准的编译器中，这种结果是有规则可循的，但也要注意存在例外情况。

一、C++标准对类非静态数据成员布局的规定 #

C++标准对非静态数据成员的内存布局有明确约束，但不是所有情况都保证连续：

• 同一访问控制块内的成员（比如你的x和y都是public），必须严格按照声明的先后顺序在内存中排列，后面成员的地址不会早于前面的成员。
• 不同访问控制块（比如public和private）的成员，标准没有强制要求顺序，编译器可以自主调整（不过主流编译器一般还是按声明顺序来，但别依赖这点）。
• 内存对齐填充：为了满足CPU的内存对齐要求，编译器可能会在成员之间插入空白字节（padding）。比如如果类里有char c和int x，c占1字节，x需要4字节对齐，编译器会在c后面加3字节填充，这时候c和x就不连续了。

二、为什么你的代码输出是4？ #

你的类A是个标准布局类型（没有虚函数、没有基类、所有成员访问权限一致），对于这类类：

1. x和y都是int类型（假设你的平台上int占4字节），它们的对齐要求相同，编译器不需要插入填充字节，所以y相对于类起始地址的偏移量正好是sizeof(int)，也就是4。
2. 再看A *a = 0; a->f();这个操作：虽然a是空指针，但成员函数f()里的&(this->y)并没有实际解引用y的值，只是计算它的地址——本质是reinterpret_cast<char*>(this) + offsetof(A, y)，而offsetof(A, y)是编译期就能确定的常量（就是4）。即使this是空指针，这个地址计算也能完成，不会触发空指针异常（如果是cout << this->y就会崩溃，因为要读取值）。

三、编译器有可能让x、y不连续吗？ #

当然有可能，常见场景包括：

• 成员类型的对齐要求不同：比如在x前面加一个char成员，编译器会插入填充字节，导致x和y之间有空隙。
• 类包含不同访问控制块的成员：比如把x放到private，y放到public，编译器理论上可以调整它们的顺序（虽然主流编译器很少这么做）。
• 类包含虚函数：此时类的起始地址会有一个虚表指针，x和y的偏移会从虚表指针之后开始，但它们之间如果是同类型同访问块，还是会按顺序排列（可能有填充）。

最后要注意的坑 #

空指针调用成员函数本身在C++标准里属于未定义行为，只是你的代码里的操作刚好是计算地址而非解引用，所以在主流编译器中能正常运行。如果换成访问成员的值（比如cout << this->y），那肯定会触发空指针崩溃，而且标准不会为这种行为提供任何保证。

内容的提问来源于stack exchange，提问作者DorHugi