一、原理

1、不變模式（不可變對象）

在并行軟件開發(fā)過程中,同步操作似乎是必不可少的。當(dāng)多線程對同一個對象進(jìn)行讀寫操作時,為了保證對象數(shù)據(jù)的一致性和正確性,有必要對對象進(jìn)行同步。而同步操作對系統(tǒng)性能是相當(dāng)?shù)膿p耗。為了能盡可能的去除這些同步操作，提高并行程序性能,可以使用一種不可改變的對象，依靠對象的不變性，可以確保其在沒有同步操作的多線程環(huán)境中依然始終保持內(nèi)部狀態(tài)的一致性和正確性。這就是不變模式。

不變模式天生就是多線程友好的,它的核心思想是,一個對象一旦被創(chuàng)建,則它的內(nèi)部狀態(tài)將永遠(yuǎn)不會發(fā)生改變。所以,沒有一個線程可以修改其內(nèi)部狀態(tài)和數(shù)據(jù),同時其內(nèi)部狀態(tài)也絕不會自行發(fā)生改變。基于這些特性,對不變對象的多線程操作不需要進(jìn)行同步控制。

同時還需要注意,不變模式和只讀屬性是有一定的區(qū)別的,不變模式是比讀屬性具有更強(qiáng)的一致性和不變性。對只讀屬性的對象而言,對象本身不能被其他線程修改,但是對象身狀態(tài)卻可能自行修改比如,一個對象的存活時間(對象創(chuàng)建時間和當(dāng)前時間的時間差)是只讀的,因?yàn)槿魏蝹€第三方線程都不能修改這個屬性,但是這是一個可變的屬性,因?yàn)殡S著時間的推移,存活時司時刻都在發(fā)生變化。而不變模式則要求,無論出于什么原因,對象自創(chuàng)建后,其內(nèi)部狀態(tài)和數(shù)據(jù)保持絕對的穩(wěn)定。

2、怎么實(shí)現(xiàn)不可變對象

在Java語言中,不變模式的實(shí)現(xiàn)很簡單。為確保對象被創(chuàng)建后,不發(fā)生任何改變,并保證不變模式正常工作,只需要注意以下4點(diǎn):

去除 setter方法以及所有修改自身屬性的方法。 將所有屬性設(shè)置為私有,并用final標(biāo)記,確保其不可修改 確保沒有子類可以重載修改它的行為。 有一個可以創(chuàng)建完整對象的構(gòu)造函數(shù)。

是不是和final的功能很吻合。我們復(fù)習(xí)一下java中final的作用。

final修飾類，表示該類不能被繼承，俗稱斷子絕孫類，該類的所有方法自動地成為final方法 final修飾方法，表示子類不可重寫該方法 final修飾基本數(shù)據(jù)類型變量，表示該變量為常量，值不能再修改 final修飾引用類型變量，表示該引用在構(gòu)造對象之后不能指向其他的對象，但該引用指向的對象的狀態(tài)可以改變

這里需要說明的是：當(dāng)使用final修飾基本類型變量時，不能對基本類型變量重新賦值，因此基本類型變量不能被改變。但對于引用類型變量而言，它保存的僅僅是一個引用，final只保證這個引用變量所引用的地址不會改變，即一直引用同一個對象，但這個對象完全可以發(fā)生改變。例如某個指向數(shù)組的final引用，它必須從此至終指向初始化時指向的數(shù)組，但是這個數(shù)組的內(nèi)容完全可以改變。

二、String源碼分析

以下是jdk1.8中String類的部分源碼。　

public final class String implements java.io.Serializable, Comparable<String>, CharSequence { /** The value is used for character storage. */ private final char value[]; /** Cache the hash code for the string */ private int hash; // Default to 0 /** use serialVersionUID from JDK 1.0.2 for interoperability */ private static final long serialVersionUID = -6849794470754667710L; /** ...}

首先可以看到，String類使用了final修飾符，表明String類是不可繼承的。然后，我們主要關(guān)注String類的成員變量value,value是char[]類型，因此String對象實(shí)際上是用這個字符數(shù)組進(jìn)行封裝的。

再看value的修飾符，使用了private，也沒有提供setter方法，所以在String類的外部不能修改value，同時value也使用了final進(jìn)行修飾，那么在String類的內(nèi)部也不能修改value，也就是說value一旦賦予初始值之后，value指向的地址就不能再改變了。但是上面final修飾引用類型變量的內(nèi)容提到，這只能保證value不能指向其他的對象，但value指向的對象的狀態(tài)是可以改變的。

通過查看String類源碼可以發(fā)現(xiàn)，String類不可變，關(guān)鍵是因?yàn)镾UN公司的工程師，在后面所有String的方法里都很小心的沒有去動字符數(shù)組里的元素。所以String類不可變的關(guān)鍵都在底層的實(shí)現(xiàn)，而不僅僅是一個final。

