Effective Java 【类和接口】第17条 使可变性最小化

前言

不可变类是指其实例不能被修改的类。 每个实例中包含的所有信息都必须在创建该实例的时候就提供，并在对象整个生命周期不变。JDK中有很多例子，String、基本类型的包装类、BigInteger和BigDecimal。

不可变的类比可变类更加易于设计、实现和使用。它们不容易出错，且更加安全。

不可变类的五条规则

1. 不要提供任何会修改对象状态的方法（也称设值方法）
2. 保证类不会被扩展。防止子类化，声明为final
3. 声明所有的域都是final的
4. 确保对于任何可变组件的互斥访问。如果类具有指向可变对象的域，则必须确保该类的客户端无法获得指向这些对象的引用。

优点

1. 不可变对象比较简单
2. 不可变对象本质上是线程安全的
3. 不可变对象可以被自由地去共享，甚至可以共享它们地内部信息
4. 不可变对象为其他对象提供了大量地构件，eg：String
5. 不可变对象无偿提供了失败的原子性

缺点

对于每个不同的值都需要一个单独的对象，造成性能负荷。最好的办法就是提供一个公有的可变配置类。eg：String的可变配置类使StringBuilder

设计不变类的做法

除了需要遵守上述规则外，通常我们设计不可变的做法如下：

1. final修饰类，使类不可扩展
2. 让类的所有构造器变成私有的或者包级私有的，并添加唯一静态工厂代替公有构造器。（静态工厂还可增强不可变对象的缓存能力）
3. 除非有令人信服的理由要是域变成非final的，否则要使每个域都是private final 的。