C++链表删除首元素后head指针丢失问题求助

核心错误原因 #

• 你在main函数中定义了常量指针start：lelem* const start = new lelem;，这意味着start永远指向链表初始的第一个节点地址，无法被修改。
• 调用remove(head)后，main里的head变量已被更新为原链表的第二个节点，但你随后执行head = start;，强行让head指向已经被delete释放的原首节点内存，触发野指针访问，导致运行时异常。
• 后续操作始终依赖start作为链表头基准，但删除首元素后，链表真实头节点已改变，start指向的内存却已失效，这是问题的根本矛盾。

代码修正方案 #

1. 移除start的const限制并规范链表初始化 #

将start改为普通指针，允许其随链表头变化更新；同时利用已实现的insert_back函数初始化链表，避免手动管理节点的繁琐：

// 替换原main函数中的初始化部分
lelem* start = nullptr; // 初始化为空指针，更规范
lelem* head = start;

int anz; // 用栈变量替代动态分配，减少内存泄漏风险
cout << "Anzahl der Listenelemtete eigeben: ";
cin >> anz;

for (int i=0; i<anz; i++)
{
    insert_back(start, i+1); // 直接调用insert_back构建链表
}
head = start;

2. 完善remove函数的边界检查 #

当前remove函数未处理空链表情况，会导致空指针访问，补充边界判断：

void remove(lelem* &head)
{
    if (!head) // 空链表直接返回，避免空指针访问
        return;
    lelem* loesch = head;
    head = head->next;
    delete loesch;
}

3. 修复insert_sort的尾部插入逻辑 #

原函数在插入元素大于所有节点值时，未将新节点插入链表尾部，会导致内存泄漏，补充尾部插入逻辑：

void insert_sort(lelem* &head, int d)
{
    lelem* neu = new lelem;
    neu->data = d;
    neu->next = nullptr; // 显式初始化next，避免野指针

    if (!head || d < head->data)
    {
        neu->next = head;
        head = neu;
        return;
    }

    lelem* tmp = head;

    while (tmp->next)
    {
        if (d < tmp->next->data)
        {
            neu->next = tmp->next;
            tmp->next = neu;
            return;
        }
        tmp = tmp->next;
    }
    // 元素大于所有节点，插入到链表尾部
    tmp->next = neu;
}

4. 调整main中的删除操作逻辑 #

直接将start传入remove函数，让start同步更新为新的链表头，避免后续访问失效内存：

// 替换原main中的删除操作
remove(start); // 修改start为新的头节点
head = start;
print(head);

额外优化建议 #

• 避免使用动态分配的int* anz，直接用栈变量int anz即可，提升效率并减少内存泄漏风险。
• 所有新创建的节点，next指针都要显式初始化为nullptr，杜绝野指针隐患。
• 可添加链表销毁函数，在程序退出前释放所有节点内存，避免内存泄漏。

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