定义

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

线程安全

线程安全性是不可变对象的固有属性之一，它们的不变性条件是由构造函数创建的，只要它们的状态不改变，那么这些不变性条件就能得以维持。

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

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

1. 对象创建以后其状态就不能修改。

2. 对象的所有域都是 final 类型(当然像不可变String类型的域并不需要声明为final)。

3. 对象是正确创建的(在对象的创建期间，this引用没有逸出)。

有状态就是有数据存储功能。有状态对象(Stateful Bean)，就是有实例变量的对象，可以保存数据，是非线程安全的。在不同方法调用间不保留任何状态。

无状态就是一次操作，不能保存数据。无状态对象(Stateless Bean)，就是没有实例变量的对象.不能保存数据，是不变类，是线程安全的。

无状态类例子：Servlet

线程安全类的一个很好的例子是java servlet，它没有字段和引用，没有其他类的字段等等。它们是无状态(stateless)的。

public class StatelessFactorizer implements Servlet {

    public void service(ServletRequest req, ServletResponse resp) {
        BigInteger i = extractFromRequest(req);
        BigInteger[] factors = factor(i);
        encodeIntoResponse(resp, factors);
    }

}