深入理解Java中的不可變對象

来源:https://www.cnblogs.com/dolphin0520/archive/2019/04/12/10693891.html
-Advertisement-
Play Games

深入理解Java中的不可變對象 不可變對象想必大部分朋友都不陌生，大家在平時寫代碼的過程中100%會使用到不可變對象，比如最常見的String對象、包裝器對象等，那麼到底為何Java語言要這麼設計，真正意圖和考慮點是什麼？可能一些朋友沒有細想過這些問題，今天我們就來聊聊跟不可變對象有關的話題。 以下 ...


深入理解Java中的不可變對象

　　不可變對象想必大部分朋友都不陌生，大家在平時寫代碼的過程中100%會使用到不可變對象，比如最常見的String對象、包裝器對象等，那麼到底為何Java語言要這麼設計，真正意圖和考慮點是什麼？可能一些朋友沒有細想過這些問題，今天我們就來聊聊跟不可變對象有關的話題。

 　　以下是本文目錄大綱：

　　一.什麼是不可變對象

　　二.深入理解不可變性

　　三.如何創建不可變對象

　　四.不可變對象真的"完全不可改變"嗎？

　　若有不正之處，希望諒解並歡迎批評指正。

　　請尊重作者勞動成果，轉載請標明原文鏈接：

　　https://www.cnblogs.com/dolphin0520/p/10693891.html

 

一.什麼是不可變對象

　　下麵是《Effective Java》這本書對於不可變對象的定義：

不可變對象(Immutable Object)：對象一旦被創建後，對象所有的狀態及屬性在其生命周期內不會發生任何變化。

　　從不可變對象的定義來看，其實比較簡單，就是一個對象在創建後，不能對該對象進行任何更改。比如下麵這段代碼：

public class ImmutableObject {
    private int value;
    
    public ImmutableObject(int value) {
        this.value = value;
    }
    
    public int getValue() {
        return this.value;
    }
}

　　由於ImmutableObject不提供任何setter方法，並且成員變數value是基本數據類型，getter方法返回的是value的拷貝，所以一旦ImmutableObject實例被創建後，該實例的狀態無法再進行更改，因此該類具備不可變性。

　　再比如我們平時用的最多的String：

public class Test {

    public static void main(String[] args) {
        String str = "I love java";
        String str1 = str;

        System.out.println("after replace str:" + str.replace("java", "Java"));
        System.out.println("after replace str1:" + str1);
    }
}

　　輸出結果：

　　

　　從輸出結果可以看出，在對str進行了字元串替換替換之後，str1指向的字元串對象仍然沒有發生變化。

二.深入理解不可變性

　　我們是否考慮過一個問題：假如Java中的String、包裝器類設計成可變的ok麽？如果String對象可變了，會帶來哪些問題？

　　我們這一節主要來聊聊不可變對象存在的意義。

1）讓併發編程變得更簡單

　　說到併發編程，可能很多朋友都會覺得最苦惱的事情就是如何處理共用資源的互斥訪問，可能稍不留神，就會導致代碼上線後出現莫名其妙的問題，並且大部分併發問題都不是太容易進行定位和復現。所以即使是非常有經驗的程式員，在進行併發編程時，也會非常的小心，內心如履薄冰。

　　大多數情況下，對於資源互斥訪問的場景，都是採用加鎖的方式來實現對資源的串列訪問，來保證併發安全，如synchronize關鍵字，Lock鎖等。但是這種方案最大的一個難點在於：在進行加鎖和解鎖時需要非常地慎重。如果加鎖或者解鎖時機稍有一點偏差，就可能會引發重大問題，然而這個問題Java編譯器無法發現，在進行單元測試、集成測試時可能也發現不了，甚至程式上線後也能正常運行，但是可能突然在某一天，它就莫名其妙地出現了。

　　既然採用串列方式來訪問共用資源這麼容易出現問題，那麼有沒有其他辦法來解決呢？

　　事實上，引起線程安全問題的根本原因在於：多個線程需要同時訪問同一個共用資源。

