列表的浅拷贝和深拷贝

列表之间赋值

list1 = [1, 2, 3, 4]
list2 = list1
print(id(list1), id(list2))
for i in range(len(list1)):
    list1[i] += 1  # list1中所有元素都自加1
print(list1)
print(list2)
print(id(list1), id(list2))

运行结果：

1342440448520 1342440448520
[2, 3, 4, 5]
[2, 3, 4, 5]
1342440448520 1342440448520

  代码分析：将列表list1直接赋值给list2，相当于给list1取了一个别名，两者指向同一个在堆区的内存地址表（参照《可变类型和不可变类型》中的内容）。对list1的元素进行操作，与操作list2的元素完全等价。

列表的浅拷贝

list1 = [1, 2, 3, 4]
list2 = list1.copy()  # list2是list1的浅拷贝结果
print(list2)
print(id(list1), id(list2))
for i in range(len(list1)):
    list1[i] += 1  # list1中所有元素都自加1
print(list1)
print(list2)
print(id(list1), id(list2))

运行结果为：

[1, 2, 3, 4]
2464362111496 2464362111688
[2, 3, 4, 5]
[1, 2, 3, 4]
2464362111496 2464362111688

  代码分析：list2是列表list1的浅拷贝，它的id与list1不同，这是因为通过浅拷贝，产生了一个新的内存地址表，与list2进行绑定，新的内存地址表和list1的内存地址表地址不同，但里面存的内容相同。因此，list2各元素与list1的初始值相同，但如果list1的元素改变，list2的元素保持不变，同样，改变list2的元素，list1也不受影响。
  上面的例子中，列表中的元素都是整数类型，即不可变类型，下面测试一下列表中包含可变类型的情况。

list1 = [1, 2, [3, 4]]
list2 = list1.copy()  # list2是list1的浅拷贝结果
print(list2)
print(id(list1), id(list2))
list1[0] += 1
list1[1] += 1
list1[2][0] += 1
list1[2][1] += 1
print(list1)
print(list2)
print(id(list1), id(list2))

运行结果为：

[1, 2, [3, 4]]
2606583751368 2606583751496
[2, 3, [4, 5]]
[1, 2, [4, 5]]
2606583751368 2606583751496

  代码分析：list1列表两个不可变类型元素1、2的改变，并没有影响list2。但是list1的可变类型元素，列表[3, 4]改为[4, 5]，list2中的列表也随之改变，可见，list1和list2并没有完全隔离开来。虽然list1和list2的内存地址表相互独立，但两个内存地址表的第三项绑定了同一个（子列表[3, 4]的）内存地址表，这个子列表的内存地址表存有两个整型变量的内存地址，如果子列表要重新绑定新的元素，子列表的内存地址表里的内容会改变，但内存地址表自身的内存地址不变。这样，就导致子列表中的元素如果改变（题目中是通过list1进行的操作），list2中的子列表的元素也跟随改变。
  可见，如果原列表包含可变类型元素，通过浅拷贝得到的新列表，不能实现与原列表的完全隔离，所以上一个例子的分析结论是不完整的。要想实现新列表与原列表的完全隔离，需要用到深拷贝。

列表的深拷贝

import copy
list1 = [1, 2, [3, [4, 5]]]
list2 = copy.deepcopy(list1)  # list2是list1的深拷贝结果
print(list2)
print(id(list1), id(list2))
list1[0] += 1
list1[1] += 1
list1[2][0] += 1
list1[2][1][0] += 1
list1[2][1][1] += 1
print(list1)
print(list2)
print(id(list1), id(list2))

运行结果为：

[1, 2, [3, [4, 5]]]
1853920693192 1853920692168
[2, 3, [4, [5, 6]]]
[1, 2, [3, [4, 5]]]
1853920693192 1853920692168

  代码分析：通过深拷贝，新列表list2与原列表list1实现了完全隔离。这其中的奥秘，就是深拷贝对列表中的不可变类型和可变类型进行了区分，而不是如浅拷贝只是将原列表地内存地址表简单地复制一份。通过下面地示例进一步分析。

