短路与&&和&的区别

下面代码的输出结果是什么？

class Test {
    public static void main(String[] args) {
        int a = 3;
        int b = 4;
        if ((a>b&(a++)>b&&(--b)<a)|(b++)<=(a--)) {
            System.out.println("判断结果为true, a=" + a + ",b=" + b);
        } else {
            System.out.println("判断结果为false, a=" + a + ",b=" + b);
        }
    }
}

A.判断结果为true, a=3,b=5

B.判断结果为true, a=3,b=4

C.判断结果为false, a=3,b=5

D.判断结果为false, a=4,b=4

如果忽略&和&&的区别,很可能得到答案B.

但正确答案其实是A.

分析

(a>b&(a++)>b&&(--b)<a)|(b++)<=(a--)

由于逻辑运算符有优先级,可以由'|'将此表达式分隔,

1.左边a>b为假,但连接它的是一个&运算符,这代表不管它是否正确,都继续运算其右边的表达式.

2.(a++)>b,同1,在计算完后a的值为4;此时由于它的右边为短路与&&,且其值为false,将不再计算&&右边的逻辑表达式,那么意味着右边的(b--)将不被运算

3.符号'|'左边整体值为false,右边(b++)<=(a--)即4<=4,结果为true;那么整个逻辑表达式的结果为true,计算后b的值为5,a的值为3

总结:

&&与&的区别为,&无论左边的结果是否为真,都将继续运算右边的逻辑表达式;

&&左边的值为false时,将不会继续运算其右边的逻辑表达式,结果为false;

||与|的区别为,|无论其左边的结果是否为true,都将继续运算右边的逻辑表达式;

||当计算完左边的逻辑表达式且其结果为true时,将不会继续计算右边的逻辑表达式,结果为true;

短路与&&和短路||都提高了逻辑表达式的计算效率.