Python中初始化大型列表：引用与拷贝的差异及疑问

问题示例 #

示例代码 #

lists = [list()] * 5
print(f"Number of empty lists = {len([l for l in lists if len(l) == 0])}")
lists[0].append(0)
print(f"Number of empty lists = {len([l for l in lists if len(l) == 0])}")

lists = [list() for _ in range(5)]
print(f"Number of empty lists = {len([l for l in lists if len(l) == 0])}")
lists[0].append(0)
print(f"Number of empty lists = {len([l for l in lists if len(l) == 0])}")

运行输出 #

Number of empty lists = 5
Number of empty lists = 0
Number of empty lists = 5
Number of empty lists = 4

问题分析与疑问 #

两种初始化方式的核心差异：[list()] * 5是创建多个指向同一列表对象的引用，而[list() for _ in range(5)]生成的是包含5个独立列表对象的列表。基于此，有以下疑问：

1. 修改其中一个列表时所有列表都会变化，易造成混淆，为何两种方式不都生成拷贝列表？
2. 若需要多个相同对象，为何还要用这种列表初始化方式？这似乎需要重构代码。
3. 若需偶尔共享属性，已有类属性实现该功能，为何还要这种初始化方式？

解答 #

• 疑问1解答：
  [x] * n的设计逻辑是复用已有对象的引用，这是Python“变量是对象引用”核心机制的体现，同时兼顾了性能和语义一致性。比如[1,2]*3的语义是重复元素，而非创建新的整数对象（整数不可变，所以不会有问题）。对于可变对象，这种引用复用的特性才会引发直观上的“混淆”，但这并非设计缺陷。默认不生成拷贝是因为拷贝存在性能成本，尤其是当对象体积较大时，强制拷贝会带来不必要的资源消耗。如果需要生成独立对象，显式使用列表推导式或copy方法即可，语言不会替你做默认的“安全假设”。

• 疑问2解答：
  这种初始化方式有特定的适用场景，并非需要重构。当你需要的就是多个指向同一可变对象的引用时，它是最简洁的写法。比如多个任务需要共享一个状态容器，用[shared_list] * 5可以快速让所有任务的状态列表指向同一个对象，无需额外的共享逻辑。只有当你的代码逻辑不需要这种共享时，才应该使用列表推导式生成独立对象。

• 疑问3解答：
  类属性和序列乘法的引用共享是互补关系，而非替代关系。类属性是面向对象层面的共享，针对类的所有实例；而[x]*n是序列层面的轻量级共享，无需定义类，适合临时需要多个元素共享同一对象的场景。比如只是临时需要几个变量共享同一个列表，用[list()]*3比定义带类属性的类要简洁得多，属于轻量化的解决方案。

内容的提问来源于stack exchange，提问作者Matt