Python中解构列表列表生成指向同一内存的列表问题解析：为何变量a与b会互相覆盖？

嘿，这个问题正好戳中了Python列表创建里一个超容易踩的坑，我来给你讲明白为啥会这样～

核心原因：[[0]*N]*2创建的是引用副本，不是独立列表 #

先拆解这段代码里最关键的部分：[[0]*N]*2。你可能以为它生成了两个完全独立的[0,0,0,0]列表，但实际上不是——它只创建了一个[0,0,0,0]列表，然后把这个列表的内存引用复制了两次，放进外层列表里。

换句话说，外层列表的两个元素，指向的是内存中同一个列表对象。当你用a,b = [[0]*N]*2解构时，a和b拿到的都是这个唯一列表的引用，所以id(a) == id(b)返回True就完全说得通了——它们本来就是同一个东西的两个“别名”而已。

循环里的修改其实都是在操作同一个列表 #

你在循环里给a[i]赋值1、给b[i]赋值2，本质上都是在修改那个唯一的底层列表：

• 第一次循环，a[0] = 1把列表第0位改成1；紧接着b[0] = 2又把同一个位置改成2。
• 后面的循环以此类推，最后整个列表的所有位置都被改成了2，所以a和b看起来全是2——因为它们本来就指向同一个列表呀！

怎么写出符合预期的代码？ #

要创建两个独立的列表，得让每个子列表都是新的对象，最常用的方法是用列表推导式：

N=4
a,b = [[0]*N for _ in range(2)]
for i in range(N):
    a[i] = 1
    b[i] = 2
# 现在a是 [1,1,1,1]，b是 [2,2,2,2]，完全独立

这里的列表推导式[[0]*N for _ in range(2)]会循环两次，每次都创建一个新的[0]*N列表，外层列表里的两个元素是完全独立的对象，a和b指向不同的内存地址，修改其中一个自然不会影响另一个。

如果是已经存在的列表，想要复制出独立的副本，还可以用list.copy()或者切片[:]，比如a = original_list.copy()，不过在这个场景里，从一开始就生成独立列表才是最直接的解法。

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