第17项：使可变性最小化

  不可变类只是其实例不能被修改的类。每个实例中包含的所有信息在对象的生命周期内都是固定的，因此无法观察到任何更改。 Java平台库包含许多不可变类，包括String，基本类型的包装类以及BigInteger和BigDecimal。这么做有很多好的理由：不可变类更容易设计、实现和使用。它们不容易出错并且更安全。

  为了使类称为不可变类，要遵循一下五条原则：

1. 不要提供任何修改对象状态的方法（也称为mutators） 。

2. 保证类不会被扩展。 这样可以防止粗心或者恶意的子类假装对象的状态已经改变，从而破坏该类的不可变行为。为了防止子类化，一般做法是使子类称为final的，但是后面我们还会讨论到其他做法。

3. 使所有字段都是final的。 通过系统的强制方式来清除地表达你的意图。此外，如果一个纸箱新创建实例的引用在缺乏同步机制的情况下，从一个线程被传递到另一个线程，就必须确保正确的行为，正如内存模型（memory model）中所述[JLS, 17.5; Goetz06,16]。

4. 使所有的字段都是私有的。 这样可以防止客户端获得访问被字段引用的可变对象的权限，比你高防止客户端直接修改这些对象。虽然从技术上讲，允许不可变对象的类具有公有的final字段，只要这些字段包含基本类型的值或者指向不可变对象的引用，但是不建议这么做，因为这样会使得在以后的版本中无法再改变内部的表示法（第15、16项）。

5. 确保对于任何可变组件的互斥访问。 如果类具有指向可变对象的字段，则必须确保该类的客户端无法获得指向这些对象的引用。并且，永远不要用客户端提供的对象引用来初始化这样的字段，也不要从任何访问（accessor）方法中返回该对象的引用。在构造器、访问方法和readObject方法（第88项）中创建保护性拷贝（defensive copies）（第50项）。

  前面很多项中的许多例子都是不可变的，期中一个例子是第11项中的PhoneNumber类，它针对每个属性都有访问方法，但是没有对应的设值方法（mutator）。下面是个稍微复杂一点的例子：

// Immutable complex number class
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 plus(Complex c) {
   
        return new Complex(re + c.re, im + c.im);
    }
    public Complex minus(Complex c) {
   
        return new Complex(re - c.re, im - c.im