Question

我为Joshua Bloch的书《有效的Java》找到了this example code。旨在说明为什么应避免不必要地创建对象：

import java.util.regex.Pattern;

// Reusing expensive object for improved performance
public class RomanNumerals {
    // Performance can be greatly improved!
    static boolean isRomanNumeralSlow(String s) {
        return s.matches("^(?=.)M*(C[MD]|D?C{0,3})"
                + "(X[CL]|L?X{0,3})(I[XV]|V?I{0,3})$");
    }

    // Reusing expensive object for improved performance (Page 23)
    private static final Pattern ROMAN = Pattern.compile(
            "^(?=.)M*(C[MD]|D?C{0,3})"
                    + "(X[CL]|L?X{0,3})(I[XV]|V?I{0,3})$");

    static boolean isRomanNumeralFast(String s) {
        return ROMAN.matcher(s).matches();
    }

    public static void main(String[] args) {
        int numSets = Integer.parseInt(args[0]);
        int numReps = Integer.parseInt(args[1]);
        boolean b = false;

        for (int i = 0; i < numSets; i++) {
            long start = System.nanoTime();
            for (int j = 0; j < numReps; j++) {
                b ^= isRomanNumeralSlow("MCMLXXVI");  // Change Slow to Fast to see performance difference
            }
            long end = System.nanoTime();
            System.out.println(((end - start) / (1_000. * numReps)) + " μs.");
        }

        // Prevents VM from optimizing away everything.
        if (!b)
            System.out.println();
    }
}

为什么boolean logical operator ^在这里的main方法内的for循环中使用？

是否会阻止编译器优化后续迭代（从而影响测量结果），因为结果总是相同的？

Answer 1

您的猜测可能是正确的。 ^=运算符和结尾处的if语句都是为了防止编译器/运行时优化。

最初b为假，b ^= true为b分配了真，然后b ^= true为b分配了假，并且循环继续。

通过使b在正确和错误之间循环，使得编译器更难优化它，因为它看不到恒定值。

^的另一个属性是必须对两个操作数进行求值才能求结果，这与||或&&不同。运行时不能使用快捷方式。

最后的if语句告诉编译器和运行时：“不要忽略b！这在以后很重要！”。

为什么在这段来自有效Java的示例代码中使用布尔逻辑运算符^？

1 个答案: