链表节点删除时为何需显式定义析构函数？

一、编译器默认析构函数的核心问题 #

编译器自动生成的默认析构函数只会处理当前对象的成员变量本身：

• 对于int data这类值类型成员，会正常完成销毁；
• 对于Node* next这类指针成员，它只会销毁指针变量占用的内存（也就是栈上的几个字节），不会主动释放指针指向的堆内存——也就是next指向的下一个Node对象。
  如果依赖默认析构，当你delete一个节点时，该节点后续的所有链表节点都会留在堆中，造成内存泄漏。

二、显式析构函数的作用 #

代码里的显式析构函数实现了递归释放后续节点的逻辑：只要当前节点的next不为NULL，就会调用delete next触发下一个节点的析构，以此类推，直到链表末尾的节点，彻底释放整条链的内存。

三、为何deleteNode中已置next为NULL，仍需保留显式析构？ #

deleteNode里的curr->next = NULL是为了避免删除单个节点时误删后续链表：比如删除中间节点时，如果不把curr->next置空，delete curr会触发析构函数递归删掉curr之后的所有节点，直接破坏原链表结构。

但显式析构的价值远不止这个场景：

• 销毁整个链表更便捷：如果要销毁整个链表，直接delete head即可，显式析构会自动递归释放所有节点，不用手动遍历每个节点执行delete；
• 防御性编程：如果在其他场景下忘记将节点的next置空就执行delete（比如临时调试代码、其他未规范的操作），显式析构能避免内存泄漏；
• 统一内存管理逻辑：把节点的内存释放逻辑封装在析构函数中，不用在每个删除节点的地方重复编写释放后续节点的代码，代码更健壮、易维护。

原代码示例 #

class Node {
    public:
    int data;
    Node* next;

    //constructor
    Node(int data) {
        this -> data = data;
        this -> next = NULL;
    }

    // destructor
    ~Node() {
        int value = this -> data;
        //memory free krr rhe hain
        if(this -> next != NULL){
            delete next;
            this -> next = NULL;
        }
        cout << "memory is free for node with data" << value << endl;
    }

};

void insertAtHead(Node* &head, int data) {

    // creating new node called temp of type Node 
    Node* temp = new Node(data);
    temp -> next = head;
    head = temp;
}

void deleteNode(int position, Node* &head) {
    
    //deleting first or starting node
    if(position == 1) {
        Node* temp = head;
        head = head -> next;
        //memory free start node
        temp -> next = NULL;
        delete temp;

    } else {
        // deleting any middle node
        Node* curr = head;
        Node* prev = NULL;

        int cnt = 1;
        while(cnt <= position) {
            prev = curr;
            curr = curr -> next;
            cnt++;
        }

        prev -> next = curr -> next;
        curr -> next = NULL;
        delete curr;
    }
}

void print(Node* &head) {

    Node* temp = head;
    while(temp != NULL) {
        cout << temp -> data << " ";
        temp = temp -> next;
    }
    cout << endl;
}

int main() {

    Node* head = nullptr; // A list has a head
    Node* tail = head; //  a tail.

    insertAtHead(head, 10); // pass the head
    insertAtHead(head, 5);
    insertAtHead(head,15);
    print(head);  // Print the whole list
    deleteNode(1, head);
    print(head);
}

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