不可變數據結構（Immutable Data Structures）是指一旦創建之后，其內容就不能被修改的數據結構。這意味著任何對不可變數據結構的“修改”操作實際上都會返回一個新的數據結構，而原始數據結構保持不變。

一、不可變數據結構的核心特點

1. 不可變性：一旦創建后，數據結構的內容不能被改變。
2. 持久化數據結構：由于不可變數據結構在“修改”時會生成新的實例，舊版本的數據仍然可以訪問和使用。這種特性稱為持久化（Persistence）。
3. 引用透明性：相同的輸入總是產生相同的結果，這使得函數式編程中的推理和優化更加容易。

二、為什么使用不可變數據結構？

1. 線程安全

由于不可變數據結構不能被修改，因此它們天然就是線程安全的。多個線程可以共享同一個不可變對象，而不用擔心并發修改問題。

2. 簡化調試和測試

由于不可變數據結構的狀態不會改變，調試和測試變得更加簡單。你不需要擔心某個地方意外地改變了數據結構的狀態。

3. 便于函數式編程

函數式編程強調無副作用（side-effect-free）和純函數（pure functions）。不可變數據結構非常適合這種編程范式，因為它們確保了函數的輸出只依賴于輸入，而不受外部狀態的影響。

4. 優化性能

雖然每次“修改”都生成新的實例看起來效率低下，但實際上許多不可變數據結構實現中采用了結構共享技術（structural sharing），從而減少了內存開銷和復制操作的時間復雜度。

三、常見的不可變數據結構

1. 不可變數組（Immutable Array）

在不可變數組中，任何修改操作（如添加、刪除或更新元素）都會返回一個新的數組，而不是修改原來的數組。

示例（JavaScript + Immutable.js 庫）

const { List } = require('immutable');// 創建一個不可變數組
let list = List