我正在阅读有关不可变类的信息，据说使类不可变的方法是：
setter 方法。我认为第三个条件是不必要的。当我们将变量设为 final 并为其提供任何值时，即使通过 setter 方法也无法为其分配新值（因为一旦为其分配了值，就无法更改最终变量）。那么为什么我们需要没有setter方法的第三个条件呢？
我理解错了吗？
【问题讨论】：
标签： java immutability setter
你是对的。根据定义，setter 用给定值替换字段。如果所有字段都是最终的，那么无论如何您都不可能提供 setter。
我对如何编写不可变类的描述是：
如果您非常注意确保它们永远不会更改，则可以编写具有可变字段的不可变类，但在这种情况下您需要非常小心。
【讨论】：
final 从来不是必要的。这只是一个很好的约束，它使代码更容易推理。如果一个类有几个字段，都定义为最终的，所有明确的值类型，（整数，字符串...），那么我可以快速确定它是不可变的，甚至无需阅读文档。如果甚至一个不是最终的，我需要检查整个班级以确保它没有改变。因此，虽然类不可变不是要求，但任何好的不可变类实现都应该使用它（IMO）。
是的，可以简化为
但出于教育目的，较短的要点可能效果更好 - 即使有点多余。
【讨论】：
public class Person{
private String name;
public Person(String name){
this.name = name;
}
public String getName(){
return this.name;
}
public void setName(String name) {
this.name = name;
}
}
现在，很明显 Person 不是 Immutable 类。这并不意味着，Person 的实例不能是（假定）不可变的另一个类的成员。
public final class MyImmutableClass {
// p is final, so it can't be re-referenced
private final Person p;
public MyImmutableClass(Person p) {
this.p = p;
}
// it can be altered, though
public void setPersonName(String name) {
this.p.setName(name);
}
public String toString() {
return "Person: " + p.getName();
}
}
现在，我们有一个不可变的类，但它确实包含一个 setter。此设置器主动更改（最终）字段 p 的成员。
public static void main(String[] args) {
MyImmutableClass c = new MyImmutableClass(new Person("OriginalName"));
System.out.println(c);
c.setPersonName("AlteredName");
System.out.println(c);
}
还有.. 你有它。通过设置器更改成员（即使变量是最终的）。请理解，“最终变量”不一定是常数，在大多数情况下，它的状态可以更改。 final 变量的要点是它不能被重新引用。注意，我们也可以有这样的方法：
public void setPerson(Person p) {
this.p.setName(p.getName());
}
最终变量本身只是一个常量，以防类型本身是不可变类型，或者如果它是原始类型，但您应该了解大多数类型都是可变的。 类型是不可变的还是原始类型并且它被声明为最终类型？当然，添加一个二传手。但是，到底是为了什么？误导使用您的课程的人？
【讨论】：
final reference 的不可变值与该引用所指对象的可变性混淆了。
final 并不意味着它也是“不可变的”，将其与 C++ 相比，在 C++ 中你有引用的常量（这大致是 final在 java 中），以及对象的 constness（在 java 中没有对应物）。
第 2 项中提到的变量可以是引用，即使变量本身是 final，它也可以是可变的（如列表或集合）。
这就是为什么我们有像 Collections.unmodifiableList 这样的实用程序来使可变类实际上不可变的原因。
所以禁止 setter 是为了防止意外改变最终变量的状态。
【讨论】：
将字段设为 final 不足以（甚至不需要）保证不变性。您需要在不可变类中制作可变对象的防御性副本。
class Foo {
private String str;
public Foo(String str) {
this.str = str;
}
public String getString() {
return str;
}
}
上面的类是不可变的，因为：
现在考虑下面的MyDate 类。
public class MyDate {
private Date; // date is not immutable
public MyDate(Date date) {
this.date = date;
}
public Date getDate() {
return date;
}
}
上面的 MyDate 类不是不可变的，因为用户可以执行以下操作：
Date d = new Date(<someDate>);
MyDate md = new MyDate(d);
d.set(<someDate>); // oops, just changed value in MyDate via external reference.
同样可以通过getDate()完成。
要使MyClass 不可变，请在构造函数和getter 中创建Date 的防御性副本。这些可以防止类的用户更改date 字段：
public class MyDate {
private Date; // date is not immutable
public MyDate(Date date) {
this.date = new Date(date);
}
public Date getDate() {
return new Date(date);
}
}
【讨论】：