c++中的对象表示(Object Representation)是什么_c++内存布局与padding详解【底层】-C++-PHP中文网

c++中的对象表示(Object Representation)是什么_c++内存布局与padding详解【底层】

冰火之心

发布： 2025-12-21 16:29:31

原创

755人浏览过

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

c++中的对象表示(object representation)是什么_c++内存布局与padding详解【底层】

对象表示（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++免费学习笔记（深入）”；

Designify

拖入图片便可自动去除背景✨

查看详情

struct A {
    char a;   // offset 0
    int b;    // offset 4（需 4-byte 对齐，pad 3 bytes after a）
    char c;   // offset 8
}; // sizeof(A) == 12, alignof(A) == 4

登录后复制

为什么 padding 不可忽视？影响 memcpy、序列化与 ABI

padding 字节虽不承载用户逻辑值，但在底层操作中真实存在：

std::memcmp 比较两个对象时，会逐字节比较包括 padding 在内的全部对象表示 —— 若 padding 未初始化（如栈上未零初始化的局部对象），结果不确定；
用 memset(obj, 0, sizeof(obj)) 清零，会把 padding 也设为 0，这是安全且常见的初始化手段；
跨平台序列化时，若结构体含 padding，直接写入二进制流会导致接收方解析失败（不同编译器/平台 padding 位置可能不同）；
ABI（如 Itanium C++ ABI）明确规定 vptr 位置、虚基类偏移、padding 分布，是动态链接和异常处理的基础。