C语言中带符号整数窄化类型转换的最安全规范实现方式

背景 #

当把无法容纳的signed long赋值给signed int时，C标准规定结果是实现定义行为或触发实现定义信号。不管是直接强制转换（如y = (int32_t)x;），还是先转无符号类型再转回带符号的方式，都无法避免这种模糊性——因为无符号转有符号的溢出同样属于实现定义行为。

核心需求 #

实现窄化转换时，不触发实现定义行为，精准保留目标类型对应的位模式（只要符号表示符合预期，结果即可预测且明确）。

1. 强制转换能否实现目标？ #

不能。无论是直接将大带符号类型转小带符号类型，还是经过无符号类型中转的转换，只要值超出目标类型的容纳范围，结果都是实现定义的，无法保证严格保留位模式。

2. 原始union方案的问题 #

你最初的union写法：

union Cast {
    int32_t i32;
    int64_t i64;
};
y = ((union Cast){.i64 = x}).i32;

不具备可移植性——大端系统中i32会对应i64的高32位，小端系统则对应低32位，无法稳定获取目标的低32位。

3. 编辑后的union方案是否可移植？ #

你修改后的union写法：

union Cast {
    int32_t i;
    uint32_t u;
};
y = ((union Cast){.u = (uint32_t)x}).i;

具备可移植性，原因如下：

• 首先，(uint32_t)x的转换规则明确：根据C标准，带符号整数转无符号整数时，会通过模2^32的方式得到结果，本质就是保留低32位的位模式。
• 其次，union中uint32_t u和int32_t i共享相同内存空间，只要系统使用补码表示带符号整数（现代系统几乎都遵循这一规则），读取i就能得到对应位模式的带符号值。仅有的例外是使用反码/原码的老旧系统，但这类系统已极其罕见。

4. memcpy作为最后手段是否可行？ #

完全可行，且是最稳妥的可移植方案。代码示例：

#include <string.h>

// ...

int64_t x;
int32_t y;
memcpy(&y, &x, sizeof(y));

memcpy会直接将x的低32位（按sizeof(y)指定的4字节从内存起始地址复制）的位模式原封不动地复制到y中，完全不受端序和整数表示的影响，是严格保留位模式的最优解。

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