Java并发编程（八）不变性

提到不变性我首先想到的就是String这个类了。

之前学习了很多原子性以及可见性的问题：失效数据，丢失更新操作或者某个对象的状态不一致，都与多线程试图访问同一个可变的相关。

如果对象的状态不会发生改变，那么这些问题与复杂性也就自然消失了。

如果某个对象在被创建之后其状态就不能被改变，那么这个对象就称为不可变对象。

不可变对象一定是线程安全的。

不可变对象很简单，它们只有一种状态，并且该状态由构造函数来控制的。

1. 不可变对象的状态容易判断

2. 不可信的代码访问不可变对象不会改变其状态，防止留下引用在其他线程中修改

3. 不可变对象可以安全地共享和发布，而不需要保存副本

java语言规范并没有给出不可变性的正式定义，不可变性并不等同于给属性加上final修饰。

即使都用final修饰，带对象也不见得是不可变的，因为final类型的域中可以保存对可变对象的引用。

满足一下条件时，对象才是不可变的：

1. 对象一经创建便不可修改

2. 对象所有的域都是final类型

3. 对象是正确创建的（在创建的时候this没有逸出）

不可变对象只是外部不可以改变其状态，内部还是可以维护的。

在可变对象之上构建不可变对象。

String类型指向的字符串可以修改么？

final类型

volatile来发布不可变对象