JIT 编译器优化：第二个方法调用相同的参数

Question

假设我有一个用于验证特定值的方法，例如一个方法isEven：

public static boolean isEven(int evenSize) {
    return evenSize % 2 == 0;
}

我使用这种方法来验证外部输入（例如来自磁盘或来自用户）。但在那之后，我也在一个需要偶数值的方法中使用了这个方法：

public static String padToEven(int evenSize, String string) {
    if (!isEven(evenSize)) { // <-- duplication of isEven method
        throw new IllegalArgumentException("evenSize argument is not even");
    }

    if (string.length() >= evenSize) {
        return string;
    }

    StringBuilder sb = new StringBuilder(evenSize);
    sb.append(string);
    for (int i = string.length(); i < evenSize; i++) {
        sb.append('x');
    }
    return sb.toString();
}

所以基本上我们向padToEven() 提供已经验证的参数，并且使用相同的isEven 函数验证参数。 JIT 编译器（比如在 Java 版本 8 中）是否有可能找到第二个调用并将其优化掉？

您可以假设检查不依赖于动态值（即它对提供的参数值具有确定性）。除了日志语句等返回值之外，它也没有任何副作用。

Answer 1

我认为 Java 根本不进行任何过程间分析。但是，该方法有可能被内联。当您内联所有内容时，就会有

if (evenSize % 2 != 0) {
    throw new IllegalArgumentException("evenSize argument is not even");
}
... some code not changing evenSize
if (evenSize % 2 != 0) {
    throw new IllegalArgumentException("evenSize argument is not even");
}

这是相当微不足道的优化。这种内联不是您可以依赖的，因为有一个内联限制会很快达到。

其他优化

OTOH，测试很简单，可能会优化到

public static boolean isEven(int evenSize) {
    return (evenSize & 1) == 0;
}

它使用更快的操作。但这不是什么，我会关心（因为周围有很多其他代码，所以你不会有太多收获）。

---

我想，最好的优化是消除StringBuilder。什么？？？是的，说真的，char[] 可以：

char[] result = new char[evenSize];
for (int i = 0; i < string.length(); i++) {
    result[i] = string.charAt(i);
}
for (int i = string.length(); i < evenSize; i++) {
    result[i] = 'x';
}
return new String(result);

前段时间，我做了一些测量，表明它应该更快。这可能随着最近的 JIT 而改变。不重要的部分：

什么优化在这里有意义？

根本没有。除非你

• 确实需要提高性能
• 分析它并找出罪魁祸首
• 准备好花相当长的时间进行基准测试和分析

只是不要这样做。幸运的是，JIT 已针对具有简短方法的干净代码进行了优化。它无法改进您的算法和数据结构，因此您可以在真正需要时进行优化。微优化的回报要少得多。

你上面的代码没问题，别碰它。