& <——验证两个操作数 && <——如果第一个操作数求值为false，则停止求值，因为结果将为false

(x != 0) & (1/x > 1) <——这意味着求(x != 0)然后求(1/x > 1)然后执行&。问题是当x=0时，这会抛出异常。

(x != 0) && (1/x > 1) <——这意味着求(x != 0)，只有当它为真时，才求(1/x > 1)，所以如果你有x=0，那么这是完全安全的，并且不会抛出任何异常，如果(x != 0)求值为假，整个事情直接求值为假，而不求(1/x > 1)。

编辑:

exprA | exprB <——这意味着评估exprA然后评估exprB，然后执行|。

exprA || exprB <——这意味着评估exprA，只有当这是假的，然后评估exprB，并执行||。

除了&&和||是短路外，在混合这两种形式时，还要考虑运算符优先级。 我认为每个人都不会立即看出result1和result2包含不同的值。

boolean a = true;
boolean b = false;
boolean c = false;

boolean result1 = a || b && c; //is true;  evaluated as a || (b && c)
boolean result2 = a  | b && c; //is false; evaluated as (a | b) && c

&&和||称为短路算子。当使用它们时，对于|| -如果第一个操作数求值为true，则其余操作数不求值。对于&& -，如果第一个操作数求值为false，其余的操作数根本不被求值。

所以if (a || (++x > 0))在这个例子中，如果a为真，变量x不会增加。

& <——验证两个操作数 && <——如果第一个操作数求值为false，则停止求值，因为结果将为false

(x != 0) & (1/x > 1) <——这意味着求(x != 0)然后求(1/x > 1)然后执行&。问题是当x=0时，这会抛出异常。

(x != 0) && (1/x > 1) <——这意味着求(x != 0)，只有当它为真时，才求(1/x > 1)，所以如果你有x=0，那么这是完全安全的，并且不会抛出任何异常，如果(x != 0)求值为假，整个事情直接求值为假，而不求(1/x > 1)。

编辑:

exprA | exprB <——这意味着评估exprA然后评估exprB，然后执行|。

exprA || exprB <——这意味着评估exprA，只有当这是假的，然后评估exprB，并执行||。

&&是短路运算符，而&是与运算符。

试试这个。

    String s = null;
    boolean b = false & s.isEmpty(); // NullPointerException
    boolean sb = false && s.isEmpty(); // sb is false

如JLS(15.22.2)中所述:

When both operands of a &, ^, or | operator are of type boolean or Boolean, then the type of the bitwise operator expression is boolean. In all cases, the operands are subject to unboxing conversion (§5.1.8) as necessary. For &, the result value is true if both operand values are true; otherwise, the result is false. For ^, the result value is true if the operand values are different; otherwise, the result is false. For |, the result value is false if both operand values are false; otherwise, the result is true.

“诀窍”在于&是一个整数位运算符，也是一个布尔逻辑运算符。为什么不呢，把这个作为运算符重载的例子是合理的。