java短路问题

java短路问题

短路运算符就是我们常用的“&&”、“||”，一般称为“条件操作”。

class Logic{
    public ststic void main(String[] args){
        int a=1;
        int b=1;
        if(a<b && b<a/0){
            System.out.println("Oh，That's Impossible!!!");
        }else{
            System.out.println("That's in my control.");
        }
    }
}

“&&”运算符检查第一个表达式是否返回“false”，如果是“false”则结果必为“false”，不再检查其他内容。
“a/0”是个明显的错误！但短路运算“&&”先判断“a<b”，返回“false”，遂造成短路，也就不进行“a/0”操作了，程序会打出"That's in my control."。这个时候，交换一下“&&”左右两边的表达式，程序立即抛出异常“java.lang.ArithmeticException: / by zero”。

class Logic{
    public ststic void main(String[] args){
        int a=1;
        int b=1;
        if(a==b || b<a/0){
            System.out.println("That's in my control.");
        }else{
            System.out.println("Oh，That's Impossible!!!");
        }
    }
}

“||”运算符检查第一个表达式是否返回“true”，如果是“true”则结果必为“true”，不再检查其他内容。
“a/0”是个明显的错误！但短路运算“||”先执行“a==b”判断，返回“true”，遂造成短路，也就不进行“a/0”操作了，程序会打出"That's in my control."。这个时候，交换一下“||”左右两边的表达式，程序立即抛出异常“java.lang.ArithmeticException: / by zero”。

非短路运算符包括 “& 与”、“| 或”、“^ 异或”，一般称为“逻辑操作”

class Logic{
    public ststic void main(String[] args){
        int a=1;
        int b=1;
        if(a<b & b<a/0){
            System.out.println("Oh，That's Impossible!!!");
        }else{
            System.out.println("That's in my control.");
        }
    }
}

 “&”运算符不会造成短路，它会认认真真的检查每一个表达式，虽然“a<b”已经返回“flase”了，它还是会继续检查其他内容，以至于最终抛出异常“java.lang.ArithmeticException: / by zero”。

class Logic{
    public ststic void main(String[] args){
        int a=1;
        int b=1;
        if(a==b | b<a/0){
            System.out.println("That's in my control.");
        }else{
            System.out.println("Oh，That's Impossible!!!");
        }
    }
}

 同理，“|”运算符也不会造成短路，虽然“a==b”已经返回“true”了，它还是会继续检查其他内容，以至于最终抛出异常“java.lang.ArithmeticException: / by zero”。

    “^”运算符道理是一样的，就不在这里罗索了。

    最后。短路运算符只能用于逻辑表达式内，非短路运算符可用于位表达式和逻辑表达式内。也可以说：短路运算只能操作布尔型的，而非短路运算不仅可以操作布尔型，而且可以操作数值型。

解决原理

&是java中的位逻辑运算： 
eg： 2&3=2； 
分析如下： 
2的二进制为10 ；3的二进制为11 ； 逻辑&之后为10 
&&是boolean的逻辑运算 
eg： 
if((1> 2)&&(3> 1) )
表示如果两个条件都成立则执行之后的逻辑； 
| 逻辑或
eg. A|B,会对A, B都进行判断
||短路或
eg.A||B,只有当A为假的时候才会对B进行判断.若A为真,则不继续对B进行判断.