删除链表头节点时的悬空节点问题：内存回收机制解析

问题描述 #

当调用deleteFromAnywhere函数删除链表头节点时，原头节点失去链表关联后，在JavaScript及其他强类型语言中的内存处理机制是怎样的？

关联代码示例 #

var LinkedList = function () {
  this.head = null;
  this.tail = null;
};
LinkedList.prototype.makeNode = function (val) {
  var node = {};
  node.val = val;
  node.next = null;
  return node;
};
LinkedList.prototype.deleteFromAnywhere = function (valueToDelete) {
  var current = this.head;
  var previous = current;
  //from head:
  if (current.val === valueToDelete || valueToDelete === this.head.val) {
    this.head = current.next;
  }
  //from middle:
  while (current.next) {
    if (current.val === valueToDelete) {
      //drop the link of the deleted, point the one before it to the one after it
      previous.next = current.next;
    }
    //from tail:
    if (current.val === valueToDelete && (current.next === null || this.tail.val === valueToDelete)) {
      this.tail = previous;
      previous.next = null;
    }
    //increment, keep previous one behind/current one ahead.
    //ie skip ahead.
    previous = current;
    current = current.next;
  }
};
LinkedList.prototype.addToTail = function (value) {
  var newTail = this.makeNode(value);
  if (!this.head) {
    this.head = newTail;
  }
  if (this.tail) {
    this.tail.next = newTail;
  }
  this.tail = newTail;
};
var list = new LinkedList();
list.addToTail(4);
list.addToTail(5);
list.addToTail(8);
list.deleteFromAnywhere(5);
console.log(list);

内存处理机制说明 #

JavaScript中的情况 #

JavaScript采用自动垃圾回收（GC）机制，核心使用标记清除算法。当旧头节点被从链表中移除后：

• 如果没有任何其他变量或对象持有该节点的引用（比如代码里没有把旧头节点存在其他变量里），这个节点就会被标记为「不可达」。
• 垃圾回收器会在引擎空闲或内存占用达到阈值时，自动回收这类不可达对象占用的内存，不需要开发者手动干预。

其他强类型语言中的情况 #

不同语言的内存管理机制差异较大，分三类说明：

• Java/C#：和JavaScript一样是自动GC语言。当旧头节点失去所有可达引用后，GC会在合适时机回收其内存。它们的GC算法会更复杂（比如分代回收），但核心逻辑和JS一致，无需手动释放内存。
• C++：无自动GC，内存完全由开发者手动管理。如果旧头节点是通过new关键字分配的堆内存，删除链表关联后必须手动调用delete oldHead;释放内存，否则会造成内存泄漏，直到程序退出才会被系统回收。
• Go：同样是自动GC语言，采用三色标记+写屏障算法。只要旧头节点没有被任何可达引用指向，就会被GC自动回收，无需开发者操作。

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