c - 为什么这个浮点循环在 1,000,000 处终止？

Question

这个家庭作业示例的答案是“1,000,000”，但我不明白为什么:

What is the output of the following code?

int main(void) {
  float k = 1;
  while (k != k + 1) {
    k = k + 1;
  }
  printf(“%g”, k); // %g means output a floating point variable in decimal
}

If the program runs indefinitely but produces no output, write INFINITE LOOP as the answer to the question. All of the programs compile and run. They may or may not contain serious errors, however. You should assume that int is four bytes. You should assume that float has the equivalent of six decimal digits of precision. You may round your answer off to the nearest power of 10 (e.g., you can say 1,000 instead of 2¹⁰ (i.e., 1024)).

我不明白为什么循环会终止。

Answer 1

它不会永远运行，原因很简单， float 并不完美。

在某些时候，k 会变得足够大，因此向其加 1 将没有任何效果。

此时，k 将等于 k+1 并且您的循环将退出。

float 只有在一定范围内才能用单个单位区分。

例如，假设您有一个整数类型，其精度为正 整数 的 3 位小数位和一位小数位的指数。

有了这个，您可以将数字 0 到 999 完美地表示为 000x10⁰ 到 999x10⁰(因为 10⁰ 是 1):

当你想表示 1000 时会发生什么？您需要使用 100x10¹。这仍然是完美的表现。

但是，没有用此方案表示 1001 的准确方法，您可以表示的下一个数字是 101x10¹，即 1010。

因此，当您将 1 加到 1000 时，您将得到最接近的匹配项，即 1000。