提到不变性我首先想到的就是String这个类了。
之前学习了很多原子性以及可见性的问题：失效数据，丢失更新操作或者某个对象的状态不一致，都与多线程试图访问同一个可变的相关。
如果对象的状态不会发生改变，那么这些问题与复杂性也就自然消失了。
如果某个对象在被创建之后其状态就不能被改变，那么这个对象就称为不可变对象。
不可变对象一定是线程安全的。
不可变对象很简单，它们只有一种状态，并且该状态由构造函数来控制的。
1. 不可变对象的状态容易判断
2. 不可信的代码访问不可变对象不会改变其状态，防止留下引用在其他线程中修改
3. 不可变对象可以安全地共享和发布，而不需要保存副本
java语言规范并没有给出不可变性的正式定义，不可变性并不等同于给属性加上final修饰。
即使都用final修饰，带对象也不见得是不可变的，因为final类型的域中可以保存对可变对象的引用。
满足一下条件时，对象才是不可变的：
1. 对象一经创建便不可修改
2. 对象所有的域都是final类型
3. 对象是正确创建的（在创建的时候this没有逸出）
不可变对象只是外部不可以改变其状态，内部还是可以维护的。
在可变对象之上构建不可变对象。
String类型指向的字符串可以修改么？
final类型
volatile来发布不可变对象