C++链表insert函数重复调用时，栈变量p为何出现共享问题？

问题描述 #

我正在学习C++，因此实现了一个带有基础工具的链表。我的insert函数接收一个Node指针，遍历至链表末尾以追加新初始化的Node对象p。令我惊讶的是，重复调用insert方法时，Node对象p似乎被共享了！多次调用后，insert会将p->next指向自身，引发无限循环。

代码如下：

#include <iostream>
#include <string>

using namespace std;

struct Node {
    Node *next; 
    int val;
};

void insert(Node *n, int val) {
    Node * cur = n;
    while (cur->next) {
        cout << "Val " << cur->val << "\n";
        cur = cur->next;
    }
    Node p = {0, val};
    cur->next = &p;
}

int main() {
    Node n1;
    n1.val = 1;
    insert(&n1, 2);
    insert(&n1, 3);
    insert(&n1, 4);
    return 0;
}

我通过gdb调试insert函数，发现在第二次调用insert时，p在执行Node p = {0, val};前就已被初始化，且后续调用中p->next的值始终保持不变，尽管我显式将其设为0。将代码转为C语言后也会出现相同问题，我仅能通过malloc解决，但这并非我想要的方案。

请问该问题为何会发生？p不是每次调用时都分配在栈上吗？

问题根源 #

1. 栈局部变量的生命周期限制 #

你在insert函数中定义的Node p是栈上的局部变量，它的生命周期仅存在于当前函数调用的整个过程中。当insert函数执行完毕返回后，p占用的栈内存会被操作系统标记为可复用，但不会主动清除内存中的原有数据。此时你将&p（p的内存地址）赋值给cur->next，相当于让链表节点指向了一块已经"失效"的内存区域——这属于典型的野指针问题。

2. 栈帧地址复用导致的"共享"假象 #

每次调用insert函数时，操作系统会为其分配固定大小的栈帧。由于你每次调用的参数、函数结构完全一致，栈帧的起始地址通常是相同的，这就导致每次insert中的局部变量p都会占用同一个内存地址：

• 第一次调用insert后，链表的n1.next指向了p的地址，但函数返回后该地址内存已失效；
• 第二次调用insert时，p再次被分配到同一个地址。遍历链表时，程序会访问n1.next指向的这个失效地址（此时内存中可能还残留着第一次p.next=0的数据），随后创建新的p并将cur->next（即该地址的next字段）指向&p——也就是指向自身，最终形成无限循环。

3. C语言中出现相同问题的原因 #

C和C++的函数栈帧管理机制完全一致，局部变量的生命周期、栈地址复用规则没有区别，因此换成C语言会触发完全相同的问题。

非动态内存分配的解决方案 #

如果你不想使用malloc/new这类动态内存分配方式，可以让调用者负责节点的内存管理，确保节点的生命周期覆盖链表的使用周期：

修改insert函数，让它接收已初始化完成的Node指针：

#include <iostream>
#include <string>

using namespace std;

struct Node {
    Node *next; 
    int val;
};

void insert(Node *n, Node *new_node) {
    Node * cur = n;
    while (cur->next) {
        cout << "Val " << cur->val << "\n";
        cur = cur->next;
    }
    new_node->next = nullptr;
    cur->next = new_node;
}

int main() {
    Node n1 = {nullptr, 1};
    Node n2 = {nullptr, 2};
    Node n3 = {nullptr, 3};
    Node n4 = {nullptr, 4};
    insert(&n1, &n2);
    insert(&n1, &n3);
    insert(&n1, &n4);
    return 0;
}

这里所有Node对象都定义在main函数的栈上，生命周期贯穿整个程序运行过程，不会出现野指针或内存复用导致的循环问题。

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