考虑Java中的以下方法:
public static boolean expensiveComputation() {
for (int i = 0; i < Integer.MAX_VALUE; ++i);
return false;
}
以下主要方法:
public static void main(String[] args) {
boolean b = false;
if (expensiveComputation() && b) {
}
}
逻辑连接(与&&)相同是commutative operation.那么为什么编译器不会将if语句代码优化为等效代码:
if (b && expensiveComputation()) {
}
此外,编译器是否尝试对布尔值进行其他逻辑简化或置换以生成更快的代码?如果没有,为什么?当然,一些优化会非常困难,但我的例子并不简单?调用方法应该总是比读取布尔值慢,对吧?
先感谢您.
解决方法:
它不会这样做,因为expensiveComputation()可能有副作用,改变程序的状态.这意味着评估布尔语句中表达式的顺序(expensiveComputation()和b)很重要.您不希望编译器将错误优化到编译的程序中,对吗?
例如,如果代码是这样的话
public static boolean expensiveComputation() {
for (int i = 0; i < Integer.MAX_VALUE; ++i);
b = false;
return false;
}
public static boolean b = true;
public static void main(String[] args) {
if (expensiveComputation() || b) {
// do stuff
}
}
在这里,如果编译器执行了优化,那么当你不希望它通过查看代码时会运行// do stuff(因为b,它最初是真的,首先被评估).