[[0]*n]*m创建的是共享引用的嵌套列表，修改任一元素会导致所有行同步变化，因为外层*m仅复制内层列表的引用而非新对象；正确方式是用[[0]*n for _ in range(m)]确保每行独立。
[[0] <em> n] </em> m 会创建共享引用的嵌套结构，修改任一元素会导致多个位置同步变化，这不是 bug，而是 Python 对可变对象做浅拷贝的必然结果。
为什么 [[0] * n] * m 修改一个值就全变了
因为 [0] * n 生成的是一个独立列表（没问题），但外层的 * m 并没重复创建这个列表，而是复制了 m 个指向它的引用。所有行都指向同一个内层列表对象。
验证方式很简单：
arr = [[0] * 2] * 3 print([id(row) for row in arr]) # 输出三个相同的 id
所以 arr[0][0] = 1 实际上改的是那个唯一内层列表的第一个元素，arr[1][0] 和 arr[2][0] 自然也变成 1。
立即学习“Python免费学习笔记（深入）”；
[[0] * n for _ in range(m)] 为什么安全
每次循环都会执行一次 [0] * n，生成一个全新的列表对象，for 表达式确保每行都是独立实例。
- 内存地址互不相同：
[id(row) for row in [[0]*2 for _ in range(3)]]返回三个不同id - 修改
arr[0][0]不会影响arr[1]或arr[2] - 适用于任意维度：三维可用
[[[0] * k for _ in range(j)] for _ in range(i)]
哪些场景下 * 还能用
仅当被重复的对象是不可变类型（如 int、str、None）且不嵌套可变对象时，* 是安全的：
-
[0] * 5✅ 安全：生成 5 个独立整数（不可变） -
[''] * 3✅ 安全：字符串不可变，不会出现“改一个全变” -
[[0, 0]] * 3❌ 危险：外层是引用，内层列表可变 -
[[]] * 3❌ 危险：三个空列表引用同一对象，arr[0].append(1)会让所有行都变成[1]
更复杂的嵌套结构怎么初始化才可靠
超过二维时，嵌套 for 推导式仍是最直接、最可控的方式；避免层层套用 *，哪怕看起来省事。
例如初始化 i × j × k 的三维计数器：
counter = [[[0 for _ in range(k)] for _ in range(j)] for _ in range(i)]
如果维度动态来自变量，不要拼接 *：
- ❌ 错误：
[[[0] * k] * j] * i - ✅ 正确：
[[[0] * k for _ in range(j)] for _ in range(i)]
真正容易被忽略的点是：这个陷阱在调试时往往不报错，只在逻辑运行一段时间后数据莫名污染——等你发现时，可能已经改了十几处代码却没定位到初始化那一行。
