并发编程设计模式——Immutability模式（四十）

简述

1. 解决并发问题，最简单的办法就是让共享变量只有读操作，而没有写操作。
2. 由此引出了解决并发问题的设计模式：不变性（Immutability）模式。
3. 不变性：就是对象一旦被创建之后，状态就不再发生变化。（变量一旦被赋值，就不允许修改了（没有写操作）；没有修改操作，也就是保持了不变性。）

快速实现具备不可变性的类

1. 将一个类所有的属性都设置成 final 的，并且只允许存在只读方法，那么这个类基本上就具备不可变性了。
2. 更严格的做法是这个类本身也是 final 的，也就是不允许继承。因为子类可以覆盖父类的方法，有可能改变不可变性，
3. 例如String、Integer、Long、Double等基础类型包装类都具备不可变性，都是通过不可变性来保证线程安全性，因为他们也满足不可变类的三个条件
4. 不可变类的三个条件：类和属性都是 final 的，所有方法均是只读的。
5. 案例：String：String为了成为不可变性的类，类和属性均为final，并且替换等方法中都是new一个新的char[],最后new一个String返回

问题：如果具备不可变性的类，需要提供类似修改的功能，创建一个新的不可变对象就行了，这是与可变对象的一个重要区别，可变对象往往是修改自己的属性。所有的修改操作都创建一个新的不可变对象：这样会不会造成创建的对象太多了，有点太浪费内存呢？如何解决呢？

 利用享元模式避免创建重复对象

1. 利用享元模式可以减少创建对象的数量，从而减少内存占用。Java 语言里面 Long、Integer、Short、Byte 等这些基本数据类型的包装类都用到了享元模式。
2. 享元模式本质上其实就是一个对象池，利用享元模式创建对象：创建之前，首先去对象池里看看是不是存在；如果已经存在，就利用对象池里的对象；如果不存在，就会新创建一个对象，并且把这个新创建出来的对象放进对象池里。（有点儿像String.inter()）
3. 比如说Long，内部维护了一个静态的对象池，仅缓存了[-128,127]之间的数字，这个对象池在 JVM 启动的时候就创建好了，而且这个对象池是静态的所以一直都不会变化。之所以采用这样的设计，是因为 Long 这个对象的状态共有 2^64 种，实在太多，不宜全部缓存，而[-128,127]之间的数字利用率最高
4. Integer 和 String以及基本上所有的基础类型的包装类都不适合做锁，因为它们内部用到了享元模式，这会导致看上去私有的锁，其实是共有的。
   • 本意是 A 用锁 al，B 用锁 bl，各自管理各自的，互不影响。但实际上 al 和 bl 是一个对象，结果 A 和 B 共用的是一把锁。

使用 Immutability 模式的注意事项

1. 最主要的两点
   • 对象的所有属性都是 final 的，并不能保证不可变性；
   • 不可变对象也需要正确发布。
2. final 修饰的属性一旦被赋值，就不可以再修改，但是如果属性的类型是普通对象，那么这个普通对象的属性是可以被修改的。
   • 可以通过 setAge() 方法来设置 foo 的属性 age
3. 在使用 Immutability 模式的时候一定要确认保持不变性的边界在哪里，是否要求属性对象也具备不可变性。
4. 不可变对象虽然是线程安全的，但是并不意味着引用这些不可变对象的对象就是线程安全的。

   • Foo 具备不可变性，线程安全，但是类 Bar 并不是线程安全的，类 Bar 中持有对 Foo 的引用 foo，对 foo 这个引用的修改在多线程中并不能保证可见性和原子性。

5. 如果仅仅需要 foo 保持可见性，无需保证原子性，那么可以将 foo 声明为 volatile 变量，这样就能保证可见性。如果你的程序需要保证原子性，那么可以通过原子类来实现。实现合理库存：用原子类解决了不可变对象引用的原子性问题。