C语言float精度问题咨询：整数超过2^23是否无法精确表示？

首先明确：不是仅能精确表示“精度为23位”的实数。

IEEE 754单精度float的尾数虽然是23位存储位，但规格化数会隐含一个最高位的1（所有规格化数的二进制整数部分都是1，无需额外存储），所以实际有效精度是24位二进制位。只要一个实数能被表示为有限二进制分数，且二进制有效位数不超过24位，就能被float精确存储——比如0.5（二进制0.1）、3（二进制11）这类数，哪怕数值很小或适中，只要符合这个条件，都能精确表示。

再看整数的情况：当整数大于2^23（即8388608）时，确实会出现精度误差。

2^{23的二进制是1后面跟23个0，刚好占24位有效位（隐含的1+23位存储尾数）。当整数超过这个值时，它的二进制表示位数会超过24位，float的尾数无法容纳所有有效位，只能通过截断或舍入来近似存储。比如2}23 + 1，用float存储时会被近似为2^23，因为尾数没有额外的位来保存那个“+1”的部分，直接导致精度丢失。

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