C++链表Push函数仅触发一次else时pFirst随pCurrent偏移问题

我原本预期pFirst指针会始终指向同一内存地址，但实际运行发现，即便Push函数仅进入过一次else分支，pFirst仍然会跟随pCurrent一同偏移。注：该代码用于实现链表的元素插入操作，对应代码如下：

void Push(T data) {
    ++_size;
    Data d = Data(data);
    if (_pCurrent != nullptr) _pCurrent->SetNext(&d);
    else _pFirst = &d;

    _pCurrent = &d;
}

你遇到的异常是栈局部对象生命周期不符合预期导致的悬垂指针问题，属于未定义行为：

• 函数内部定义的Data d是栈区存储的局部变量，仅在当前Push函数执行期间有效，函数执行结束后该内存地址会被系统自动回收，后续可以被其他函数调用的栈帧复用。
• 你赋值给_pFirst、_pCurrent以及通过SetNext存储的都是这个局部变量的栈地址，函数退出后这些地址全部变成非法的悬垂指针，访问该地址的取值、地址偏移行为完全不可控，因此会出现pFirst莫名跟随pCurrent偏移的现象，本质是栈内存被复用后数据被篡改。

将节点对象改为堆上分配，手动控制生命周期即可，修改后的代码参考：

void Push(T data) {
    ++_size;
    Data* d = new Data(data); // 堆上分配的对象，生命周期不受函数退出影响
    if (_pCurrent != nullptr) {
        _pCurrent->SetNext(d);
    } else {
        _pFirst = d;
    }
    _pCurrent = d;
}

• 堆上分配的内存需要手动释放，你需要额外实现链表的析构函数，遍历所有节点执行delete操作，避免出现内存泄漏。
• 如果你使用C++11及以上版本，推荐使用智能指针（std::unique_ptr/std::shared_ptr）管理节点内存，无需手动释放即可自动完成生命周期管理，降低内存出错概率。

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