01、什麼是不可變類
一個類的物件在透過構造方法建立後如果狀態不會再被改變,那麼它就是一個不可變(immutable)類。它的所有成員變數的賦值僅在構造方法中完成,不會提供任何 setter 方法供外部類去修改。
自從有了多執行緒,生產力就被無限地放大了,所有的程式設計師都愛它,因為強大的硬體能力被充分地利用了。但與此同時,所有的程式設計師都對它心生忌憚,因為一不小心,多執行緒就會把物件的狀態變得混亂不堪。
爲了保護狀態的原子性、可見性、有序性,我們程式設計師可以說是竭盡所能。其中,synchronized(同步)關鍵字是最簡單最入門的一種解決方案。
假如說類是不可變的,那麼物件的狀態就也是不可變的。這樣的話,每次修改物件的狀態,就會產生一個新的物件供不同的執行緒使用,我們程式設計師就不必再擔心併發問題了。
02、常見的不可變類
提到不可變類,幾乎所有的程式設計師第一個想到的,就是 String 類。那為什麼 String 類要被設計成不可變的呢?
1)常量池的需要
字串常量池是 Java 堆記憶體中一個特殊的儲存區域,當建立一個 String 物件時,假如此字串在常量池中不存在,那麼就建立一個;假如已經存,就不會再建立了,而是直接引用已經存在的物件。這樣做能夠減少 JVM 的記憶體開銷,提高效率。
2)hashCode 需要
因為字串是不可變的,所以在它建立的時候,其 hashCode 就被快取了,因此非常適合作為雜湊值(比如說作為 HashMap 的鍵),多次呼叫只返回同一個值,來提高效率。
3)執行緒安全
就像之前說的那樣,如果物件的狀態是可變的,那麼在多執行緒環境下,就很容易造成不可預期的結果。而 String 是不可變的,就可以在多個執行緒之間共享,不需要同步處理。
因此,當我們呼叫 String 類的任何方法(比如說 trim()
、substring()
、toLowerCase()
)時,總會返回一個新的物件,而不影響之前的值。
String cmower = "張三,一枚有趣的程式設計師"; cmower.substring(0,4); System.out.println(cmower);// 張三,一枚有趣的程式設計師
雖然呼叫 substring()
方法對 cmower 進行了擷取,但 cmower 的值沒有改變。
除了 String 類,包裝器類 Integer、Long 等也是不可變類。
03、手擼一個不可變類
一個不可變類,必須要滿足以下 4 個條件:
1)確保類是 final 的,不允許被其他類繼承。
2)確保所有的成員變數(欄位)是 final 的,這樣的話,它們就只能在構造方法中初始化值,並且不會在隨後被修改。
3)不要提供任何 setter 方法。
4)如果要修改類的狀態,必須返回一個新的物件。
按照以上條件,我們來自定義一個簡單的不可變類 Writer。
public final class Writer { private final String name; private final int age; public Writer(String name, int age) { this.name = name; this.age = age; } public int getAge() { return age; } public String getName() { return name; } }
Writer 類是 final 的,name 和 age 也是 final 的,沒有 setter 方法。
OK,據說這個作者分享了很多部落格,廣受讀者的喜愛,因此某某出版社找他寫了一本書(Book)。Book 類是這樣定義的:
public class Book { private String name; private int price; public String getName() { return name; } public void setName(String name) { this.name = name; } public int getPrice() { return price; } public void setPrice(int price) { this.price = price; } @Override public String toString() { return "Book{" + "name='" + name + '\'' + ", price=" + price + '}'; } }
2 個欄位,分別是 name 和 price,以及 getter 和 setter,重寫後的 toString()
方法。然後,在 Writer 類中追加一個可變物件欄位 book。
public final class Writer { private final String name; private final int age; private final Book book; public Writer(String name, int age, Book book) { this.name = name; this.age = age; this.book = book; } public int getAge() { return age; } public String getName() { return name; } public Book getBook() { return book; } }
並在構造方法中追加了 Book 引數,以及 Book 的 getter 方法。
完成以上工作後,我們來新建一個測試類,看看 Writer 類的狀態是否真的不可變。
public class WriterDemo { public static void main(String[] args) { Book book = new Book(); book.setName("CodeUpHub的 Java 進階之路"); book.setPrice(79); Writer writer = new Writer("張三",18, book); System.out.println("定價:" + writer.getBook()); writer.getBook().setPrice(59); System.out.println("促銷價:" + writer.getBook()); } }
程式輸出的結果如下所示:
定價:Book{name='CodeUpHub的 Java 進階之路', price=79} 促銷價:Book{name='CodeUpHub的 Java 進階之路', price=59}
糟糕,Writer 類的不可變性被破壞了,價格發生了變化。爲了解決這個問題,我們需要為不可變類的定義規則追加一條內容:
如果一個不可變類中包含了可變類的物件,那麼就需要確保返回的是可變物件的副本。也就是說,Writer 類中的 getBook()
方法應該修改爲:
public Book getBook() { Book clone = new Book(); clone.setPrice(this.book.getPrice()); clone.setName(this.book.getName()); return clone; }
這樣的話,構造方法初始化後的 Book 物件就不會再被修改了。此時,執行 WriterDemo,就會發現價格不再發生變化了。
定價:Book{name='CodeUpHub的 Java 進階之路', price=79} 促銷價:Book{name='CodeUpHub的 Java 進階之路', price=79}
04、總結
不可變類有很多優點,就像之前提到的 String 類那樣,尤其是在多執行緒環境下,它非常的安全。儘管每次修改都會建立一個新的物件,增加了記憶體的消耗,但這個缺點相比它帶來的優點,顯然是微不足道的——無非就是撿了西瓜,丟了芝麻。