　　假如沒有共用資源，那麼多線程安全問題就自然解決了，Java中提供的ThreadLocal機制就是採取的這種思想。

　　然而大多數時候，線程間是需要使用共用資源互通信息的，如果共用資源在創建之後就完全不再變更，如同一個常量，而多個線程間併發讀取該共用資源是不會存線上上安全問題的，因為所有線程無論何時讀取該共用資源，總是能獲取到一致的、完整的資源狀態。

　　不可變對象就是這樣一種在創建之後就不再變更的對象，這種特性使得它們天生支持線程安全，讓併發編程變得更簡單。

　　我們來看一個例子，這個例子來源於：http://ifeve.com/immutable-objects/

public class SynchronizedRGB {
    private int red;  // 顏色對應的紅色值
    private int green; // 顏色對應的綠色值
    private int blue;  // 顏色對應的藍色值
    private String name; // 顏色名稱

    private void check(int red, int green, int blue) {
        if (red < 0 || red > 255 || green < 0 || green > 255 
                || blue < 0 || blue > 255) {
            throw new IllegalArgumentException();
        }
    }

    public SynchronizedRGB(int red, int green, int blue, String name) {
        check(red, green, blue);
        this.red = red;
        this.green = green;
        this.blue = blue;
        this.name = name;
    }

    public void set(int red, int green, int blue, String name) {
        check(red, green, blue);
        synchronized (this) {
            this.red = red;
            this.green = green;
            this.blue = blue;
            this.name = name;
        }
    }

    public synchronized int getRGB() {
        return ((red << 16) | (green << 8) | blue);
    }

    public synchronized String getName() {
        return name;
    }
}

　　例如一個有個線程1執行了以下代碼：

SynchronizedRGB color =  new SynchronizedRGB(0, 0, 0, "Pitch Black");
int myColorInt = color.getRGB();      // Statement1
String myColorName = color.getName(); // Statement2

　　然後有另外一個線程2在Statement 1之後、Statement 2之前調用了color.set方法：

color.set(0, 255, 0, "Green");

　　那麼線上程1中變數myColorInt的值和myColorName的值就會不匹配。為了避免出現這樣的結果，必須要像下麵這樣把這兩條語句綁定到一塊執行：

synchronized (color) {
    int myColorInt = color.getRGB();
    String myColorName = color.getName();
}

　　假如SynchronizedRGB是不可變類，那麼就不會出現這個問題，比如將SynchronizedRGB改成下麵這種實現方式：

public class ImmutableRGB {
    private int red;
    private int green;
    private int blue;
    private String name;

    private void check(int red, int green, int blue) {
        if (red < 0 || red > 255 || green < 0 || green > 255
                || blue < 0 || blue > 255) {
            throw new IllegalArgumentException();
        }
    }

    public ImmutableRGB(int red, int green, int blue, String name) {
        check(red, green, blue);
        this.red = red;
        this.green = green;
        this.blue = blue;
        this.name = name;
    }

    public ImmutableRGB set(int red, int green, int blue, String name) {
        return new ImmutableRGB(red, green, blue, name);
    }

    public int getRGB() {
        return ((red << 16) | (green << 8) | blue);
    }

    public String getName() {
        return name;
    }
}

　　由於set方法並沒有改變原來的對象，而是新創建了一個對象，所以無論線程1或者線程2怎麼調用set方法，都不會出現併發訪問導致的數據不一致的問題。

2）消除副作用

　　很多時候一些很嚴重的bug是由於一個很小的副作用引起的，並且由於副作用通常不容易被察覺，所以很難在編寫代碼以及代碼review過程中發現，並且即使發現了也可能會花費很大的精力才能定位出來。

　　舉個簡單的例子：

class Person {
    private int age;   // 年齡
    private String identityCardID;  // 身份證號碼

    public int getAge() {
        return age;
    }

    public void setAge(int age) {
        this.age = age;
    }

    public String getIdentityCardID() {
        return identityCardID;
    }

    public void setIdentityCardID(String identityCardID) {
        this.identityCardID = identityCardID;
    }
}


