合并两个有序链表Python实现中赋值运算符引用机制疑问

前置规则说明 #

先把Python赋值的核心逻辑理清楚，两个问题的本质都是对这个逻辑的认知偏差：

• Python里的变量不是存储值的“容器”，只是绑定到内存对象的“标签”：执行a = b时，只是给b当前指向的对象多贴了一个叫a的标签，两个标签初始指向同一个对象，但后续如果给其中一个变量重新赋值，本质是把这个标签撕下来贴到其他对象上，不会影响另一个标签的指向。
• 要严格区分两种操作：
  • 修改对象内部属性：比如node.next = xxx，是直接修改当前标签指向的对象本身的内容，所有指向这个对象的标签访问对应属性时，都会看到修改后的结果。
  • 给变量重新赋值：比如a = a.next，是移动标签的指向，和标签之前绑定的旧对象没有任何关系，不会改动旧对象的任何内容。

问题1：代码运行中dummy.next和tail.next的取值为什么会有差异？ #

初始状态下，执行完dummy = ListNode()和tail = dummy两行代码后，两个变量确实指向同一个新建的空虚拟节点，此时dummy.next和tail.next都是默认值None，完全一致。
两者出现差异的核心节点是循环中的tail = tail.next语句：

1. 第一次给tail.next赋值时，tail还和dummy指向同一个虚拟节点，修改tail.next就是修改这个公共虚拟节点的next属性，此时dummy.next会同步更新为接入的第一个链表节点，两者的next取值仍然一致。
2. 执行tail = tail.next后，tail这个标签就从原来的虚拟节点，移动到了刚接入的那个链表节点上。从这一步开始，tail和dummy已经指向完全不同的两个对象：dummy始终固定在最开始的虚拟头节点位置，从来没有移动过，它的next永远指向合并后链表的第一个真实节点；而tail会随着循环不断向后移动，始终指向当前已合并链表的最后一个节点。
3. 后续循环中每次修改tail.next，都是在修改当前尾节点的后继指针，和固定在起点的dummy没有关系，两者的next取值自然会出现差异。
   打个简单的比方：dummy是钉在链表起点的路牌，tail是负责接链表的工人。一开始工人站在路牌位置接第一节链表，路牌能看到接的第一节是什么；等工人走到第一节节点位置继续接第二节、第三节，路牌位置能看到的永远是第一节的方向，和工人手里现在拿的待接线头当然不一样。

问题2：既然Python赋值是引用共享逻辑，为什么修改新变量时原变量没有同步出现预期变化？ #

这个疑问的核心是混淆了前面说的「修改对象属性」和「给变量重绑定」两种操作：

• 当你执行tail.next = list1这类修改对象属性的操作时，引用共享规则是生效的：比如第一次执行这句代码时tail和dummy指向同一个对象，修改tail.next后dummy.next确实同步更新了，完全符合引用逻辑。
• 当你执行tail = tail.next、list1 = list1.next这类赋值语句时，根本没有修改任何对象的内容，只是把变量标签从旧对象上撕下来，贴到了新的对象上。比如一开始tail标签贴在dummy节点上，执行重绑定后tail标签贴到了下一个节点，贴在原虚拟节点上的dummy标签从头到尾没动过，自然不会跟着tail的移动发生变化。
  很多人这里会有认知偏差，是下意识把Python变量当成了存值的盒子，觉得给新变量赋值后两个变量是联动的，但实际上变量只是标签，标签移动位置不会对原来贴标签的对象造成任何影响。

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