Python矩阵创建与访问疑问：修改单行却改变所有行的原因及正确实现方案

Hey 👋，作为从C转Python的新手，遇到这个问题太正常啦——这是Python可变对象引用特性带来的经典“坑”，咱们一步步来解决你的疑问：

1. 如何修改代码以得到预期输出？ #

核心问题出在矩阵的初始化方式，把原来的[[0]*m]*n换成列表推导式即可，修改后的完整代码如下：

n = 5
m = 5
# 用列表推导式创建独立的每一行
mat = [[0]*m for _ in range(n)]
print(mat)
i = 0
while(i < m):
    mat[0][i] = i
    i += 1
print(mat)

运行这段代码后，就能得到你预期的输出：

[[0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]
[[0, 1, 2, 3, 4], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0], [0, 0, 0, 0, 0]]

2. 当前代码出现问题的原因是什么？ #

你写的mat = [[0]*m]*n看起来是创建了n个长度为m的列表，但实际上它只是把同一个[0]*m列表的引用复制了n次。

在Python中，列表是可变对象，当你用*n对可变对象进行乘法操作时，并不会创建n个独立的新列表，而是让mat的每一个元素都指向同一个内存地址的列表。所以当你修改mat[0][i]时，本质上是在修改那个唯一的底层列表，自然所有行都会跟着变化——因为它们本来就是同一个东西。

你可以用id()函数验证这一点：

n = 5
m = 5
mat = [[0]*m]*n
# 打印每一行的内存地址，会发现所有行的id完全相同
for row in mat:
    print(id(row))

3. Python与C语言在矩阵访问上有何差异？ #

这本质上是两种语言对“二维数组/矩阵”的实现逻辑不同：

• C语言：二维数组是一块连续的内存空间，int mat[5][5]会直接分配5*5个int的连续内存，每一行都是这块内存中独立的一段，修改某一行的元素只会影响该行对应的内存区域，各行之间完全独立。
• Python：没有原生的二维数组，我们常用的“矩阵”是列表的列表，也就是每个元素都是一个列表对象。当你用[[0]*m]*n初始化时，只是创建了多个指向同一个子列表的引用；而用列表推导式[[0]*m for _ in range(n)]时，才会循环创建n个独立的子列表，每个子列表有自己的内存地址，修改其中一行不会影响其他行。

简单说：C的二维数组是“物理上连续的整块内存”，Python的列表矩阵是“逻辑上的二维结构，物理上是多个独立的列表对象”。

4. 为何遍历过程中矩阵的打印结果看似正常？ #

其实遍历过程中所有行已经在同步变化了，只是你的原代码是在整个循环结束后才打印矩阵，所以你误以为只有第一行被修改。

如果在循环内部加入打印语句，就能看到真相：

n = 5
m = 5
mat = [[0]*m]*n
print(mat)
i = 0
while(i < m):
    mat[0][i] = i
    print(f"修改第{i}个元素后: {mat}")
    i += 1

运行后你会发现，每次修改mat[0][i]时，所有行的第i个元素都会同步变成i——因为它们指向同一个列表。你之前觉得“看似正常”，只是因为没在过程中观察到所有行的同步变化而已。

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