链表移除指定值元素代码中pointer=pointer.next为何要放在else分支下

原题中的实现代码如下：

def removeKFromList(l, k):
    
    pointer = l
    while pointer:
        if pointer.next and pointer.next.value == k:
            pointer.next = pointer.next.next
        else:
            pointer = pointer.next
    
    if l and l.value == k:
        return l.next
    else:
        return l

为什么pointer = pointer.next必须放在else分支 #

核心原因是：当你删除了当前指针的下一个节点后，新替换的下一个节点仍然可能值等于k，需要留在当前位置做二次检查，不能直接向后移动指针。
我们可以用一个具体的场景验证：假设待处理链表为 1 -> 2 -> 2 -> 4，要删除的k值为2。

正确逻辑（指针移动放在else分支）的执行流程： #

1. 初始pointer指向头节点1，检查到下一个节点值为2等于k，触发if分支，将1的next指向第二个2节点，此时不移动pointer，仍然停留在1的位置
2. 进入下一轮循环，pointer还是指向1，检查新的下一个节点值仍然为2等于k，再次触发if分支，将1的next指向4节点，仍然不移动pointer
3. 进入下一轮循环，pointer指向1，检查下一个节点值为4不等于k，触发else分支，pointer移动到4节点
4. 后续循环判断pointer的next为空，继续移动到空，循环结束
5. 最终返回的链表为1 -> 4，符合预期

如果指针移动不放在else分支（即无论是否触发删除都移动指针）的异常流程： #

1. 初始pointer指向头节点1，检查到下一个节点值为2等于k，触发if分支，将1的next指向第二个2节点，随后直接执行pointer = pointer.next，pointer移动到第二个2节点
2. 进入下一轮循环，pointer指向值为2的节点，检查下一个节点值为4不等于k，执行pointer移动到4节点
3. 循环结束，最终的链表为1 -> 2 -> 4，出现了漏删的问题，结果不符合预期

额外补充 #

代码末尾单独判断头节点是否需要删除，是因为上面的遍历逻辑只会检查当前节点的下一个节点，不会校验头节点本身的值，所以需要单独处理头节点匹配k的情况。

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