我正在查看Guava https://github.com/google/guava中的代码,我看到了很多很酷的优化。
我想知道使用&over &&是否是一种优化,如果是,为什么呢?这可能是一种风格选择吗?
我们在IntMath.checkedPow函数中对int b进行平方。我们想检查b * b是否溢出:
checkNoOverflow(-FLOOR_SQRT_MAX_INT <= b & b <= FLOOR_SQRT_MAX_INT);
b *= b;
在这个例子中,为什么用&&?
编辑:马特是正确的。我在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查看了Byte代码。我看到我们在“和”函数中使用分支,因为我们有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
}
要回答这个问题,如果评估额外<=的成本比分支更快,则更快。
欧文的评论使我更接近实际的循环。 b * = b处于while循环中,可能会重复很多次。但是,b在第一个循环中只能是负数,因为当我们传递b * = b时:b从那时起将是正数。
由于条件分支有点昂贵,但比较整数的值非常快,在机器指令中实现该表达式的最快方法是评估两个子表达式并且不包括条件分支。
它在代码片段中的编写方式确实反映了实现它的最佳方式。我们通常希望编译器能够自己解决这样的问题,但也许他们经过测试并发现它没有......
或许开发人员只是以更快的方式编写它,因为替代方法是以可能更慢的方式编写它 - 而且当然没有充分理由这样做!