C语言指针强制转换问题：两段代码计算结果为何不一致？

你的两段逻辑结果不同，核心原因在于读取的字节范围和字节组合顺序完全不同，同时指针转换的写法存在未定义行为，具体拆解如下：

1. 字节读取范围差异 #

首先看字符串"test"的ASCII字节序列（含末尾空字符前的4个有效字符）：

input[0] = 't' → 0x74
input[1] = 'e' → 0x65
input[2] = 's' → 0x73
input[3] = 't' → 0x74

• 指针逻辑：unsigned int *pt = (unsigned int*)input 会一次性读取从input开始的4个字节（因为unsigned int在32位系统下占4字节），得到值0x74736574（小端字节序下，低地址字节存到int的低字节位）。随后>>8右移操作会丢弃最低位的1字节（即input[0]），保留的是input[1]、input[2]、input[3]三个字节组成的数值0x747365。

• 循环逻辑：明确只读取input[0]、input[1]、input[2]三个字节，通过左移操作将它们组合成0x746573。

2. 字节组合顺序差异 #

即使读取相同的字节，两者的组合顺序也不同：

• 指针逻辑依赖小端字节序，保留的三个字节在最终数值中是input[3]（最高位）、input[2]（中间位）、input[1]（最低位）。
• 循环逻辑是手动将input[0]放在最高位，input[1]在中间，input[2]在最低位。

3. 指针转换的未定义行为 #

将char*强制转换为unsigned int*并直接访问，违反了C标准的类型对齐要求：如果input的地址没有对齐到unsigned int的对齐边界（通常是4字节），这种访问属于未定义行为。虽然x86架构对对齐要求宽松，程序能运行，但在ARM、RISC-V等严格要求对齐的架构上会直接崩溃。

修正方案 #

如果想让两段逻辑结果一致，需要让它们读取相同的字节并按相同顺序组合。比如修改指针逻辑，只读取前3个字节并按循环的顺序组合：

// 替代原指针逻辑的写法
alp = ((unsigned char)input[0] << 16) | ((unsigned char)input[1] << 8) | (unsigned char)input[2];

这种写法既符合你“读取前3字节”的期望，又避免了未定义行为。

内容的提问来源于stack exchange，提问作者doc.aicdev