OptionalInt.isPresent 字段的用途是什么？

Question

查看 的源代码java.util.OptionalInt，一个可选的 int 由 anint value和 a 组成boolean isPresent。获得空可选整数的唯一方法是通过OptionalInt.empty()返回的方法，OptionalInt.EMPTY所有空可选整数的通用实例。如果是这种情况，那么为什么该isPresent()方法被实现为return isPresent而不是this == EMPTY通过摆脱该isPresent字段来减少内存使用量？

Answer 1

这是一个实现选择，唯一可以给出明确答案的人是编写实现的人。

但很可能这是一种将代码的可读性、清晰度和可维护性置于内存微优化之上的选择。

担心布尔值在包装 int 的对象中占用的空间确实没有多大意义。如果该空间是相关的，OptionalInt考虑到对象头至少需要 8 个字节（在 32 位 JVM 上，在 64 位上更多），首先不应该使用an （或 Java）。

Java 不是用于编写内存受限的应用程序，而是用于编写易于维护的代码。并且isPresent()作为 getter for实现isPresent更容易阅读，在重构时更不容易出错，并且符合既定的 Java 编码实践。

它实际上确实增加了大小，因为该字段isPresent正好位于边界上，然后又添加了 7 个字节用于填充。

Answer 2

如OptionalInt.empty()方法文档中所述：

尽管这样做可能很诱人，但请避免通过与==返回的实例进行比较来测试对象是否为空OptionalInt.empty()。不能保证它是单例。相反，使用#isPresent().

事实上，以下测试通过了：

import static org.junit.jupiter.api.Assertions.assertFalse;

import static org.junit.jupiter.api.Assertions.assertNotSame;

import static org.junit.jupiter.api.Assertions.assertSame;

import java.lang.reflect.InvocationTargetException;

import java.util.OptionalInt;

import org.junit.jupiter.api.Test;

class Tests {

    @Test

    void test() {

        var empty = OptionalInt.empty();

        assertSame(empty, empty);

        var anotherEmpty = fabricateEmpty();

        assertFalse(anotherEmpty.isPresent());

        assertNotSame(empty, anotherEmpty);

    }

    private OptionalInt fabricateEmpty() {

        try {

            var constructor = OptionalInt.class.getDeclaredConstructor();

            constructor.setAccessible(true);

            return constructor.newInstance();

        } catch (InstantiationException | NoSuchMethodException | IllegalAccessException | InvocationTargetException e) {

            throw new RuntimeException(e);

        }

    }

}

虽然看起来有些人为设计，但许多流行的框架使用反射或Unsafe构造实例。