为什么可选的被声明为final类？

Question

我正在讨论以下问题：使用Java 8的可选和stream::FlatMap并希望向自定义的可选 添加一个方法，然后检查它是否工作。
更准确地说，我希望向我的CustomOptional 添加一个stream()。如果不存在值，则返回一个空流，如果存在，则返回一个包含单个元素的流。

但是，我得出的结论是，可选 声明为final。

为什么会这样呢？有一些类没有声明为final，我个人认为这里没有理由声明optional final。

作为第二个问题，为什么不是所有的方法都是final的，如果担心它们会被覆盖，并且使类不是final的？

Answer 1

根据Java SE 8 API文档的这一页，可选 是一个基于值的类。根据API文档的这一页，基于值的类必须是不可变的。

将optional 中的所有方法声明为final将防止重写这些方法，但这不会阻止扩展类添加字段和方法。扩展类并添加一个字段以及一个更改该字段值的方法，将使该子类变，从而允许创建一个可变的可选 。下面是这样一个子类的示例，如果optional 不声明为final，则可以创建该子类。

//Example created by @assylias
public class Sub<T> extends Optional<T> {
    private T t;

    public void set(T t) {
        this.t = t;
    }
}

声明optional final可以防止创建像上面这样的子类，从而保证optional 始终是不可变的。