对象表示是对象在内存中由有效成员字节与对齐用padding字节构成的可复制字节序列,不含padding bits、vptr等实现细节,决定memcpy、ABI及序列化行为。

对象表示(Object Representation)是 C++ 标准中定义的一个底层概念,指一个对象在内存中实际占用的**字节序列**——即所有成员子对象(包括非静态数据成员、基类子对象)所占字节的拼接,不包含任何未命名的填充位(padding bits),但包含显式插入的 padding 字节(用于对齐)。它直接对应于 std::memcpy 可安全复制的那部分内存。
对象表示 = 有效成员字节 + 对齐用 padding 字节
标准([intro.memory] 和 [basic.types])明确定义:对象表示是对象所占存储区域中,所有“可寻址字节”组成的序列。这些字节里:
- 每个非静态数据成员的值都以其底层二进制形式存放(如
int是小端或大端取决于平台); - 编译器为满足对齐要求插入的 padding 字节属于对象表示(可读、可复制、但不可修改其语义);
- 位域(bit-field)中未被使用的比特位(padding bits)不属于对象表示(不能通过
memcpy可靠访问); - 虚表指针(vptr)、RTTI 信息等实现细节不属于对象表示(它们是“潜在构造开销”,不在标准保证范围内)。
内存布局的核心规则:对齐驱动 padding
编译器按以下逻辑安排成员顺序(默认无 #pragma pack 或 alignas 干预):
- 每个成员从其自身对齐要求(
alignof(T))的整数倍地址开始; - 若上一个成员结束位置不满足当前成员对齐,就在中间插入 padding 字节;
- 整个对象总大小向上对齐到其最大成员对齐值(即
alignof(class)); - 继承关系中,基类子对象优先布局,再放派生类新增成员(虚继承会引入额外指针和偏移)。
例如:
立即学习“C++免费学习笔记(深入)”;
版权声明:除非特别标注,否则均为本站原创文章,转载时请以链接形式注明文章出处。
还木有评论哦,快来抢沙发吧~