链表update_value方法：temp=self.head与直接操作self.head的差异解析

我尝试实现链表中的update_value方法，正确可运行的代码如下：

class Node:
    def __init__(self, dataval):
        self.dataval = dataval
        self.ref = None    # linked pointer**


class LinkedList:
    def __init__(self):
        self.head = None    # Node('My List:')
        self.tail = None
    
    def push(self, data):
        new_node = Node(data)
        if self.__is_empty__():
            self.head = self.tail = new_node
        else:
            new_node.ref = self.head
            self.head = new_node
    
    def update_value(self, a, b):
        if self.__is_empty__():
            return
        else:
            temp = self.head
            while temp:
                if temp.dataval == a:
                    temp.dataval = b
                temp = temp.ref

但将update_value改为以下写法时，会出现诸如后续操作失效、逻辑异常的问题：

def update_value(self, a, b):
        if self.__is_empty__():
            return
        else:
            while self.head:
                if self.head.dataval == a:
                    self.head.dataval = b
                self.head = self.head.ref

问题根源 #

• self.head是链表类的核心成员变量，它保存着整个链表的起始节点引用，是所有链表操作的入口。
• 错误写法中，直接在循环里修改self.head = self.head.ref，遍历完成后self.head会被置为None（当所有节点遍历完毕），此时整个链表的起始引用彻底丢失，后续调用push、update_value等方法时，都会因为找不到链表入口而失效，看起来像是“未正常执行”。
• 正确写法里的temp = self.head是创建了一个临时遍历指针，遍历过程中仅修改临时变量的指向，不会改动self.head本身，链表的起始引用始终保持完整，遍历结束后链表结构不受任何影响，后续操作可以正常执行。

内容的提问来源于stack exchange，提问作者Vu Tuan Anh