非最终的-不可变的类

Question

我已阅读并始终被告知不变类必须是final。 但我想知道是否有可能将一个非最终类的对象作为不变的对象。 在此链接中（ 为什么要在Java中将一个不可变的类声明为final？ ），如果不可变的类方法是final并且不能被覆盖，该怎么办 。 并且，如果该类的所有成员都是最终成员，则该类的对象也可以是不可变的（除非它们引用了可变对象）。 请告诉我是否错误并打勾:)

Answer 1

如果可以扩展一个不可变的类（这意味着它不是最终的），则可以将可变属性添加到子类中，这将使您的子类可变，因此基类也将是可变的，因为它可以具有可变性子类。

Answer 2

不可变的类不一定必须是最终的，但是您需要防止其被子类化，例如，通过没有公共或受保护的构造函数。

例如，Guava的ImmutableList类不是最终的，但它是不可变的，如Javadoc中所述。

Answer 3

对于创建不可变类，将类标记为最终类不是强制性的。

让我从Java类本身中获取一个这样的例子。“ BigInteger”类是不可变的，但不是最终的。

实际上，不变性是一个概念，根据该概念，创建的对象不能修改。

让我们从JVM的角度考虑，从JVM的角度来看，所有线程都必须共享对象的相同副本，并且在任何线程访问它之前，它都已完全构建，并且对象的状态在其构建后不会改变。

不变性意味着一旦创建了对象就无法改变其状态，这是通过三个经验法则来实现的，这三个规则使编译器认识到类是不变的，它们如下：

所有非私有字段都应为最终字段，请确保该类中没有任何方法可以直接或间接更改该对象的字段，该类中定义的任何对象引用都不能在该类外部进行修改。有关更多信息，请参见网址下方

http://javaunturnedtopics.blogspot.in/2016/07/can-we-create-immutable-class-without.html