无符号与有符号操作数执行整数除法的返回比特数据是否存在差异？

核心原因 #

• C语言中uint（无符号整数，默认按常见32位平台实现讨论）转int（有符号整数）时，如果uint取值超过int的最大值2^31 - 1（即2147483647），主流平台会直接按比特位重解释为有符号数，最高位为1时会被识别为负数。
• 无符号整数除法与有符号整数除法的运算规则完全不同：无符号除法按非负整除规则计算，有符号除法对负数按向零取整规则计算，操作数被转换为负数后，两侧计算结果会出现本质差异。

可复现反例（32位平台下） #

取输入参数x = 0x80000000U（十进制2147483648，刚好超过int最大值），y = 2U：

1. 无符号除法x / y的结果为0x40000000U，对应十进制1073741824。
2. 转换为有符号后计算：(int)x得到-2147483648，(int)y得到2，有符号除法结果为-1073741824。
3. 将有符号结果转回uint，得到比特值0xC0000000U，对应十进制3221225472。
4. 两侧结果明显不相等，函数返回false。

补充说明 #

只要输入参数x或y任意一个的取值超过int的最大值，就有可能触发两侧结果不一致，上述反例在所有主流编译器、主流x86/ARM平台下都可以稳定复现。

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