删除链表头节点后后续节点状态及delete操作原理咨询

核心结论 #

你在removeFirst里的操作是安全的，被head->next指向的节点不会失效，完全可以通过tmp指针正常访问并将其设为新的链表头。

执行delete this->head时的具体过程 #

当你调用delete this->head时，实际上只针对head指针指向的当前Node对象进行操作，拆解成两步：

1. 调用Node的析构函数：你的代码中Node的析构函数是空实现，所以这里只会完成基础的析构逻辑——如果T是自定义类类型，会调用T的析构函数销毁value成员；但对于next指针本身，只是销毁这个指针变量（也就是存储地址的那4/8字节内存），并不会去释放它指向的节点。
2. 归还当前Node的内存：将this->head指向的这块内存（包含value和next指针变量的内存区域）归还给操作系统，这块内存之后不能再被访问，但之前next指针指向的其他Node节点的内存完全不受影响。

为什么tmp指向的节点不会失效 #

你在delete this->head之前，已经通过Node* tmp = this->head->next;获取了下一个节点的地址并存储到tmp中。这个地址是独立于当前head节点内存的——head->next只是存储了下一个节点的地址，当head的内存被释放时，只是这个存储地址的地方没了，但地址指向的那个节点本身还在内存里，tmp已经保存了这个地址，所以后续可以正常用tmp来更新head。

额外提醒 #

如果你的Node析构函数里写了delete next;，那delete this->head时就会递归释放后续所有节点，这时候tmp指向的节点会被销毁，你的代码就会出问题。但你当前的代码里没有这么做，所以完全安全。

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