为什么HotSpot会使用吊装优化以下内容？

Question

在"Effective Java"中,作者提到了这一点

while (!done) i++;

可以通过HotSpot进行优化

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

我很困惑.变量done通常不是const,为什么编译器可以优化这种方式？

Answer 1

作者假设变量done是一个局部变量,它在Java内存模型中没有任何要求将其值暴露给没有同步原语的其他线程.或者换句话说:done除了此处显示的内容之外,任何代码都不会更改或查看其值.

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

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

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

在这种情况下,naive实现将评估数组的长度10,000次,但由于永远不会分配变量数组并且数组的长度永远不会改变,因此评估可以更改为:

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

此处的其他优化也适用于与吊装无关.

希望有所帮助.