链表删除前为何要将待删节点的next指针置为NULL？

在链表删除操作中，将待删节点的next指针置为NULL，看似不影响代码运行，但其实是防御性编程的关键手段，核心原因和潜在风险如下：

一、为什么要置空next指针？ #

• 避免野指针引发未定义行为：执行delete后，节点占用的内存会被操作系统回收，但如果不置空next，这个已释放节点的next指针仍会保留原来的内存地址，成为野指针。后续如果误访问这个野指针的next（比如调试时的临时变量未清理、代码逻辑疏漏），会触发未定义行为——可能直接导致程序崩溃，也可能出现随机的错误结果，排查难度极大。置空后，即使误访问，也只会拿到NULL，更容易被检测和定位问题。
• 防止链表结构被意外篡改：如果删除节点后，某个地方还残留了指向该节点的指针（比如调试用的全局变量、未及时销毁的临时对象），若next未置空，误通过该指针修改next的值，会直接破坏正常的链表结构，导致后续遍历、增删操作全部出错。置空后，这种误操作的影响会被限制在已删节点本身，不会波及整个链表。
• 遵循资源清理的编程规范：从对象生命周期的角度看，节点在被销毁前，应该清理它所持有的外部引用（即next指针），让对象处于“干净”的销毁状态。这是一种通用的良好编程习惯，能减少潜在的资源泄漏或逻辑隐患。

二、不置空为什么有时也能正常运行？ #

这只是偶然的安全情况——程序在delete后没有访问到这个野指针的next。但这种状态不可靠：一旦程序逻辑调整、添加了调试代码，或者在不同编译器/操作系统环境下运行，就可能触发未定义行为，导致程序崩溃或异常。依赖这种“运气”的代码，稳定性和可维护性极差。

三、结合示例代码说明 #

以给出的删除函数为例：

class Node
{
    public:
    int data;
    Node* next;
    
    Node(int d)     //construtor for storing the value in nodes
    {
        this->data=d;
        this->next=NULL;
    }
};
void DeleteAt(int position,Node* &head,Node *&tail)
{
    if(position ==1)
    {   
        Node* temp=head;
        head=temp->next;
        temp->next=NULL; // 置空头节点的next
        delete temp;
    }
    else
    {
        Node *curr=head;
        Node *prev=NULL;
        int cnt=1;
        while(cnt<position)
        {
            prev=curr;
            curr=curr->next;
            cnt++;
        }
        if(curr->next==NULL)
        {
            tail=prev;
        }
        prev->next=curr->next;
        curr->next=NULL; // 置空待删节点的next
        delete curr;
    }
}

无论是删除头节点还是中间/尾节点，temp->next=NULL和curr->next=NULL的操作，都确保了即将被销毁的节点不再持有链表的其他节点引用，从根源上避免了野指针带来的潜在风险。

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