有符号与无符号整数运算是否会导致精度损失？附C99标准依据

根据C99标准6.3.1.8条款：

否则，若无符号整数类型操作数的秩大于或等于另一操作数类型的秩，则有符号整数类型操作数转换为无符号整数类型操作数的类型。

当int32_t和uint32_t运算时，确实可能导致精度损失，核心原因是运算过程中的类型转换会让中间结果超出int32_t的可表示范围，最终赋值回int32_t时无法还原正确的数值。

精度损失的示例代码 #

#include <stdio.h>
#include <stdint.h>
#include <limits.h>

int main() {
    int32_t result;
    int32_t s_max = INT32_MAX; // 2147483647，int32_t的最大值
    uint32_t u_small = 2;

    // 场景1：有符号数最大值加小无符号数
    result = s_max + u_small;
    printf("场景1结果：%d\n", result); 
    // 数学预期：2147483649，实际输出：-2147483647（补码循环转换的结果）

    // 场景2：有符号正数加大无符号数
    int32_t s_pos = 100;
    uint32_t u_large = 4294967200; // 接近uint32_t最大值
    result = s_pos + u_large;
    printf("场景2结果：%d\n", result); 
    // 数学预期：4294967300，实际输出：44（因结果超出int32_t范围，丢失高位信息）

    return 0;
}

损失原因拆解 #

以场景1为例，执行result = s_max + u_small的步骤：

1. s_max（int32_t类型）被转换为uint32_t类型，值仍为2147483647；
2. 加法运算得到uint32_t类型的结果2147483649；
3. 将该结果转换为int32_t类型时，由于2147483649超出了int32_t的最大值（2147483647），按照补码规则，该值会被解释为-2147483647，完全偏离了数学运算的正确结果，造成精度/数值损失。

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