public class Test {

    public static void main(String[] args) {
        Person jack = new Person();
        jack.setAge(101);
        jack.setIdentityCardID("42118220090315234X");

        System.out.println(validAge(jack));
　　　　
　　　　// 後續使用可能沒有察覺到jack的age被修改了
　　　　// 為後續埋下了不容易察覺的問題

    }

    public static boolean validAge(Person person) {
        if (person.getAge() >= 100) {
            person.setAge(100);  // 此處產生了副作用
            return false;
        }
        return true;
    }

}

　　validAge函數本身只是對age大小進行判斷，但是在這個函數裡面有一個副作用，就是對參數person指向的對象進行了修改，導致在外部的jack指向的對象也發生了變化。

　　如果Person對象是不可變的，在validAge函數中是無法對參數person進行修改的，從而避免了validAge出現副作用，減少了出錯的概率。

3）減少容器使用過程出錯的概率

　　我們在使用HashSet時，如果HashSet中元素對象的狀態可變，就會出現元素丟失的情況，比如下麵這個例子：

class Person {
    private int age;   // 年齡
    private String identityCardID;  // 身份證號碼

    public int getAge() {
        return age;
    }

    public void setAge(int age) {
        this.age = age;
    }

    public String getIdentityCardID() {
        return identityCardID;
    }

    public void setIdentityCardID(String identityCardID) {
        this.identityCardID = identityCardID;
    }

    @Override
    public boolean equals(Object obj) {
        if (obj == null) {
            return false;
        }

        if (!(obj instanceof  Person)) {
            return false;
        }
        Person personObj = (Person) obj;
        return this.age == personObj.getAge() && this.identityCardID.equals(personObj.getIdentityCardID());
    }

    @Override
    public int hashCode() {
        return age * 37 + identityCardID.hashCode();
    }
}


public class Test {

    public static void main(String[] args) {
        Person jack = new Person();
        jack.setAge(10);
        jack.setIdentityCardID("42118220090315234X");

        Set<Person> personSet = new HashSet<Person>();
        personSet.add(jack);

        jack.setAge(11);

        System.out.println(personSet.contains(jack));

    }
}

　輸出結果：

　　

　　所以在Java中，對於String、包裝器這些類，我們經常會用他們來作為HashMap的key，試想一下如果這些類是可變的，將會發生什麼？後果不可預知，這將會大大增加Java代碼編寫的難度。

三.如何創建不可變對象

　　通常來說，創建不可變類原則有以下幾條：

　　1）所有成員變數必須是private

　　2）最好同時用final修飾(非必須)

　　3）不提供能夠修改原有對象狀態的方法

    • 最常見的方式是不提供setter方法

    • 如果提供修改方法，需要新創建一個對象，併在新創建的對象上進行修改

　　4）通過構造器初始化所有成員變數，引用類型的成員變數必須進行深拷貝(deep copy)

　　5）getter方法不能對外泄露this引用以及成員變數的引用

　　6）最好不允許類被繼承(非必須)

　　JDK中提供了一系列方法方便我們創建不可變集合，如：

Collections.unmodifiableList(List<? extends T> list)

　　另外，在Google的Guava包中也提供了一系列方法來創建不可變集合，如：

ImmutableList.copyOf(list)

　　這2種方式雖然都能創建不可變list，但是兩者是有區別的，JDK自帶提供的方式實際上創建出來的不是真正意義上的不可變集合，看unmodifiableList方法的實現就知道了：

　　可以看出，實際上UnmodifiableList是將入參list的引用複製了一份，同時將所有的修改方法拋出UnsupportedOperationException。因此如果在外部修改了入參list，實際上會影響到UnmodifiableList，而Guava包提供的ImmutableList是真正意義上的不可變集合，它實際上是對入參list進行了深拷貝。看下麵這段測試代碼的結果便一目瞭然：

public class Test {

