python可變對象和不可變對象的解釋

數據類型分爲可變、不可變。可變對象表示能夠原處修改該數據對象，不可變對象表示必須建立新對象來保存修改後的數據。

在基礎數據類型中：

• 數值、字符串、元組、frozenset是不可變對象
  
• 列表、set、dict是可變對象

對於可變對象，好比有一個列表L，查看它的id以及第一個元素的id。

>>> L = ['a', 'b', 'c']

>>> id(L)
23099392
>>> id(L[0])
57027008

這意味着在內存中有一片區域，這片區域存放的數據類型是列表(每一個數據對象都有本身的類型聲明)，列表包含至少3個數據內存塊，分別存放了3個字符串類型的數據(其實是存放了這3個字符對象的地址)。以下圖所示：

可變對象(不單單是這裏的序列、列表)意味着修改該數據對象，不會在內存中新建立另外一個內存空間來存放新數據對象。例如，修改這個列表中的第一個元素爲"aa"。

>>> L[0]="aa"
>>> L
['aa', 'b', 'c']
>>> id(L)
23099392

發現列表的id並無改變，也就是列表的內存地址仍然是那一塊。這表示列表是可變序列。

可是，若是查看第一個元素的id，會發現已經改變了：

>>> id(L[0])
61863232

這說明，雖然列表的內存地址沒有改變，可是列表中的第一個元素的地址已經改變了。實際上，上面修改列表元素後的列表結構變成以下圖所示：

也就是說，修改列表中的第一個元素過程當中，建立了一個新的內存塊來存放新的字符串，原始的那個字符串"a"由於沒有被引用了，它將等待垃圾回收器的回收。無論如何，列表的地址一直沒變。

爲何修改列表中的元素須要建立新的內存塊？這是由於這個元素是字符串，而字符串是不可變對象。

不可變對象意味着，不能在原始內存地址塊中修改數據，必須新建立一個地址塊來保存修改後的數據對象。正如上面修改字符串"a"爲"aa"的結果。

假如列表L中的第一個元素仍然是一個嵌套在L中的列表，由於列表是可變對象，如今修改L的第一個元素，這第一個元素的地址不會改變。

>>> L = [['a'], 'b', 'c']

>>> id(L[0])
23099392
>>> L[0][0] = "aa"
>>> id(L[0])
23099392

這裏改變的只有內嵌的列表中第一個元素的地址。

雖然可變對象能夠原處修改數據，不會建立新對象，但並不意味着操做可變對象老是不會建立新對象，這取決於對可變對象作什麼操做，好比分片操做必定會建立新對象。