在使用python初始化嵌套列表时，直接通过 `[[0]*cols]*rows` 方式会因浅拷贝导致所有内部列表共享同一引用，从而在修改一个子列表时影响到所有子列表。本教程将深入剖析这一常见陷阱，解释其背后的原理，并提供使用列表推导式（list comprehensions）作为创建独立嵌套列表的正确且高效的解决方案，确保数据操作的预期行为。
理解嵌套列表初始化的常见陷阱
在Python中，当我们需要创建一个多行多列的二维列表（或更深层次的嵌套列表）时，一个常见的直觉性做法是使用列表乘法操作符 (*)，例如 parent = [[0]*COLS]*ROWS。然而，这种看似简洁的方法隐藏了一个重要的陷阱：浅拷贝。
让我们通过一个具体的例子来演示这个问题。假设我们想创建一个5行3列的二维列表，并尝试用用户输入填充它：
import copy
ROWS = 5
COLS = 3
# 错误示范：使用列表乘法初始化嵌套列表
parent = [[0]*COLS]*ROWS
child = copy.deepcopy(parent) # 即使使用deepcopy也无法解决根本问题，因为parent本身就是浅拷贝
print("初始化的child列表（看起来正常，但内部结构有问题）:")
for row in child:
print(row)
# 尝试填充列表
for r in range(ROWS):
for c in range(COLS):
print(f'请输入第 {r+1} 行，第 {c+1} 列的整数。')
child[r][c] = int(input('您的数字: '))
print("\n填充后的child列表:")
for row in child:
print(row)期望的输出是类似 [[1,1,1], [2,2,2], [3,3,3], [4,4,4], [5,5,5]] 这样的结果。但实际运行上述代码后，你会发现所有行都被最后一个输入的数字填充，例如 [[5,5,5], [5,5,5], [5,5,5], [5,5,5], [5,5,5]]。
浅拷贝的根源解析
出现这种意外行为的原因在于Python中列表乘法 * 的工作机制。当执行 [[0]*COLS]*ROWS 时：
立即学习“Python免费学习笔记（深入）”；
- [0]*COLS 首先创建一个包含 COLS 个零的一维列表，例如 [0, 0, 0]。
- 然后，[列表]*ROWS 会创建 ROWS 个对 同一个内部列表对象 的引用。这意味着 parent 列表中的所有子列表实际上都是指向内存中同一个 [0, 0, 0] 对象的引用。
如下图所示（假设ROWS=3, COLS=2）：
parent = [[0, 0], [0, 0], [0, 0]] 实际上在内存中是： parent[0] ---┐ parent[1] ----┼---> [0, 0] (同一个列表对象) parent[2] ---┘
因此，当你通过 child[r][c] = ... 修改 child[r] 中的任何元素时，由于所有 child[r] 都指向同一个底层列表，所以所有行都会同时被修改。即使使用 copy.deepcopy(parent) 也无济于事，因为 parent 本身已经是一个由多个相同引用组成的列表，deepcopy 只是复制了这些引用指向的同一个底层列表，并没有创建 ROWS 个独立的子列表。
正确的解决方案：使用列表推导式
解决这个问题的最佳实践是使用列表推导式（list comprehensions）。列表推导式能够为每一行（或每一个内部列表）生成一个全新的、独立的列表对象。
ROWS = 5
COLS = 3
# 正确示范：使用列表推导式初始化嵌套列表
child = [ [0 for _ in range(COLS)] for _ in range(ROWS) ]
print("初始化的child列表（结构正确，每个子列表独立）:")
for row in child:
print(row)
# 尝试填充列表
for r in range(ROWS):
for c in range(COLS):
print(f'请输入第 {r+1} 行，第 {c+1} 列的整数。')
child[r][c] = int(input('您的数字: '))
print("\n填充后的child列表:")
for row in child:
print(row)现在，当你运行这段代码并输入不同的数字时，你会得到预期的结果，例如 [[1,1,1], [2,2,2], [3,3,3], [4,4,4], [5,5,5]]。
为什么列表推导式有效？
[ [0 for _ in range(COLS)] for _ in range(ROWS) ] 这行代码做了以下事情：
- 外层循环 for _ in range(ROWS) 会迭代 ROWS 次。
- 在每一次外层迭代中，内层列表推导式 [0 for _ in range(COLS)] 都会重新创建一个全新的、包含 COLS 个零的列表对象。
- 因此，最终 child 列表中的每个子列表都是一个独立的内存对象，它们之间互不影响。
注意事项与总结
- 理解可变与不可变对象： 这个问题主要发生在列表（可变对象）的嵌套初始化中。如果嵌套的是不可变对象（如数字、字符串、元组），则浅拷贝通常不会引起问题，因为它们的值一旦创建就不能改变。
- 列表推导式是Pythonic方式： 对于需要初始化复杂数据结构，特别是嵌套列表时，列表推导式是Python中推荐且高效的方法。它不仅解决了浅拷贝问题，还使代码更简洁易读。
- copy.deepcopy() 的适用场景： copy.deepcopy() 用于创建对象的完全独立副本，包括其所有嵌套的可变对象。它适用于当一个已存在的、结构复杂的对象需要被完整复制，并且后续的修改不应影响原对象时。但对于初始化全新的嵌套列表，列表推导式是更直接和高效的选择。
通过掌握列表推导式来初始化嵌套列表，可以有效避免Python中常见的浅拷贝陷阱，确保数据结构的正确行为和程序的稳定性。
