Python链表头部插入节点：Head为何变为节点而非指针？

首先，先把你提到的这类简化版头部插入实现贴出来，方便对照理解：

class ListNode:
    def __init__(self, val=0, next=None):
        self.val = val
        self.next = next

class LinkedList:
    def __init__(self):
        self.head = None  # 这里的head只是一个指针，仅用来指向链表的首个节点，本身不存储数据

    def insert_at_head(self, val):
        # 1. 创建新节点
        new_node = ListNode(val)
        # 2. 让新节点的next指向当前head指向的节点（原链表首节点）
        new_node.next = self.head
        # 3. 更新head指针，使其指向新节点
        self.head = new_node

接下来拆解你的疑问：

你说的完全正确——这里的head确实只是指向首个节点的引用（指针），本身不是一个实际的ListNode实例。那这三步操作为什么能完成头部插入？我们一步步理清楚：

• 第一步创建新节点：就是初始化一个带目标值的节点，它的next默认是None，暂时是孤立状态。
• 第二步new_node.next = self.head：如果链表是空的，self.head是None，这时候新节点的next就被设为None，符合空链表插入后的状态；如果链表不为空，self.head指向原第一个节点，这行代码就让新节点和原链表的首节点建立了连接，新节点成了原首节点的“前驱”。
• 第三步self.head = new_node：这才是核心操作——我们必须更新链表的头部指针，让它指向新创建的节点。只有这样，后续从head出发遍历链表时，第一个遇到的才是这个新节点，新节点才算真正被纳入链表结构，完成“头部插入”的效果。

举个直观的例子：假设原链表是head -> Node1 -> Node2，现在要插入新节点Node0：

1. 创建Node0后，它的next是None；
2. 执行Node0.next = self.head后，Node0的next指向Node1，形成Node0 -> Node1 -> Node2的链；
3. 执行self.head = Node0后，head指向Node0，最终链表变成head -> Node0 -> Node1 -> Node2，完美完成头部插入。

如果漏掉第三步，head还是指向Node1，那Node0就会变成一个孤立的节点，根本不属于这个链表——这也是很多新手刚学链表时容易踩的坑。

另外补充一下：还有一种实现是把head设计成哑节点（dummy node）——也就是一个实际的ListNode实例，不存储有效数据，仅作为链表的固定头部，这种情况下插入逻辑会稍有不同，但你提到的这种“head是指针”的实现更常见，也更节省内存。

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