编程点滴-关于boolean常量在判断中的位置

今天review某同学的代码时发现这样一个情况:

DEBUG是一个boolean的常量，原来是

if(DEBUG){
doSomething();
}

后来因为要求在安全模式下不准打印log，于是改成这样：

if((!isSecMode()) && DEBUG){
doSomething();
}

现在又增加了一种新的模式警用模式，于是改成这样：

if((!isSecMode()) && (!isPoliceMode()) && DEBUG){
doSomething();
}

这样会造成一点性能和空间损失的。

如果编译器发现if(false)或者if(false && …)这样的语句，直接就不会编译进字节码中，这是由短路规则所决定的。

而如果把DEBUG放在最后，由于不符合短路规则，后面的语句也是没必要编译进来的，但是要保证前面的判断是要执行的。

于是就生成了这样一句话

if ((!ts.isSecMode()) && (!ts.isPoliceMode()));

白白要做两次判断！

下面看看完整的代码。

源代码：

public class TestSeven {
public void doSomething(){

}
public boolean isSecMode(){
doSomething();
return false;
}
public boolean isPoliceMode(){
doSomething();
return false;
}

private static final boolean DEBUG = false;

public static void main(String[] args){
TestSeven ts = new TestSeven();
if(DEBUG && !ts.isSecMode() && !ts.isPoliceMode()){
System.out.println("DEBUG1");
}

if(!ts.isSecMode() && !ts.isPoliceMode() && DEBUG){
System.out.println("DEBUG2");
}
}
}

反编译之后是这样的：

public class TestSeven
{
private static final boolean DEBUG = false;

public void doSomething()
{
}

public boolean isSecMode()
{
doSomething();
return false;
}
public boolean isPoliceMode() {
doSomething();
return false;
}

public static void main(String[] args)
{
TestSeven ts = new TestSeven();

if ((!ts.isSecMode()) && (!ts.isPoliceMode()));
}
}

从反编译的代码中可以看到，不管是System.out.println(“DEBUG1”);还是System.out.println(“DEBUG2”);皆是虚妄，根本就直接被编译器过滤掉了。

但是有短路规则的if(DEBUG && !ts.isSecMode() && !ts.isPoliceMode())，连一点痕迹都没留下来，而没有短路规则的第二条判断，就不得不留下if ((!ts.isSecMode()) && (!ts.isPoliceMode()));