java - 为什么 Integer 类的 Integer.valueOf 方法中使用了 assert？

Question

我正在研究 Integer 类实际上是如何使用缓存对象的，我在 Integer.valueOf 方法中找到了以下代码:

public static Integer valueOf(int i) {
    assert IntegerCache.high >= 127;
    if (i >= IntegerCache.low && i <= IntegerCache.high)
        return IntegerCache.cache[i + (-IntegerCache.low)];
    return new Integer(i);
}

我的问题是:

• assert IntegerCache.high >= 127;有什么用 assert provides an effective way to detect and correct programmingerrors .但这是运行时代码，为什么会有人使用断言？
• 在这种情况下它什么时候会抛出 AssertionError？

Answer 1

断言的目的是建立不变量并记录实现。在这里，这个断言记录了当进入 valueOf 方法时 IntegerCache.high 值保证至少为 127 的事实。最好写一个断言而不是注释，因为当相应的命令行选项(-esa)处于 Activity 状态时，JVM也会检查断言。

通常这个断言永远不会抛出，因为 IntegerCache.high 是这样初始化的:

int h = 127;
String integerCacheHighPropValue =
            sun.misc.VM.getSavedProperty("java.lang.Integer.IntegerCache.high");
if (integerCacheHighPropValue != null) {
    try {
        int i = parseInt(integerCacheHighPropValue);
        i = Math.max(i, 127);
        // Maximum array size is Integer.MAX_VALUE
        h = Math.min(i, Integer.MAX_VALUE - (-low) -1);
    } catch( NumberFormatException nfe) {
        // If the property cannot be parsed into an int, ignore it.
    }
}
high = h;

此代码保证该值至少为 127。因此，如果您修改 IntegerCache.high(使用反射和 setAccessible(true))或如果以后要修改 JDK 并在 IntegerCache.high 初始化代码中引入 bug。这就是存在断言的原因:捕捉错误。