import copy
list1 = [1, 2, [3, [4, 5]]]
list2 = list1.copy()  # list2是list1的浅拷贝结果
list3 = copy.deepcopy(list1)  # list3是list1的深拷贝结果
print("list1:", list1)
print("list2:", list2)
print("list3:", list3)
print("列表id值：", id(list1), id(list2), id(list3))
print("整数1的id值：", id(list1[0]), id(list2[0]), id(list3[0]))
print("整数2的id值：", id(list1[1]), id(list2[1]), id(list3[1]))
print("子列表[3, [4, 5]]的id值：", id(list1[2]), id(list2[2]), id(list3[2]))
print("整数3的id值：", id(list1[2][0]), id(list2[2][0]), id(list3[2][0]))
print("子子列表[4, 5]的id值：", id(list1[2][1]), id(list2[2][1]), id(list3[2][1]))
print("整数4的id值：", id(list1[2][1][0]), id(list2[2][1][0]), id(list3[2][1][0]))
print("整数5的id值：", id(list1[2][1][1]), id(list2[2][1][1]), id(list3[2][1][1]))
list1[0] += 1
list1[1] += 1
list1[2][0] += 1
list1[2][1][0] += 1
list1[2][1][1] += 1
print("=================list1的值改变后=================")
print("list1:", list1)
print("list2:", list2)
print("list3:", list3)
print("列表id值：", id(list1), id(list2), id(list3))
print("整数1的id值：", id(list1[0]), id(list2[0]), id(list3[0]))
print("整数2的id值：", id(list1[1]), id(list2[1]), id(list3[1]))
print("子列表[3, [4, 5]]的id值：", id(list1[2]), id(list2[2]), id(list3[2]))
print("整数3的id值：", id(list1[2][0]), id(list2[2][0]), id(list3[2][0]))
print("子子列表[4, 5]的id值：", id(list1[2][1]), id(list2[2][1]), id(list3[2][1]))
print("整数4的id值：", id(list1[2][1][0]), id(list2[2][1][0]), id(list3[2][1][0]))
print("整数5的id值：", id(list1[2][1][1]), id(list2[2][1][1]), id(list3[2][1][1]))

运行结果为：

list1: [1, 2, [3, [4, 5]]]
list2: [1, 2, [3, [4, 5]]]
list3: [1, 2, [3, [4, 5]]]
列表id值： 2367002103304 2367002102280 2367002116936
整数1的id值： 1704750560 1704750560 1704750560
整数2的id值： 1704750592 1704750592 1704750592
子列表[3, [4, 5]]的id值： 2367002026760 2367002026760 2367002117000
整数3的id值： 1704750624 1704750624 1704750624
子子列表[4, 5]的id值： 2367002026824 2367002026824 2367002116680
整数4的id值： 1704750656 1704750656 1704750656
整数5的id值： 1704750688 1704750688 1704750688
=================list1的值改变后=================
list1: [2, 3, [4, [5, 6]]]
list2: [1, 2, [4, [5, 6]]]
list3: [1, 2, [3, [4, 5]]]
列表id值： 2367002103304 2367002102280 2367002116936
整数1的id值： 1704750592 1704750560 1704750560
整数2的id值： 1704750624 1704750592 1704750592
子列表[3, [4, 5]]的id值： 2367002026760 2367002026760 2367002117000
整数3的id值： 1704750656 1704750656 1704750624
子子列表[4, 5]的id值： 2367002026824 2367002026824 2367002116680
整数4的id值： 1704750688 1704750688 1704750656
整数5的id值： 1704750720 1704750720 1704750688

  代码分析：通过深拷贝，新列表list3将原列表中的子列表（以及子列表的子列表，总之是可变类型）的内存地址表也拷贝了一份，从而实现了与原列表真正的完全隔离。
  另外一点，无论是浅拷贝还是深拷贝，新列表对不可变类型元素的绑定都是指向原列表，这样做是为了节省内存空间。