Java mutable對象和immutable對象的區(qū)別說明

更新時間：2021年06月10日 15:19:24 作者：zhongrui_fzr

這篇文章主要介紹了Java mutable對象和immutable對象的區(qū)別，具有很好的參考價值，希望對大家有所幫助。如有錯誤或未考慮完全的地方，望不吝賜教

Java mutable對象和immutable對象的區(qū)別

今天讀jdk源碼中Map.java時看到一句話：

great care must be exercised if mutable objects are used as map keys;

第一次知道m(xù)utable對象這個概念，google了一下，維基百科定義如下：

“In object-oriented and functional programming, an immutable object (unchangeable[1] object) is an object whose state cannot be modified after it is created.[2] This is in contrast to a mutable object (changeable object) , which can be modified after it is created. In some cases, an object is considered immutable even if some internally used attributes change but the object's state appears to be unchanging from an external point of view. For example, an object that uses memoization to cache the results of expensive computations could still be considered an immutable object.”

在面向?qū)ο蠛秃瘮?shù)式編程中，一個immutable對象（不可變對象）是指一旦創(chuàng)建之后狀態(tài)不可改變的對象。

mutable對象（可變對象）是指創(chuàng)建之后也可以修改的對象。

在有些情況下，對象也被認(rèn)為是不可變的（immutable），即，一個對象包含的內(nèi)部使用的屬性改變了，但從外部看對象的狀態(tài)并沒有改變。

例如，一個使用memoization來緩存復(fù)雜計算結(jié)果的對象仍然被看作是不可變（immutable）對象.

在面向?qū)ο缶幊讨校琒tring 以及其他的具體對象都被看作是不可變（immutable）對象，以提高可讀性和運(yùn)行效率。

不可變對象有幾個優(yōu)點(diǎn)：

線程安全

易于理解

比可變對象有更高的安全性

Java中不可變對象的經(jīng)典例子就是String類的實(shí)例：

String s = "ABC";
s.toLowerCase();

toLowerCase()方法不會改變s中包含的數(shù)據(jù)“ABC”。而是創(chuàng)建一個新的String對象并將其初始化為“abc”，然后返回這個新對象的引用。

盡管String類聲明中沒有提供讓它成為不可變對象的語法，但是，String類的方法中沒有方法去改變一個String包含的數(shù)據(jù)，這就使得它是不可變的。

Java中關(guān)鍵字final用于聲明原始數(shù)據(jù)類型（primitive types）和對象引用為不可變對象，但是它不能使對象本身變?yōu)椴豢勺儗ο蟆?/p>

原始數(shù)據(jù)類型（primitive types）變量（int, long, short等）定義之后還可以再重新賦值，可以使用final阻止這樣的賦值。

int i = 42; //int is of primitive type
i = 43; // OK
final int j = 42;
j = 43; // does not compile. j is final so can't be reassigned

僅僅使用final關(guān)鍵字還不能讓引用類型（reference types）成為不可變對象，final只能阻止重新賦值。

final MyObject m = new MyObject(); //m is of reference type
m.data = 100; // OK. We can change state of object m (m is mutable and final doesn't change this fact)
m = new MyObject(); // does not compile. m is final so can't be reassigned

原始類型包裝類（primitive wrappers）（Integer，Long, Short, Double, Float, Character, Byte, Boolean）也都是不可變的。

Java mutable 和 immutable類型

含義解釋

immutable ： variables that are assigned once and never reassigned.

mutable ： When you assign to a variable or a field, you're changing where the variable's arrow points. You can point it to a different value. When you assign to the contents of a mutable value – such as an array or list – you're changing references inside that value.

基本類型及其封裝對象類型都是不可變的