C语言双向链表空指针判断add内有效main中失效问题排查

你遇到的是典型的栈上局部变量生命周期失效+野指针访问问题，属于C语言入门阶段非常常见的内存错误：

1. 你在add函数中定义的struct elem new = {val, NULL, NULL};是分配在函数调用栈上的局部变量，它的合法生命周期仅存在于add函数执行期间。一旦add函数执行return退出，该变量占用的栈内存就会被系统回收标记为可复用，原有数据随时会被后续栈操作覆盖，此时指向这块内存的指针就成了野指针。
2. 你看到的现象完全符合这个错误的特征：
   • add函数内部的空指针检测能生效：执行检测逻辑时add还未退出，new变量占用的栈内存还没被篡改，值保持初始化的NULL，所以判断正常。
   • 回到main函数后判断失效：此时add的栈帧已经销毁，start.nextElem指向的是已经被回收的无效栈内存，访问这块内存属于标准未定义行为——你用printf打出来值是0只是内存残留的巧合，不代表这个指针是合法的，甚至可能出现程序崩溃、读出随机值的情况。
3. 额外的错误点：你把指针强转为int类型打印本身就有问题，64位系统下指针占8字节、int通常占4字节，强转会发生高位截断，打出来的数值根本不是真实的指针地址。

• 链表节点这类需要跨函数长期存在的数据，必须用malloc在堆上分配内存，堆内存的生命周期由开发者手动管理，不会随函数返回自动回收。
• 打印指针地址统一用%p格式符，传入参数强转为void*，不要用%d打印指针。
• 双向链表新增节点时记得正确设置前驱指针，后续链表使用完要逐个free堆上分配的节点，避免内存泄漏。

修正后的add函数参考实现：

int add(struct elem *point, int val){
    // 在堆上分配新节点内存
    struct elem *new_node = (struct elem*)malloc(sizeof(struct elem));
    if (new_node == NULL) { // 处理内存分配失败的异常情况
        return -1;
    }
    new_node->num = val;
    new_node->nextElem = NULL;
    new_node->previousElem = point; // 双向链表绑定前驱节点
    printf("New next pointer - %p\n", (void*)new_node->nextElem);

    point->nextElem = new_node;
    if (!point->nextElem->nextElem){
        printf("ADD: Null pointer check works\n");
    }
    printf("Point next pointer - %p\n", (void*)point->nextElem);

    return 0;
}

替换后运行，main函数中的空指针检测就能正常触发，打印预期内容。

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