while（i == i + 1）{}が永久にループする間、iの値は何ですか

私は英国の大学の試験で、高度なプログラミングコースからこの謎を解きました。

次のループについて考えてみます。ここでは、私は今のところ宣言されていません。

while (i == i + 1) {}

whileループが永遠に続くように、iこのループに先行するの定義を見つけます。

このコードスニペットに対して同じ質問をした次の質問：

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 Puzzlers：Traps、Pitfalls、and Corner Cases」の本で詳しく説明されています。

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

または：

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

どちらも無限ループになり1ます。これは、十分に大きい浮動小数点値に追加しても値が変化しないためです。これは、後続の「ギャップを埋める」ことがないためです¹です。

2番目のパズルに関するメモ（将来の読者向け）：

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

また、NaNはそれ自体を含む浮動小数点値²と等しくないため、無限ループになります。

^{1-Javaパズル：トラップ、落とし穴、コーナーケース（第4章-ルーピーパズル）。}

^{2- JLS§15.21.1}

double i = Double.POSITIVE_INFINITY;

ただのアイデア：ブール値はどうですか？

bool i = TRUE;

これはそうではありませんi + 1 == iか？