二维列表正确创建

What · 是什么

Python 创建二维列表的正确方式是 [[0]*n for _ in range(m)]（列表推导式，每行独立对象）。错误方式 [[0]*n]*m 会让所有行指向同一个一维列表对象，修改一行其他行同步变化（引用陷阱）。根源：Python 赋值只传引用，[obj]*m 把同一对象复制 m 次引用。切片拷贝二维列表也只是浅拷贝，行仍共享。深拷贝需 copy.deepcopy 或逐行推导式重建。

Why · 为什么

How · 实现

伪代码

# 正确：列表推导式，每行独立
grid = [[0]*n for _ in range(m)]
# 错误：引用陷阱，所有行共享
# grid = [[0]*n]*m  # 别这么做！
# 读入二维矩阵
mat = [[int(x) for x in input().split()] for _ in range(n)]
# 深拷贝
import copy
mat2 = copy.deepcopy(mat)

Python 实现

# 二维列表正确创建（含自测）
import copy

def make_wrong(m, n):
    """错误：引用陷阱"""
    return [[0] * n] * m

def make_right(m, n):
    """正确：列表推导式"""
    return [[0] * n for _ in range(m)]

if __name__ == "__main__":
    # 1) 引用陷阱演示
    wrong = make_wrong(3, 3)
    wrong[0][0] = 1
    # 错误法：改一行全行变
    assert wrong[0] == [1, 0, 0] and wrong[1] == [1, 0, 0] and wrong[2] == [1, 0, 0]

    # 2) 正确法：各行独立
    right = make_right(3, 3)
    right[0][0] = 1
    assert right[0] == [1, 0, 0]
    assert right[1] == [0, 0, 0]  # 不受影响
    assert right[2] == [0, 0, 0]

    # 3) id 验证
    assert id(right[0]) != id(right[1]) != id(right[2])  # 三行不同对象
    assert id(wrong[0]) == id(wrong[1]) == id(wrong[2])  # 错误法三行同一对象

    # 4) 浅拷贝陷阱：切片只拷贝外层
    shallow = right[:]
    shallow[0][0] = 99
    assert right[0][0] == 99  # 内层行仍共享！

    # 5) 深拷贝正确
    deep = copy.deepcopy(right)
    deep[0][0] = 0
    assert right[0][0] == 99  # 不受影响
    print("py-2d-array OK")

易错点

• [[0]*n]*m 引用陷阱：改一行全变（最常见 Python 坑）
• 以为切片 grid[:] 能深拷贝二维列表——内层行仍共享
• [[0]*n]*m 在 int 时看似没问题（因 int 不可变），但一旦嵌套 list 就出错
• 读入矩阵用 [[input().split()]*n] 还是陷阱，应用推导式
• 极大二维列表用 list 不如用 1D 数组 + 索引 i*n+j 省 list 开销

例题

信源

• OI Wiki✓ https://oi-wiki.org/lang/python/
• web✓ https://docs.python.org/3/tutorial/datastructures.html#nested-list-comprehensions