C++链表销毁时因递归析构引发的未定义行为问题排查

问题现象 #

• 实现的C++链表创建程序，当链表节点数达到10000时，触发销毁逻辑（节点离开作用域）会出现未定义行为：程序无报错直接退出，仅打印START和COMPLETE，未输出DONE
• 当节点数减少至5000时，程序可正常运行并打印DONE
• 若移除链表所在的局部作用域、不提前销毁链表，程序也能正常执行

问题分析 #

问题根源在链表销毁阶段，且与待销毁节点数量直接相关。未出现堆内存不足报错，说明不是内存分配问题，而是递归式析构引发的栈溢出：原Node类的析构函数大概率采用递归方式删除下一个节点，当节点数量过多时，递归调用深度超出程序栈的容量限制，导致程序直接终止。

修复方案 #

将析构逻辑改为迭代方式，避免递归调用栈溢出，同时直接使用堆指针管理节点。修复后的Node析构函数代码如下：

~Node() {
    if(!next) return;
    Node* ptr = next;
    Node* temp = nullptr;
    while(ptr) {
        temp = ptr->next;
        ptr->next = nullptr;
        delete ptr;
        ptr = temp;
    }
}

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