    public static void main(String[] args) {
        List<Integer> list = new ArrayList<Integer>();
        list.add(1);
        System.out.println(list);

        List unmodifiableList = Collections.unmodifiableList(list);
        ImmutableList immutableList = ImmutableList.copyOf(list);

        list.add(2);
        System.out.println(unmodifiableList);
        System.out.println(immutableList);

    }

}

　　輸出結果：

四.不可變對象真的"完全不可改變"嗎？

　　不可變對象雖然具備不可變性，但是不是"完全不可變"的，這裡打上引號是因為通過反射的手段是可以改變不可變對象的狀態的。

　　大家看到這裡可能有疑惑了，為什麼既然能改變，為何還叫不可變對象？這裡面大家不要誤會不可變的本意，從不可變對象的意義分析能看出來對象的不可變性只是用來輔助幫助大家更簡單地去編寫代碼，減少程式編寫過程中出錯的概率，這是不可變對象的初衷。如果真要靠通過反射來改變一個對象的狀態，此時編寫代碼的人也應該會意識到此類在設計的時候就不希望其狀態被更改，從而引起編寫代碼的人的註意。下麵是通過反射方式改變不可變對象的例子：

public class Test {
    public static void main(String[] args) throws Exception {
        String s = "Hello World";
        System.out.println("s = " + s);

        Field valueFieldOfString = String.class.getDeclaredField("value");
        valueFieldOfString.setAccessible(true);

        char[] value = (char[]) valueFieldOfString.get(s);
        value[5] = '_';
        System.out.println("s = " + s);
    }

}

　　輸出結果：

 

參考文章：

http://ifeve.com/immutable-objects/

 


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Spring MVC 不能正常獲取參數的值
    最近在開發時遇到一個非常奇怪的問題，在tomcat8中使用Spring MVC框架，在Controller中的方法參數無法正常獲取到相應的值，將tomcat版本換成7.0就解決了。 記錄以下解決過程，先上圖： 項目採用ssm架構，在這裡獲取不到參數password的值，在網上查詢相關資料，得到以下幾 ...
  • jQuery+php+Ajax文章列表點擊載入更多功能
    jQuery+php+Ajax實現的一個簡單實用的文章列表點擊載入更多功能，點擊載入更多按鈕，文章列表載入更多數據，載入中有loading動畫效果。 ...
  • PyQtdeploy-V2.4 User Guide 中文 （一）
    PyQtdeploy 用戶指南 目錄 "介紹" "與V1.0+的差異" "作者" "證書" "安裝" 部署過程概覽 PyQt的演示 構建演示 Android IOS Linux MacOS Windos 構建系統根目錄 標準組建插件 創建Sysroot規範文件 PyQt演示的Sysroot 命令行 ...
  • python如何安裝cv2
    使用pip3 安裝cv2包的時候報錯 解決方案： pip3 install opencv-python ...
  • #8 Python網路編程（一）
    本篇博文主要記錄網路編程的先修知識，重點講解了五層網路體繫結構和TCP/IP協議 ...
  • day02
    上節課複習： 今日內容： 編程語言： python語言介紹： python解釋器安裝 環境變數： python代碼執行（兩種方式）： pip : 應用程式使用文件的三步驟： 變數： 變數的三大組成： 比較： pycharm ...
  • 樂位元組-Java8新特性之Optional
    上一篇小樂帶大家瞭解了Java新特性之Stream，接下來將會繼續述說Java新特性之Optional Optional<T>類（java.util.Optional）是一個容器類，代表一個值存在或不存在，原來用null表示一個值不存在，現在Optional可以更好的表達這個概念。並且可以避免空指針 ...
  • selenium-確認進入了預期頁面
    selenium確認進入了預期頁面 在自動化操作中，瀏覽器每次進入一個新的需要，都需要確認該頁面是否打開或打開的頁面是否是預期的頁面 需要進行確認頁面後方可進行下一步操作 確認頁面有很多中方法，像每個頁面都有一個固定屬性（ng-page = ‘xxx’）來確認，所以確認頁面的時候就比較方便，只要找該 ...
