为什么在比较两个布尔值时 & 在 java 中使用了 &&？

Question

我正在查看 Guava 中的代码 https://github.com/google/guava，我看到了很多很酷的优化。

我想知道使用 & 而不是 && 是否是一种优化，如果是，为什么？会不会是风格的选择？

我们在 IntMath.checkedPow 函数中对 int b 求平方。我们要检查 b * b 没有溢出：

checkNoOverflow(-FLOOR_SQRT_MAX_INT <= b & b <= FLOOR_SQRT_MAX_INT);
        b *= b;

在这个例子中，为什么 & 在 && 之上使用？

编辑：Matt 是正确的。我在 Java 8:

中编译了这个 Java 代码

public static boolean and (boolean a, boolean b){
    return a && b;
}

public static boolean andBit (boolean a, boolean b){
    return a & b;
}

我使用 Intellij 查看了字节码。我看到我们在“and”函数中使用了分支，因为我们有 IFEQ 和 GOTO。

  // access flags 0x9
  public static and(ZZ)Z
   L0
    LINENUMBER 8 L0
    ILOAD 0
    IFEQ L1
    ILOAD 1
    IFEQ L1
    ICONST_1
    GOTO L2
   L1
   FRAME SAME
    ICONST_0
   L2
   FRAME SAME1 I
    IRETURN
   L3
    LOCALVARIABLE a Z L0 L3 0
    LOCALVARIABLE b Z L0 L3 1
    MAXSTACK = 1
    MAXLOCALS = 2

  // access flags 0x9
  public static andBit(ZZ)Z
   L0
    LINENUMBER 12 L0
    ILOAD 0
    ILOAD 1
    IAND
    IRETURN
   L1
    LOCALVARIABLE a Z L0 L1 0
    LOCALVARIABLE b Z L0 L1 1
    MAXSTACK = 2
    MAXLOCALS = 2
}

要回答这个问题，如果评估额外 <= 的成本比分支更快，那么 & 会更快。

Erwin 的评论让我更仔细地研究了实际的 while 循环。 b *=b 处于 while 循环中，可能会重复很多次。但是，b在第一个循环中只能是负数，因为当我们通过b *= b: b从那时起就会是正数。

Answer 1

由于条件分支有些昂贵，但比较整数的值非常快，因此在机器指令中实现该表达式的最快方法是评估两个子表达式并且 not 包括条件分支。

您的代码片段中的编写方式确实反映了实现它的最佳方式。我们通常希望编译器自己解决这样的问题，但也许他们测试并发现它没有...

或者也许开发人员只是以更快的方式编写它，因为替代方案是以可能更慢的方式编写它——当然没有充分的理由这样做！

为什么在比较两个布尔值时 & 在 java 中使用了 &&？

Why was & used over && in java when comparing two bools?

java

optimization

guava