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

Question

我在英国大学考试中遇到了这个难题。

考虑以下循环，到目前为止，其中i未声明：

while (i == i + 1) {}

找到i的定义，它在这个循环之前，这样time循环就会永远继续。

下一个问题，对该代码段提出了相同的问题：

while (i != i) {}

对我来说是显而易见的。当然，在另一种情况下，它是NaN，但我真的被前一种情况困住了。这与溢出有关吗？是什么导致这样的循环在Java中永远循环？

Answer 1

双i=双。正无穷大；

Answer 2

JoshuaBloch和NealGafter的《Java谜题：陷阱、陷阱和角落案例》一书详细描述了这些谜题。

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

或：

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

这两种方法都会导致无限循环，因为将足够大的浮点值相加不会改变该值，因为它不会将间隙“桥接”到后续值。

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

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

也会导致无限循环，因为NaN不等于任何浮点值，包括其本身。

^{1-Java谜题：陷阱、陷阱和角落案例（第4章-循环谜题）。}

JLS§15.21.1

Answer 3

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

有许多这样的价值观：

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

double i = Double.POSITIVE_INFINITY;

或

double i =  Double.NEGATIVE_INFINITY;

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

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

这并不奇怪，因为将有限值添加到无限值中会产生无限值。

也就是说，满足i==i 1的i的大多数值只是大双（或浮点）值：

例如：

double i = Double.MAX_VALUE;

或

double i = 1000000000000000000.0;

或

float i = 1000000000000000000.0f;

双和浮点类型的精度有限，因此如果您取一个足够大的双或浮点值，将1添加到它将导致相同的值。