python的可變不可變與各種淺拷貝深拷貝規則，一并梳理。

Python一切皆引用

在C++/Java里，int a = 1就是創建變量為a，賦值為1；int b = a就是創建變量b，賦值為a的值。a與b是毫不相干的，即“變量是盒子”，但是這不利于理解Python中的一個變量定義。在Python里，我們把變量視為“一個實際存儲的引用”（圖源：《流暢的python》）。

所以在python里，a = [1, 2, 3]先分配一塊區域寫入[1,2,3]，再讓a來代表它；b = a讓b與a代表了同一個東西，即使a本身消失了（比如del a），也僅僅是撕下來一張標簽而已，b仍然可以訪問這個列表。其他類型也是如此

情況一：直接引用

直接引用即b = a，正如上文所說，不會發生拷貝，只是讓b也來代表a代表的區域。此時b就是a，b[0]也就是a[0]。

如果修改了a，等于讓a指向其他對象，與列表無關，所以b沒有變化；而如果修改a[0]（或者使用+=，append等），則修改了列表，b[0]也在變化。

但對于單個數或者元組字符串這種不可變對象，你也可以使用+=，但是他們不支持原地修改，因此實際上會調用a = a + b得到的是一個新對象。如a = (1, 2, 3); b = a; a += (4, 5)，此時執行a = a + (4, 5)，已經指向新的值了，所以b不會改變。

情況二：復制

有些時候我們只編輯列表或字典的副本，所以需要復制，一般最常見的復制方法有：

b = a[:]
b = list(_ for _ in a)
b = copy(a)
b = a.copy()

這些都叫做淺復制，淺復制的時候發生了什么？

淺復制的邏輯將創建一個新對象，然后將每一個值復制一份放入新對象里，花費線性時間?？梢钥吹綇椭坪骲與a完全一致，但是a is b不再成立了，a[0]和b[0]也是不再相關的值，你可以任意修改列表b，都不會影響到a里的四個元素（紅藍橙綠四個小圓）。

情況三：深復制

但是淺復制仍然有不能解決的問題。我們知道python里一切皆引用，圖里的小圓不是盒子而是標簽！，雖然a與b本身已經分開了，但如果有一個元素仍然是列表，那他們其實還是聯系在一起的。

如圖，淺復制時執行了b[1]=a[1]，但b[1]和a[1]是引用，因此通過他們訪問的仍然是同一個可變序列，修改a[1]不會導致b[1]變化，但修改a[1][0]卻導致b[1][0]變化。

所以我們引入深復制解決這個問題：

from copy import deepcopy
a = [1, [1, 2, 3], "hello"]
b = deepcopy(a)

深復制的邏輯是，將每一個值復制放進新一個對象里，而如果這一項也表示一個可變的迭代對象（列表，字典，沒有特殊定制的自定義類），就將這個對象也復制一份。這樣就可以得到一份完全的拷貝。

總結