向链表头部新增节点时的内存分配运行机制是怎样的？

你对「内存操作按引用执行、不会自动生成副本」的理解是完全正确的，头插操作既不会生成节点副本，也不会出现新节点自指向的问题，核心误解点在于对指针变量赋值逻辑的理解。

标准头插操作的两步代码如下：

newNode.next = head;
head = newNode;

这里的head本质是一个存储原头节点内存地址的指针变量，并不是和原头节点永久绑定的动态引用，两步操作的实际执行逻辑如下：

• 执行newNode.next = head时，是将head变量当前存储的地址值（也就是原链表第一个节点的内存地址）拷贝到newNode.next的存储空间里，这一步完成后，newNode.next就已经固定指向原头节点，后续对head变量本身的修改不会影响newNode.next已经存储的地址。
• 执行head = newNode时，仅修改了head这个指针变量本身存储的地址值，把它更新为新节点的内存地址，让head现在指向新节点，这步操作完全不会改动newNode.next里已经存好的原头节点地址。

可以用实际内存地址示例辅助理解：
原头节点A的内存地址为0x0001，因此head变量当前存储的值就是0x0001
新创建的newNode的内存地址为0x000A
第一步执行完成后：newNode.next存储的值为0x0001，稳定指向原头节点A
第二步执行完成后：head变量存储的值改为0x000A，但newNode.next中存储的0x0001不会发生任何变化，自然不会出现自指向问题。

你产生误解的核心原因是误以为newNode.next = head是让newNode.next和head变量本身动态绑定，后续head改动会同步到newNode.next，但实际上指针变量的赋值是「拷贝当前存储的地址值」，两个变量后续的修改完全独立，不存在绑定关系。

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