Python中为何仅y用[x]*2定义时x的修改会同步到y？

Python 列表的*运算符，本质是复制当前列表层级内所有元素的内存引用，不会递归对元素做深拷贝，你观察到的两种场景差异，根源就是乘法操作时被复制的“元素”，到底是不可变的数值引用，还是指向可变列表对象的引用。

场景1：y = x*2 无同步修改的情况 #

执行y = x*2的实际逻辑是：

• 逐一遍历x列表中的所有元素，把每个元素对应的内存引用，依次写入新创建的独立列表y中。
• 整个过程里，x本身作为一个完整的列表对象，从来不会被当作元素存入y，最终x和y是两个完全独立、没有交叉引用的列表实例。

你最初定义的x = [1]*4，内部存储的全是指向不可变整数1的引用，没有嵌套的可变结构。当你执行x[0] =7时，只是把x列表第0个位置的引用，从指向整数1改成指向整数7，这个修改仅作用于x自身的内部存储，完全不会触碰y的内容，因此y不会发生任何变化。

场景2：y = [x]*2 同步修改的情况 #

执行y = [x]*2的实际逻辑是：

• 先新建一个只有1个元素的临时列表，这个位置存的是x本身这个列表对象的内存引用（不是x内部存储的那些数字）。
• 再对这个临时列表做*2运算，把临时列表里仅有的那个“x的引用”复制一份，最终生成长度为2的y列表。

此时y的两个元素位置，存的都是指向同一个x列表对象的内存地址——y既没有复制x的内容，也没有生成x的独立副本，两个子列表和x本质上是同一个对象的不同别名。不管你用x的变量名改元素，还是通过y[0]、y[1]的路径改元素，本质上都是在操作那个唯一的列表对象，自然会出现所有引用同步变化的现象。

快速验证技巧 #

可以通过id()函数打印对象的内存地址，直观看出引用关系：

• 场景2中执行print(id(x), id(y[0]), id(y[1]))，三个输出数值完全一致，说明三者指向同一个列表对象。
• 场景1中执行print(id(x), id(y))，两个输出数值完全不同，说明x和y是互相独立的两个列表。

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