如何从C++ std::list移除元素但不释放其内存

1. list::erase后通过原迭代器访问被移除元素是否为标准保证行为？ #

完全不是，这是典型的未定义行为，绝对不能在生产环境依赖。
C++标准明确规定，调用std::list::erase后，所有指向被擦除元素的迭代器、引用会立即失效。erase执行时固定做两件事：

• 调用被移除元素的析构函数，销毁元素本身
• 将承载元素的链表节点内存交还给list内部的分配器管理

你测试时能正常输出3，完全是当前编译环境的巧合：int是平凡类型，析构函数什么都不做；分配器回收内存后没有立刻覆写内存内容，也没把内存立刻归还操作系统，导致你通过野迭代器解引用时刚好读到了残留的旧值。只要换编译选项（比如开ASAN地址消毒）、换编译器（比如MSVC）、升级标准库版本，这段代码大概率直接崩溃，或者输出随机垃圾值，没有任何可移植性。

2. 关于“标准保证下如何释放该元素内存”的说明 #

因为上述访问行为本身就不属于标准认可的合法操作，不存在对应的标准内存释放方式。只要调用了合规的erase，元素的析构、节点内存回收就已经由list自动完成，你通过野迭代器访问的是已经被释放的内存残影，手动调用释放反而会触发double free错误。

3. 合法实现“从链表解除链接但保留元素可访问”的方案 #

有两种完全符合C++标准、无未定义行为的实现方案，可根据场景选择：

方案一：用std::list::splice转移节点所有权 #

splice是std::list原生提供的节点转移接口，转移过程不会调用元素的构造、析构函数，仅修改链表节点的前后指向指针，完全不会销毁元素。你只需要额外维护一个专门存放已摘除节点的list即可：

#include <iostream>
#include <list>

int main() {
    std::list<int> active_list;
    std::list<int> detached_list; // 专门存从主链表摘除的节点
    active_list.push_back(1);
    active_list.push_back(2);
    active_list.push_back(3);

    auto it = std::prev(active_list.end());
    // 把it指向的节点从主链表转移到摘除链表，全程无拷贝、无元素销毁
    detached_list.splice(detached_list.end(), active_list, it);

    // 此时主链表只剩1、2，摘除链表持有元素3，访问完全合法
    std::cout << *std::prev(detached_list.end()) << std::endl; // 稳定输出3
    // 后续需要彻底销毁元素时，正常调用detached_list.erase即可，也可等detached_list生命周期结束自动回收
}

方案二：存储智能指针，手动接管元素所有权 #

如果不想维护额外的摘除链表，可以让链表存储std::unique_ptr这类智能指针，摘除元素时先把元素所有权从节点中转移出来，再擦除空节点：

#include <iostream>
#include <list>
#include <memory>

int main() {
    std::list<std::unique_ptr<int>> a;
    a.push_back(std::make_unique<int>(1));
    a.push_back(std::make_unique<int>(2));
    a.push_back(std::make_unique<int>(3));

    auto it = std::prev(a.end());
    // 先把元素所有权转移到外部变量持有
    std::unique_ptr<int> detached_elem = std::move(*it);
    // 再擦除链表节点，此时节点内的智能指针已为空，不会释放原int元素
    a.erase(it);

    // 通过持有的智能指针安全访问元素
    std::cout << *detached_elem << std::endl; // 稳定输出3
    // detached_elem出作用域时会自动释放元素内存，不需要手动管理
}

不建议通过自定义分配器拦截erase的内存释放逻辑实现需求，这种方式实现复杂、可维护性极差，远不如上述两种方案稳妥。

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