求教 Python 问题， GPT o1 跟 Gemini 2.0 都解决不了

首先我理解这样的写法并非最佳实践，只是想理解语言差异与背后的原因。

这是一道 LeetCode 题，讨论区里面每种语言都用了相同的解法，但只有 Python 以同样的写法陷入了死循环，问了 AI 都说两种写法等价，所以不应该存在 bug ，但实测显然是不同的，所以想问问原因。

注意看 while 循环里为两个指针连续赋值的地方。

C++ 版：

ListNode *partition(ListNode *head, int x) { ListNode node1(0), node2(0); ListNode *p1 = &node1, *p2 = &node2; while (head) { if (head->val < x) p1 = p1->next = head; else p2 = p2->next = head; head = head->next; } p2->next = NULL; p1->next = node2.next; return node1.next; } 

Java 版：

public ListNode partition(ListNode head, int x) { ListNode smallerHead = new ListNode(0), biggerHead = new ListNode(0); ListNode smaller = smallerHead, bigger = biggerHead; while (head != null) { if (head.val < x) { smaller = smaller.next = head; } else { bigger = bigger.next = head; } head = head.next; } // no need for extra check because of fake heads smaller.next = biggerHead.next; // join bigger after smaller bigger.next = null; // cut off anything after bigger return smallerHead.next; } 

我自己翻译的 Python 版，然而死循环导致超时：

class Solution: def partition(self, head: Optional[ListNode], x: int) -> Optional[ListNode]: lt, ge = ListNode(), ListNode() ltPtr, gePtr = lt, ge while head: if head.val < x: ltPtr = ltPtr.next = head else: gePtr = gePtr.next = head head = head.next ltPtr.next, gePtr.next = ge.next, None return lt.next 

翻了一下讨论区，下面的是没问题的 Python 版：

class Solution: def partition(self, head: ListNode, x: int) -> ListNode: head1 = tail1 = ListNode() head2 = tail2 = ListNode() while head: if head.val < x: tail1.next = tail1 = head else: tail2.next = tail2 = head head = head.next tail2.next = None tail1.next = head2.next return head1.next 

问题就出在了为两个指针连续赋值的地方，所以为什么在 Python 中，p = p.next = q 与 p.next = p = q 是不等价的呢？分别都是怎样的步骤进行赋值的？