为什么我总是要使用 ||而不是 |和 && 而不是 &?

Question

自从我开始编写 Java 以来，我注意到每个人都在使用 && 和 || 而不是 & 和 |。这是什么原因？我一直在使用&& 和||，因为我不知道你可以在布尔值上使用& 和|。

class A{static{
  boolean t = true;
  boolean f = false;
  System.out.println("&ff " + (f&&f) + " " + (f&f));
  System.out.println("&ft " + (f&&t) + " " + (f&t));
  System.out.println("&tf " + (t&&f) + " " + (t&f));
  System.out.println("&tt " + (t&&t) + " " + (t&t));
  System.out.println("|ff " + (f||f) + " " + (f|f));
  System.out.println("|ft " + (f||t) + " " + (f|t));
  System.out.println("|tf " + (t||f) + " " + (t|f));
  System.out.println("|tt " + (t||t) + " " + (t|t));
}}

据我所知，它们是相同的：

$ javac A.java && java A
&ff false false
&ft false false
&tf false false
&tt true true
|ff false false
|ft true true
|tf true true
|tt true true
Exception in thread "main" java.lang.NoSuchMethodError: main

使用|| 和&& 是否会以任何方式改进我的代码？

---

作为一个简单的测试，我用简短的形式替换了数百次，我的所有单元测试仍然通过。

Answer 1

是否使用 ||并 && 以任何方式改进我的代码？

让我演示两个示例，说明条件布尔运算符如何改进您的代码。比较

if (a != null && a.equals("b") || z != null && z.equals("y"))
  System.out.println("correct");

与

boolean b1 = a != null, b2 = z != null;
if (b1) b1 = b1 & a.equals("b");
if (b2) b2 = b2 & z.equals("y");
if (b1 | b2) System.out.println("correct");

这是我能想到的仅依赖逻辑布尔运算符的最佳方式。

其次，假设您要执行两个测试：simpleTest() 和 heavyTest()，后者涉及发出 HTTP 请求并解析响应。你有

if (simpleTest() & heavyTest()) System.out.println("success");
else throw new IllegalStateException();

并希望对其进行优化。你更愿意做什么，这个：

if (simpleTest()) {
  if (heavyTest()) System.out.println("success");
  else throw new IllegalStateException("operation could not be completed");
} else throw new IllegalStateException("operation could not be completed"); 

这个：

boolean b = simpleTest();
if (b) b = b & heavyTest());
if (b) System.out.println("success");
else throw new IllegalStateException("operation could not be completed");

或者这个：

if (simpleTest() && heavyTest()) System.out.println("success");
else throw new IllegalStateException();

---

为什么我总是要使用 ||而不是 |和 && 而不是 &？

您不应该始终使用它们，但您可以将它们设为您的默认值，因为在 99.9% 的使用中它们要么不会造成伤害，要么不会造成伤害。让你的代码更好。为真正需要语义的 0.1% 的情况保留逻辑运算符。

---

在本页的其他地方已经提到，依靠对正确操作数的条件评估会产生违反直觉的代码。我拒绝接受这种关于直觉的观点，因为根据定义，直觉是一种后天习得的技能。它是进化赋予你的一种工具，可以识别你经常遇到的情况中的模式，并迅速（和潜意识地）切入正确的结论。学习一门语言最重要的方面之一是获得正确的直觉。不能认真对待关于语言特性不好的论点，因为它对第一次看到它的人来说是违反直觉的。

Answer 2

正如已经指出的，&& 和 || 进行短路评估。 & 和 | 使用布尔操作数，执行相同的操作，但无论第一个操作数的值如何，都会计算两个操作数。

在某些情况下，使用它很重要，例如当左操作数是对右手操作数进行无异常评估的先决条件时。

在大多数情况下，这无关紧要。在这些情况下，我使用&& 和|| 以提高可读性，因为这是更常见的选择。将& 或| 与布尔操作数一起使用会使大多数Java 程序员不得不停下来思考，并问自己是否有特定的原因。我怀疑它可能因为继承自 C 和 C++ 而变得如此普遍。

Answer 3

认为短路评估是强制性的，因为性能很弱。您可以提出一个几乎同样弱的论点：短路评估会鼓励额外的不确定性和旁道。随机优化或随机丢失非确定性/边信道，我更喜欢后者。

