不可变类是指:其实例不能被修改的类。每个实例中包含的所有信息都必须在创建该实例的时候就提供,并在对象的整个生命周期内固定不变。
为使类成为不可变类,要遵循下面五条规则:
- 不要提供任何会修改对象状态的方法。
- 保证类不会被扩展。为了防止子类化,一般做法是使这个类成为final的 。
- 使所有的域都是final的。一是为了表明意图,二是为了在多线程间确保对对象使用正确的行为。
- 使所有的域都成为私有的。这样可以防止客户端获得访问被域引用的可变对象的权限,并防止客户端直接修改这些对象。
- 确保对于任何可变组件的互斥访问。如果类具有指向可变对象的域,则必须确保该类的客户端无法获得指向这些对象的引用。并且,永远不要用客户端提供的对象引用来初始化这样的域,也不要从任何方法中返回该对象引用。
稍微复杂的例子:
public final class Complex {
private final double re;
private final double im;
public Complex(double re, double im){
this.re = re;
this.im = im;
}
public double realPart(){return re;}
public double imaginaryPart(){return im;}
public Complex add(Complex c){
return new Complex(re + c.re, im + c.im);
}
public Complex subtract(Complex c){
return new Complex(re - c.re, im - c.im);
}
public Complex multiply(Complex c){
return new Complex(re * c.re - im * c.im, re * c.im + im * c.re);
}
public Complex divide(Complex c){
double tmp = c.re * c.re + c.im * c.im;
return new Complex((re * c.re + im * c.im) / tmp, (im * c.re - re * c.im) / tmp);
}
@Override
public boolean equals(Object o){
if (o == this)
return true;
if (!(o instanceof Complex))
return false;
Complex c = (Complex)o;
return Double.compare(re, c.re) == 0 && Double.compare(im, c.im) == 0;
}
@Override
public int hashCode(){
int result = 17;
result = 31 * result + hashDouble(re);
result = 31 * result + hashDouble(im);
return result;
}
private int hashDouble (double val) {
long longBits = Double.doubleToLongBits(re);
return (int) (longBits ^ (longBits >>> 32));
}
这个类表示一个复数(具有实部和虚部)。除了标准的Object方法之外,它还提供了针对实部和虚部的访问方法,以及4种基本的算术运算:加法,减法,乘法和除法。注意这些算术运算是创建并返回新的Complex实例,而不是修改这个实例。大多数的不可变类都使用了这种模式,它被称作函数做法,因为这些方法返回了一个函数的结果,这些函数对操作数进行运算,但是并不修改它。与之对应的更常见的过程是命令式的做法
不可变类的优点
- 不可变对象比价简单,它只有一种状态,即被创建时候的状态
- 不可变对象本质上是线程安全的,他们不要求同步,当多个线程并发访问这样的对象时候,他们不会遭到破坏
- 不可变对象可以被自由的共享,不可变类应该充分利用这种优势,鼓励客户端尽可能的重用现有的实例
缺点
如果执行一个多步骤的操作,并且每个步骤都会产生一个新的对象,除了最后的结果之外,其他的对象都会被丢弃,此时性能问题就会显露出来。处理这种问题有两个办法,一个是先预测一下会经常用到哪些多步骤的操作,将他们作为基本类型提供,如果无法预测,则提供一个公有的可变配套类,如String类的可变配套类StringBuilder
总之,不要为每个get方法写一个set方法。除非有很好的理由要让类可变,否则都应该让类不可变