并发编程之共享模型的不可变

并发编程之共享模型的不可变

• 7.2 不可变设计
• 享元模式
• 2. 体现
• 2.1 包装类
• final原理
• 1.设置final变量的原理

7.2 不可变设计

final的使用
发现该类、类中所有属性都是final的

• 属性用final修饰保证了该属性是只读的，不能修改
• 类用final修饰保证了该类中的方法不能被覆盖，防止子类无意间破坏不可变性
  保护性拷贝
  使用字符串时，也有一些跟修改相关的方法，比如substring等，就以substring为例 ：
  
  发现其内部是调用String的构造方法创建了一个新字符串，再进入这个构造看看，是否对final char[] value做了修改 ：
  
  结果发现也没有，构造新字符串对象时，会生成全新的char[] value，对内容进行复制。这种通过创建副本对象来避免共享的手段称之为【保护性拷贝（defensive copy）】

享元模式

定义 ：
英文名称 ：Flyweight pattern。当需要重用数量有限的用一类对象时

2. 体现

2.1 包装类

在JDK中Boolean、Byte、Short、Integer、Long、Character等包装类提供了valueOf方法，例如Long的valueOf会缓存-128~127之间的Long对象，在这个范围之间会重用对象，大于这个范围，才会创建新Long对象 ：

注意 ：
Byte、Short和Long缓存的范围都是-128~127
Character缓存的范围是0~127
Integer的默认范围是-128~127，最小值不能变，但最大值可以通过调整虚拟机参数 -Djava.lang.Integer.IntegerCache.high来改变
Boolean缓存了TRUE和FALSE

final原理

1.设置final变量的原理

理解了volatile原理，再对比final的实现就比较简单了

字节码

发现final变量的赋值也会通过putfield指令来完成，同样在这条指令之后也会加入写屏障，保证在其它线程读到它的值时不会出现为0的情况