当（i == i + 1）{}永远循环时，i的值是多少？

我在英国大学考试的高级编程课程中遇到了这个难题。

考虑以下循环，到目前为止，我还没有声明过：

while (i == i + 1) {}

找到i在此循环之前的的定义，以便while循环永远持续下去。

下一个问题，针对此代码段询问了相同的问题：

while (i != i) {}

对我来说很明显 当然，在其他情况下也是如此，NaN但我确实被先前的情况所困扰。这和溢出有关吗？什么会导致这样的循环在Java中永远循环？

首先，由于while (i == i + 1) {}循环不会更改的值i，因此使该循环变为无限等效于选择i满足的值i == i + 1。

有许多这样的值：

让我们从“异国情调”开始：

double i = Double.POSITIVE_INFINITY;

要么

double i =  Double.NEGATIVE_INFINITY;

这些值满足的原因i == i + 1在
JLS 15.18.2中进行了说明。数值类型的加法运算符（+和-）：

无穷大与有限值之和等于无穷操作数。

这并不奇怪，因为将无限值添加到无限值将导致无限值。

也就是说，i该满足的大多数值i == i + 1只是大double（或float）值：

例如：

double i = Double.MAX_VALUE;

要么

double i = 1000000000000000000.0;

要么

float i = 1000000000000000000.0f;

该double和float类型有精度有限，因此，如果您需要一个足够大的double或float价值，加上1它会导致相同的值。

约书亚·布洛赫（Joshua Bloch）和尼尔·古夫特（Neal Gafter）所著的“ Java拼图者：陷阱，陷阱和陷阱”一书中详细描述了这些难题。

double i = Double.POSITIVE_INFINITY;
while (i == i + 1) {}

要么：

double i = 1.0e40;
while (i == i + 1) {}

两者都将导致无限循环，因为添加1到足够大的浮点值不会改变该值，因为它不会“弥合差距”到其后继者¹。

关于第二个难题的注释（供将来的读者使用）：

double i = Double.NaN;
while (i != i) {}

由于NaN不等于任何浮点值，包括其自身²，也会导致无限循环。

^{1-Java益智游戏：陷阱，陷阱和极端案例（第4章-Loopy益智游戏）。}

^{2- JLS§15.21.1}

双倍i = Double.POSITIVE_INFINITY;

只是一个想法：布尔值呢？

bool i = TRUE;

难道不是这样i + 1 == i吗？