一周排行
    -Advertisement-
    Play Games
  • WPF 已知問題 監聽 WMI 事件導致觸摸失效
    示例項目結構 在 Visual Studio 中創建一個 WinForms 應用程式後，項目結構如下所示： MyWinFormsApp/ │ ├───Properties/ │ └───Settings.settings │ ├───bin/ │ ├───Debug/ │ └───Release/ ...
  • [STAThread]特性
    [STAThread] 特性用於需要與 COM 組件交互的應用程式，尤其是依賴單線程模型（如 Windows Forms 應用程式）的組件。在 STA 模式下，線程擁有自己的消息迴圈，這對於處理用戶界面和某些 COM 組件是必要的。 [STAThread] static void Main(stri ...
  • UWP WinUI3 傳入 AddHandler 的 RoutedEventHandler 類型與事件所需不匹配將拋出參數異常
    在WinForm中使用全局異常捕獲處理 在WinForm應用程式中，全局異常捕獲是確保程式穩定性的關鍵。通過在Program類的Main方法中設置全局異常處理，可以有效地捕獲並處理未預見的異常，從而避免程式崩潰。 註冊全局異常事件 [STAThread] static void Main() { / ...
  • .NET 多版本 WinForm 開源控制項庫 SunnyUI
    前言 給大家推薦一款開源的 Winform 控制項庫，可以幫助我們開發更加美觀、漂亮的 WinForm 界面。 項目介紹 SunnyUI.NET 是一個基於 .NET Framework 4.0+、.NET 6、.NET 7 和 .NET 8 的 WinForm 開源控制項庫，同時也提供了工具類庫、擴展 ...
  • .net core8 使用Swagger（附當前源碼）
    說明 該文章是屬於OverallAuth2.0系列文章，每周更新一篇該系列文章（從0到1完成系統開發）。 該系統文章，我會儘量說的非常詳細，做到不管新手、老手都能看懂。 說明：OverallAuth2.0 是一個簡單、易懂、功能強大的許可權+可視化流程管理系統。 有興趣的朋友，請關註我吧(*^▽^*) ...
  • WPF 什麼時候 VisualTreeHelper.GetDescendantBounds 將返回無窮大
    一、下載安裝 1.下載git 必須先下載並安裝git，再TortoiseGit下載安裝 git安裝參考教程：https://blog.csdn.net/mukes/article/details/115693833 2.TortoiseGit下載與安裝 TortoiseGit，Git客戶端，32/6 ...
  • C# 開源教程帶你輕鬆掌握數據結構與演算法
    前言 在項目開發過程中，理解數據結構和演算法如同掌握蓋房子的秘訣。演算法不僅能幫助我們編寫高效、優質的代碼，還能解決項目中遇到的各種難題。 給大家推薦一個支持C#的開源免費、新手友好的數據結構與演算法入門教程：Hello演算法。 項目介紹 《Hello Algo》是一本開源免費、新手友好的數據結構與演算法入門 ...
  • 第22篇 生成proto文件bat腳本
    1.生成單個Proto.bat內容 @rem Copyright 2016, Google Inc. @rem All rights reserved. @rem @rem Redistribution and use in source and binary forms, with or with ...
  • 記一次 .NET某上位機視覺程式 卡死分析
    一：背景 1. 講故事 前段時間有位朋友找到我，說他的窗體程式在客戶這邊出現了卡死，讓我幫忙看下怎麼回事？dump也生成了，既然有dump了那就上 windbg 分析吧。 二：WinDbg 分析 1. 為什麼會卡死 窗體程式的卡死，入口門檻很低，後續往下分析就不一定了，不管怎麼說先用 !clrsta ...
  • 醫學DICOM文件與PACS系統進行數據傳輸
    前言 人工智慧時代，人臉識別技術已成為安全驗證、身份識別和用戶交互的關鍵工具。 給大家推薦一款.NET 開源提供了強大的人臉識別 API，工具不僅易於集成，還具備高效處理能力。 本文將介紹一款如何利用這些API，為我們的項目添加智能識別的亮點。 項目介紹 GitHub 上擁有 1.2k 星標的 C# ...
所有分類