如何确保char*可准确访问对象的底层字节与完整内存序列？

问题背景 #

根据C++标准的basic.lval条款，通过char类型访问任意对象的内存是合法操作；但basic.compound条款指出，char*与int*这类不同类型的指针并非指针可互转换，这意味着转换后两者的地址值可能存在表现形式上的差异。

比如以下代码：

static_assert(sizeof(int) == 4);
int a = 0xFFEE2211;
char* b = reinterpret_cast<char*>(&a);
assert(b[0] == '\x11'); // 检测平台是否为小端字节序

这里b的地址值可能和&a（int*类型）不同，由此引出两个问题：

1. 如何确保b读取的第一个字节是0x11而非其他值？
2. 哪条C++标准规则保证char*可以像大小为sizeof(obj)的字节数组一样，完整访问对象的全部内存字节？

解答 #

1. 确保读取预期字节的核心：字节序与内存布局 #

b[0]对应的是对象a内存布局中的最低地址字节，其值完全由目标平台的字节序决定：

• 小端字节序平台：多字节对象的最低有效字节（LSB，即示例中的0x11）会被存储在最低地址处，此时b[0]的值就是0x11；
• 大端字节序平台：多字节对象的最高有效字节（MSB，即示例中的0xFF）会被存储在最低地址处，此时b[0]的值会是0xFF。

你代码中的断言本质是在检测当前平台是否为小端。要确保读取到0x11，要么运行在小端平台，要么通过位运算手动提取目标字节（比如(a & 0xFF)），而非依赖char*的直接访问顺序。

从标准规则角度，char*的访问顺序严格对应对象在内存中的实际存储顺序——标准并不规定字节序（这是实现定义行为），但一旦平台确定了字节序，char*的访问结果就完全符合该平台的内存布局。

2. 保证char*完整访问对象内存的标准依据 #

核心依据来自C++标准中关于**对象表示（object representation）**的定义，以及char类型内存访问的专属规则：

• 任何对象的对象表示，是组成该对象的所有字节的序列，其长度恰好为sizeof(obj)；
• 标准明确允许：使用char、unsigned char或std::byte类型的指针/引用，访问任意对象的对象表示。这种访问被视为对对象内存的逐字节直接访问，会完整覆盖对象的全部内存字节，访问顺序与对象在内存中的存储顺序完全一致；
• 尽管char*和int*不是指针可互转换，但reinterpret_cast<char*>(&a)得到的指针，必然指向对象a的对象表示的起始字节——即使该指针的地址值表现形式与&a不同，标准也保证通过这个char*遍历sizeof(int)个字节，能完整读取a的所有内存内容。

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