为何C/C++中变量与常量替换后执行结果不一致？

问题代码 #

float f = -123.123f;
unsigned u1 = -123.123f;
unsigned u2 = f;
printf("%d %d\n", u1, u2); // 0 -123
printf("%u %u\n", u1, u2); // 0 4294967173

实际输出 #

0 -123
0 4294967173

核心原因 #

差异源于负浮点数转换为无符号整数的行为是未定义的，且编译器对常量表达式和变量表达式的转换逻辑不同：

1. 对于unsigned u1 = -123.123f：

   • -123.123f是编译期可计算的浮点常量。由于负浮点数转换为无符号整数的行为未被C/C++标准明确规定，你使用的编译器选择了直接将其转换为0（这是编译器实现的自由选择）。

2. 对于unsigned u2 = f：

   • f是运行时的float变量，值为-123.123f。编译器按照常规运行时转换逻辑处理：
     • 先将float值截断小数部分，转换为int类型的-123；
     • 再将-123转换为unsigned类型，按照无符号整数的溢出规则，-123会被转换为UINT_MAX - 123 + 1（即4294967295 - 123 + 1 = 4294967173，假设unsigned int为32位）。

关键提醒 #

C/C++标准明确规定：当负的浮点值转换为无符号整数类型时，行为是未定义的。这意味着编译器可以任意处理这种情况，不同编译器（甚至同一编译器的不同优化级别）都可能产生不同结果。你遇到的常量与变量转换差异，正是这种未定义行为的具体表现。

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