C语言中什么时候对指针做偏移访问是安全且定义明确的？

第一个uint32_t转char访问的代码合法性 #

结论：这段代码的访问行为是C标准明确定义的，但输出结果是实现定义的（取决于系统的字节序）

C标准的严格别名规则明确允许char/unsigned char/signed char类型的指针访问任何对象的字节表示，这种操作不属于未定义行为。你对char*指针做的偏移操作，只要不超出uint32_t变量本身的内存范围（也就是偏移量在0~3之间），解引用访问都是合法的。
输出结果依赖系统字节序是因为标准没有规定多字节对象的字节排列顺序，小端系统下你给出的示例输出01ff4567成立，但大端系统下输出会不同。

更规范的实现方式有两种：

• 方法1：使用union显式定义类型双关，可读性更强，符合C标准要求：

union U32Bytes {
    uint32_t val;
    uint8_t  bytes[4];
};
union U32Bytes big = {.val = 0x01234567};
big.bytes[2] = 0xff; // 对应你示例中*(ptr+1)的操作
printf("%08x", big.val);

• 方法2：使用memcpy复制字节到数组，完全可移植，不会触发任何别名相关的警告：

uint32_t big = 0x01234567;
uint8_t bytes[4];
memcpy(bytes, &big, sizeof(big));
bytes[2] = 0xff;
memcpy(&big, bytes, sizeof(big));
printf("%08x", big);

三个独立int变量指针偏移的未定义行为原因 #

这段代码属于标准明确的未定义行为，和第一种场景核心区别有两点：

1. a/b/c是三个独立的自动变量，C标准没有规定它们在栈上的排布顺序、是否有地址对齐填充，你不能假设&b + 1就等于&c，偏移后的地址不属于b这个对象的内存范围。
2. 即使你碰巧拿到了c的地址，通过&b + 1这个指针解引用访问c，也违反了指针运算的规则：C规定指针的偏移只能在同一个数组对象（包括单个对象被视为长度为1的数组）的范围内，最多允许偏移到对象末尾后1字节（该地址不能解引用），超出这个范围的指针运算本身就是未定义行为，更别说解引用了。

数组指针偏移的合法性边界 #

结论：你给出的数组示例里，*(ptr +1) = 666是合法操作，但后续for循环偏移到k>=3时的访问是未定义行为。

apple是一个长度为4的int数组，&apple[1]等价于apple +1，偏移1后得到apple+2，仍然处于数组的合法地址范围（0~3下标）内，解引用修改值完全符合标准要求。
但你后续for循环k最大到14，ptr +14等价于apple +15，已经远远超出了数组4个元素的内存范围，这种越界访问属于典型的未定义行为。 #

合法跨类型/偏移访问的两个必要条件 #

只要同时满足以下两个条件，访问就是合法的，否则就是未定义行为：

• 偏移后的指针必须处于同一个连续内存对象的范围内：这个对象可以是单个大类型变量、也可以是一个数组、或者malloc分配的连续内存块。最多允许偏移到对象末尾后1字节，但该地址不能解引用访问。
• 访问的类型符合严格别名规则：除了字符类型可以访问任何对象的字节表示外，其他类型的指针解引用必须和对象的实际类型兼容，或者通过union的类型双关实现（仅C语言支持，C++不支持该操作）。

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