java不可变类的设计

1、什么样的类是一个不可变的类

当一个类被实例化为对象后，无论对这个对象做什么操作，这个对象的状态都不会变，这样的类就是一个不可变类。

注意：

• 实例化多次产生的对象可以不同，但是一旦对象初始化完成，状态就不会改变。
• 对象的状态是由一个对象的成员变量的值决定的，状态不变实质就是成员变量值在对象初始化后赋值后就一直不变。

2、怎么设计一个这样的类

• 对象的成员变量值应该不变，所以成员变量都使用final修饰并设置为私有
• 成员变量的赋值都放到构造方法中，并且用深拷贝的方式赋值，避免引用对象被外部引用修改

public final class ImmutableDemo {
    
    
 	private final int[] myArray;
	public ImmutableDemo(int[] array) {
    
    
	 //this.myArray = array; // wrong
 	this.myArray = array.clone();// correct
 }
}

• 不能提供setter等修改成员变量的方法
• 当成员变量是引用类型时，get方法应返回的成员变量值应该是深拷贝后的结果

public final class ImmutableDemo {
    
    
  private final int[] myArray;
  public ImmutableDemo(int[] array) {
    
    
	 //this.myArray = array; // wrong
 	this.myArray = array.clone();// correct
 }
 public int[] getMyArray(){
    
    
	return this.myArray.clone()
 }
}

• 类应该不能被继承，因为多态的缘故，子类对象可以赋值给父类对象，如果可被继承那么子类对象就可以代替父类对象，这时候这个对象的不可变性就不能被保证了，所以类也需要用final修饰。