不可變類是其實(shí)例不能被修改的類。
比如String、基本數(shù)據(jù)類型的包裝類（String的基本數(shù)據(jù)類型就是String）、BigInteger、BigDecimal。

要使一個類變成不可變的，要遵守下面的規(guī)則：

1. 不提供任何修改對象狀態(tài)的方法。比如setter getter中的setter（也稱作mutator）就不能提供。

2. 保證類不被擴(kuò)展。通常用finla class實(shí)現(xiàn)（也可以用private構(gòu)造函數(shù)的方法，也就是靜態(tài)工廠方法里提到的）。

3. 所有的fileds都設(shè)成私有的、final的。

4、 Ensure exclusive access（互斥訪問） to any mutable components.

下面貼一段很長的代碼，是一個復(fù)數(shù)運(yùn)算的類：

public final class Complex {
    private final double re;
    private final double im;

    public Complex(double re, double im) {
        this.re = re;
        this.im = im;
    }

    // Accessors with no corresponding mutators
    public double realPart() {
        return re;
    }

    public double imaginaryPart() {
        return im;
    }

    public Complex add(Complex c) {
        return new Complex(re + c.re, im + c.im);
    }

    public Complex subtract(Complex c) {
        return new Complex(re - c.re, im - c.im);
    }

    public Complex multiply(Complex c) {
        return new Complex(re * c.re - im * c.im,
                re * c.im + im * c.re);
    }

    public Complex divide(Complex c) {
        double tmp = c.re * c.re + c.im * c.im;
        return new Complex((re * c.re + im * c.im) / tmp,
                (im * c.re - re * c.im) / tmp);
    }

    @Override
    public boolean equals(Object o) {
        if (o == this)
            return true;
        if (!(o instanceof Complex))
            return false;
        Complex c = (Complex) o;
// See page 43 to find out why we use compare instead of ==
        return Double.compare(re, c.re) == 0 &&
                Double.compare(im, c.im) == 0;
    }

    @Override
    public int hashCode() {
        int result = 17 + hashDouble(re);
        result = 31 * result + hashDouble(im);
        return result;
    }

    private int hashDouble(double val) {
        long longBits = Double.doubleToLongBits(re);
        return (int) (longBits ^ (longBits >>> 32));
    }

    @Override
    public String toString() {
        return "(" + re + " + " + im + "i)";
    }
}

可以看到這個類符合了上面列出來的要求。有個特點(diǎn)，每次計算完成之后都new一個實(shí)例，而不是修改傳進(jìn)來的。不可變類可以只有一種狀態(tài)，就是創(chuàng)建時的狀態(tài)。

不可變類天生就是線程安全的，不要求同步。多個線程并發(fā)訪問的時候不會遭到破壞。所以可以被自由地共享。所以你根本不需要給不可變類提供拷貝構(gòu)造器。

堅決不要為每個getter都配置一個setter。除非有很好的理由讓類變成可變的，不然他就應(yīng)該是不可變的。

缺點(diǎn)

不可變類唯一的缺點(diǎn)是，對于每一個類不同的值都需要一個但對的對象。比如要創(chuàng)建幾百萬個BigInteger。

BONUS:

我一直疑惑為什么String可以用=來初始化，而不用new；后來想了想，因?yàn)镾tring是符合類型呀，它的基本數(shù)據(jù)類型和包裝數(shù)據(jù)類型都是String。
引用：

String password="ok";利用到了字符串緩沖池，也就是說如果緩沖池中已經(jīng)存在了相同的字符串，就不會產(chǎn)生新的對象，而直接返回緩沖池中的字符串對象的引用。
如：
String a = "ok";
String b = "ok";
String c = new String("ok");
String d = new String("ok");
System.out.println(a==b);//將輸出"true";因?yàn)閮蓚€變量指向同一個對象。
System.out.println(c==d);//將輸出"flase";因?yàn)閮蓚€變量不指向同一個對象。雖然值相同，只有用c.equals(d)才能返回true.