Python初始化元素为集合的二维列表时乘法赋值异常原因与修正方案

这个问题本质是Python中*做列表批量复制时，仅复制对象引用、不复制可变对象本身的特性导致的，逐层拆解初始化代码的实际内存指向就能完全理清逻辑：

• 执行第一行a = [set()] * 3时，代码并不会生成3个独立的空集合，而是把同一个空集合对象的引用，重复塞到列表的3个位置里。此时a的三个元素，全指向内存中的同一个集合，修改任意一个位置的集合内容，另外两个位置的值都会同步变化。
• 执行第二行a = [a] * 3时，问题进一步放大：代码不会生成3个独立的一维列表作为二维结构的行，而是把第一步生成的那个一维列表的引用，重复塞到外层列表的3个位置里。此时a的三个外层行（a[0]、a[1]、a[2]），本质是同一个列表对象。

这时候执行a[1][1] = set([1,2,3])，本质是给那个唯一存在的一维列表的索引1位置赋新值，不管从a[0]、a[1]还是a[2]去访问索引1的位置，读到的都是同一个修改后的值，自然会出现三个位置同步变化的现象。

要匹配Matlab中3×3独立cell的使用效果，必须保证每一个集合元素、每一层的列表都是独立对象，不能用*做可变对象的批量复制。通用的正确初始化方式是使用列表推导式，在每一次循环时重新生成独立对象：

# 构建3×3二维列表，每个位置都是独立的空集合
a = [[set() for _ in range(3)] for _ in range(3)]

这种写法的实现逻辑：

• 外层循环每一次迭代，都会生成一个全新的一维列表作为二维结构的一行
• 内层循环每一次迭代，都会调用set()生成一个全新的空集合，塞到当前行的对应列位置

可以直接运行之前的赋值语句验证效果：

a[1][1] = set([1,2,3])

此时只有a[1][1]会被更新为包含1、2、3的集合，其余位置（包括同列的a[0][1]、a[2][1]）都会保持初始的空集合状态，完全符合预期。

注意：*的批量初始化并非完全不可用——如果列表存储的是数字、字符串这类不可变对象，不存在修改原对象的风险，用*初始化是没问题的；但只要列表元素是集合、列表、字典这类可变对象，直接用*构建多层结构，一定会触发这类共享引用的bug。

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