剩下的唯一论点是：如果您的代码库依赖于短路行为，例如 Habib (if (obj != null && obj.ID == 1)) 描述的技巧，那么开始混合 & 可能不是一个好主意，因为程序员可能会将其与&& 混淆。即，如果您在任何地方都使用&/|，但只在少数依赖短路评估的地方使用&&，则可能有人会出错并只输入&，这可能很难发现.在这种情况下，如果您依靠 && 来获得性能，而不是像 null 那样检查，那么当有人不小心单独放置 & 时可能更难发现，因为不会有堆栈跟踪。

Answer 4

|| 和 && 使用 short circuit evaluation

来自same article

短路评估、最小评估或麦卡锡评估 表示某些编程中某些布尔运算符的语义 仅执行或评估第二个参数的语言 如果第一个参数不足以确定 表达

假设你有一个对象，如果你想检查它的某个属性是否有一些值：

if(obj != null & obj.ID == 1)

如果您的对象obj 为空，您将得到空引用异常，因为您使用了单个&，第一个条件评估为false，但它仍会继续下一个条件并引发空引用异常.

如果您使用了&&，那么第二个条件将永远不会被评估，因此也不例外。

if(obj != null && obj.ID == 1)

使用您的代码，您不会看到任何区别，但使用具有多个条件的按位 | 或 & 将根本不会导致短路。

更多解释。

---

考虑您遵循代码：

Boolean conditionA = 2 > 1; //some condition which returns true
if(conditionA | obj.SomeTimeConsumingMethod()){

}

现在在上面的代码 sn-p 中，假设您有一个带有方法 SomeTimeConsumingMethod 的对象，该方法需要花费大量时间进行处理并返回 true 或 false。如果您使用单个|，它将评估这两个条件，因为第一个conditionA 是true，它也会处理obj.SomeTimeConsumingMethod。整个 if 语句的最终结果将是 true，因为使用了 | (OR)。

如果你的条件是使用 double || (OR 逻辑运算符)

if(conditionA || obj.SomeTimeConsumingMethod())

那么第二个条件obj.SomeTimeConsumingMethod() 将不会被计算。这是短路，只是使您免于执行一些耗时的方法。不管从obj.SomeTimeConsumingMethod() 返回什么，最终结果仍然是true。

Answer 5

虽然使用按位运算符可能会得到“正确”的结果，但请理解它们并不代表相同的事物。例如，这有效

public static void main(String[] args){
    int x = 5;
    int y = 9;
    System.out.println(x&y); // prints "1"
} 

但是，这不会

public static void main(String[] args){
    int x = 5;
    int y = 9;
    System.out.println(x&&y); // Compile error: java: operator && cannot 
                              //                be applied to int,int
}

您不将按位运算符用于布尔逻辑的原因是为了清楚代码试图做什么（以及知道它确实有效）。位运算符用于操作位值，而布尔运算符用于评估一阶逻辑语句。

虽然不一样，但使用.equals() 与== 进行比较的原因相同——您不希望读者猜测您的意图。它可能在某些情况下有效（例如将固定的硬编码字符串与== 进行比较），但它的格式很差，因为它说是您要求实例相等而不是值相等，这通常是隐含的。并且使用按位运算符意味着您想要进行位操作，而不是一阶逻辑评估。

Answer 6

&& 和 ||是捷径运算符。例如：

A && B 

如果条件 A 为假，则不会评估条件 B

A || B

如果条件 A 为真，则不会评估条件 B

您应该始终使用快捷操作符进行多条件评估。 |或 & 用于按位运算。

Answer 7

不要这么快做出假设。这是因为这不会编译：

  static boolean f(boolean a) {
    boolean x = (true|a) ? a : x;
    return x;
  }

Bro.java:6: variable x might not have been initialized
    boolean x = (true|a) ? a : x;
                           ^

这将：

  static boolean f(boolean a) {
    boolean x = (true||a) ? a : x;
    return x;
  }

Answer 8

在 Java 中（如果我没记错的话，还有 C/C++）中的单个“|”和“&”是位运算符，不是逻辑运算符，它们用于完全不同的事情。

你使用“&&”和“||”对于布尔语句

您使用“&”和“|”对于位操作，给定以下是二进制数

Answer 9

|| 是逻辑或，其中| 是按位运算或。与&& 和& 相同。如果您在 if 语句中，请使用 && 和 ||，如果您正在执行位操作，请使用 | 或 &。