我试图推断出Hotspot的JIT原因.我最感兴趣的是最新的编译阶段(C2编译器).
Java中的JIT是否依赖于断言进行优化？如果是这种情况,我可以想象有一些例子可以在启用断言的情况下更快地运行代码.
例如,在这样的一段代码中：
static int getSumOfFirstThree(int[] array) {
assert(array.length >= 3);
return array[0] + array[1] + array[2];
}
>当断言被启用时,JIT是否足够聪明以消除对数组访问的边界检查？
>或者,您是否可以想到其他情况(实际与否),断言实际上会改进JIT编译的本机代码？
解决方法
在这种情况下,要进行多个边界检查,并且JIT可以合并它们以便只进行一次检查,但是断言不会避免进行检查.
断言会阻止内联等优化,因为方法较大且大小是决定是否内联方法的因素.通常,内联可以提高性能,但在某些情况下,它不会因为生成更大的代码而导致L0或L1 cpu缓存变得低效.
断言可以提高性能的一个例子是这样的.
boolean assertionOn = false;
assert assertionOn = true;
if (assertionOn) {
assumeDataIsGood(); // due to checks elsewhere
} else {
expensiveCheckThatDataMightNotBeGood();
}
这可能是使用断言的反模式,但是通过意图断言会更便宜.