为什么HotSpot将使用提升来优化以下内容？

Question

在“有效的Java”中，作者提到

while (!done) i++;

可以通过HotSpot优化为

if (!done) {
    while (true) i++;
}

我对此很困惑。变量done通常不是 const ，为什么编译器可以这样优化？

Answer 1

作者在那里假设该变量done是局部变量，在Java内存模型中，它不需要任何条件即可将其值公开给其他没有同步原语的线程。或用另一种方式说：done除此处显示的内容外，任何其他代码都不会更改或查看w
的值。

在这种情况下，由于循环不会更改的值done，因此可以有效地忽略其值，并且编译器可以在循环外提升对该变量的求值，从而防止其在循环的“热门”部分中求值。
。这使循环运行得更快，因为它要做的工作更少。

这也适用于更复杂的表达式，例如数组的长度：

int[] array = new int[10000];
for (int i = 0; i < array.length; ++i) {
    array[i] = Random.nextInt();
}

在这种情况下，朴素的实现将评估数组的长度10,000次，但是由于从未分配变量数组，并且数组的长度也不会改变，因此评估可以更改为：

int[] array = new int[10000];
for (int i = 0, $l = array.length; i < $l; ++i) {
    array[i] = Random.nextInt();
}

其他优化也适用于与提升无关的优化。

希望能有所帮助。