Java中可变与不可变类型

问题的起因是因为一道复习题。

final修饰的mutable对象，实际上代表的是s3这个引用是immutable的，他被定义出来就只能指向后面new出来的StringBuilder了。但是这不代表后面的StringBuilder不可变，想要修改的话还是能修改的。所以final是一个对管理者的限制。

尝试re-assign一个final修饰的关键字：

无法通过静态检查。但是a指向的对象仍然是mutable的。

final List a = new ArrayList();
List b= a;
a.add(new Person("Bill"));
System.out.println(a == b); //true

因此在上述题目中A选项应该是s3指向的椭圆为单线椭圆，链接两者的箭头为双线箭头。

另外，关于immutable的对象，因为在java中除了primitive类型和string所有的对象都是mutable的，我们自己可以定义一个immutable的对象，只要让这个类型除了creator以外，都不能访问它的数据域。

public class Student{
    private String name;
    private int ID;
    
    public Student(String name) {
        this.name = name;
        this.ID = name.hashCode();
    }
    
    public String getName() {
        return name;
    }
    
    public int getID() {
        return ID;
    }
}

总结，可变与不可变可以分为reference和types，reference可以通过final修饰，types要看它本身的性质，可变类型提供了mutator，不可变类型没有。