为何该while循环的执行行为会随int变量取值不同而变化？

这段代码的核心问题在于单精度浮点数（float）的精度限制：IEEE 754单精度float仅包含23位有效尾数（加上隐含的1位共24位），只能精确表示0到2^24（即16777216）之间的所有整数。超过这个范围后，float无法存储所有整数的精确值，会丢失低位信息，进而导致循环出现三种截然不同的行为：

1. 循环执行16次（i较小，如i=100） #

当i远小于2^24时，i和i+16都能被float精确表示：

• x = i是精确的float值
• 每次x++都会让x精确增加1，从i逐步走到i+15
• 当x变为i+16时，循环条件x < (float)(i+16)不成立，循环终止，刚好执行16次迭代

2. 无限循环（如i=10^8） #

10^{8（100000000）远大于2}24，此时float的精度单位（ULP，最后一位有效位的权重）已经大于1：

• 当x = (float)10^8时，相邻两个float值的差（ULP）为4
• 执行x++时，加1的操作无法改变x的float表示——因为1远小于当前的ULP，x的值会保持不变
• 循环条件x < (float)(i+16)永远成立（(float)(10^8+16)是合法的更大float值，但x始终停留在初始值），最终进入无限循环

3. 循环完全不执行（如i=10^9） #

10^9（1000000000）对应的float的ULP为32：

• i+16和i的差值是16，小于当前的ULP（32）
• 当把i和i+16转换成float时，两者的表示完全相同——float无法区分这两个数的差异
• 循环初始条件x < (float)(i+16)等价于(float)i < (float)i，结果为false，循环直接跳过

本质上，float的精度随数值增大而降低，当整数大到一定程度，float无法精确区分相邻的整数，甚至无法区分差16的两个整数，这就是循环行为异常的根本原因。

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