双链表节点交换：为何相邻节点交换仅某一实现生效？

问题的核心在于相邻节点的指针是互相引用的（比如node2._next = node1同时node1._prev = node2），错误的代码顺序会触发自引用覆盖，而非相邻节点的指针不会互相指向，因此不受影响。

具体模拟（以交换右侧节点node1=C和左侧相邻节点node2=B为例，初始链表：A <-> B <-> C） #

初始指针状态：

• B._prev = A，B._next = C
• C._prev = B，C._next = None

错误代码流程（先交换next+prev，再更新反向指针）

1. 交换next：C._next = B._next = C（C的next指向自己，形成自引用），B._next = C._next = None
2. 交换prev：C._prev = B._prev = A，B._prev = C._prev = B（B的prev指向自己，形成自引用）
3. 更新next的反向指针：
   • C._next是C，所以C._prev = C（把C的prev从A改成自引用）
   • B._next是None，跳过
4. 更新prev的反向指针：
   • C._prev是C，所以C._next = C（强化自引用）
   • B._prev是B，所以B._next = B（强化自引用）
     最终结果：A仍指向B，但B和C都变成自环，完全脱离链表。

正确代码流程（交换next→更新next反向指针→交换prev→更新prev反向指针）

1. 交换next：C._next = B._next = C（同样出现自引用），B._next = C._next = None
2. 更新next的反向指针：
   • C._next是C，所以C._prev = C（暂时自引用）
   • B._next是None，跳过
3. 交换prev：C._prev = B._prev = A，B._prev = C._prev = C（修正C的prev为A，B的prev为C）
4. 更新prev的反向指针：
   • C._prev是A，所以A._next = C（修正A的next为C）
   • B._prev是C，所以C._next = B（修正C的next为B，覆盖之前的自引用）
     最终结果：A <-> C <-> B，完全符合预期。

为什么非相邻节点不受影响？ #

当两个节点不相邻时，它们的next和prev不会互相指向（比如交换A和C，A._next = B，C._prev = B，无互相引用），交换next和prev后不会出现自引用，后续更新反向指针时也不会覆盖正确的指针值，因此错误代码对非相邻节点依然有效。

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