java - 来自抽象 parent 的不可变 child

Question

扩展 abstract 类的 final 类可以是不可变的吗？

例如:

public abstract class Parent {}

public final class Child extends Parent {}

Child 是不可变的吗？

Answer 1

它不是一成不变的。

只是无法扩展。

定义了不可变类，因此没有方法可以改变它们的内部状态，例如java.lang.String(也恰好是一个final class)。

期末类(class)不能延期。作为副产品，这就是为什么您不能拥有最终的抽象类 或最终接口(interface) 的原因。

这通常有助于确保不变性，但它只是相互关联的。

最后，线程安全是另一个特性，它不一定需要不变性，与防止继承的关系更小。

参见 here和子章节以更好地了解不变性。

注意

如果您的类在继承层次结构中是完全空的，而您的叶类是final，那么它实际上是不可变的，因为没有什么可以改变的。

当然，这也是毫无意义的。