三、修改String使其“可變”

雖然value是final修飾的，只是說明value不能再重新指向其他的引用。但是value指向的數(shù)組可以改變，一般情況下我們是沒有辦法訪問到這個value指向的數(shù)組的元素。But，反射，對，反射可以，牛逼吧。可以反射出String對象中的value屬性， 進(jìn)而改變通過獲得的value引用改變數(shù)組的結(jié)構(gòu)。

public static void main(String[] args) throws Exception { String str = 'Hello World'; System.out.println('修改前的str:' + str); System.out.println('修改前的str的內(nèi)存地址' + System.identityHashCode(str)); // 獲取String類中的value字段 Field valueField = String.class.getDeclaredField('value'); // 改變value屬性的訪問權(quán)限 valueField.setAccessible(true); // 獲取str對象上value屬性的值 char[] value = (char[]) valueField.get(str); // 改變value所引用的數(shù)組中的字符 value[3] = ’?’; System.out.println('修改后的str:' + str); System.out.println('修改前的str的內(nèi)存地址' + System.identityHashCode(str));}// 運(yùn)行結(jié)果// 可以看到str的字符串序列已經(jīng)被改變了，但是str的內(nèi)存地址還是沒有改變。修改前的str:Hello World修改前的str的內(nèi)存地址1922154895修改后的str:Hel?o World修改前的str的內(nèi)存地址1922154895

四、String設(shè)計(jì)成不可變性的原因

在Java中，將String設(shè)計(jì)成不可變的是綜合考慮到內(nèi)存、同步、數(shù)據(jù)結(jié)構(gòu)及安全等各種因素的結(jié)果，下文將為各種因素做一個小結(jié)。

1、運(yùn)行時常量池的需要

比如執(zhí)行 String s = 'abc';執(zhí)行上述代碼時，JVM首先在運(yùn)行時常量池中查看是否存在String對象“abc”，如果已存在該對象，則不用創(chuàng)建新的String對象“abc”，而是將引用s直接指向運(yùn)行時常量池中已存在的String對象“abc”；如果不存在該對象，則先在運(yùn)行時常量池中創(chuàng)建一個新的String對象“abc”，然后將引用s指向運(yùn)行時常量池中創(chuàng)建的新String對象。這樣在運(yùn)行時常量池中只會創(chuàng)建一個String對象'abc'，這樣就節(jié)省了內(nèi)存空間。

2、同步

因?yàn)镾tring對象是不可變的，所以是多線程安全的，同一個String實(shí)例可以被多個線程共享。這樣就不用因?yàn)榫€程安全問題而使用同步。

3、允許String對象緩存hashcode

查看上文JDK1.8中String類源碼，可以發(fā)現(xiàn)其中有一個字段hash，String類的不可變性保證了hashcode的唯一性，所以可以用hash字段對String對象的hashcode進(jìn)行緩存，就不需要每次重新計(jì)算hashcode。所以Java中String對象經(jīng)常被用來作為HashMap等容器的鍵。

4、安全性

如果String對象是可變的，那么會引起很嚴(yán)重的安全問題。比如，數(shù)據(jù)庫的用戶名、密碼都是以字符串的形式傳入來獲得數(shù)據(jù)庫的連接，或者在socket編程中，主機(jī)名和端口都是以字符串的形式傳入。因?yàn)镾tring對象是不可變的，所以它的值是不可改變的，否則黑客們可以鉆到空子，改變String引用指向的對象的值，造成安全漏洞。

以上就是本文的全部內(nèi)容，希望對大家的學(xué)習(xí)有所幫助，也希望大家多多支持好吧啦網(wǎng)。