C++链表析构器使用std::move是否合规可行？

你最初的链表析构器存在明显的内存泄漏问题：

~List(){
    Node* temporary = new Node; // 此处new出的Node未被delete，直接造成内存泄漏
    Node* node = head;
    while(node != nullptr){
        temporary = node;
        node = node->next;
        delete temporary;
    }
}

这段代码里temporary = new Node;属于完全多余的操作，后续temporary = node会覆盖这个指针，导致该Node对象的内存永远无法被释放。

你后来的“简化”写法则犯了更关键的逻辑错误：

~List(){
    Node* node = head;
    while(node != nullptr){
        node = std::move(node->next); // 仅移动指针，未释放任何节点内存
    }
}

这段代码没有调用任何delete操作，只是让node指针不断指向链表的下一个节点，原链表的所有Node对象都没有被销毁，会造成全部节点的内存泄漏。所谓“运行正常”只是程序没有立刻崩溃，但内存泄漏会导致程序运行过程中占用内存持续增长，最终可能引发内存不足问题。

正确的简化写法 #

不需要额外创建多余临时对象，同时能正确释放所有节点的析构器可以写成这样：

~List(){
    Node* node = head;
    while(node != nullptr){
        Node* next_node = node->next; // 先保存下一个节点的指针
        delete node;                  // 销毁当前节点
        node = next_node;             // 移动到下一个节点
    }
}

或者直接操作head指针：

~List(){
    while(head != nullptr){
        Node* temp = head;
        head = head->next;
        delete temp;
    }
}

这两种写法都能遍历链表并逐个释放每个Node的内存，完成析构器的核心职责，同时避免了不必要的内存操作。

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