C++怎么实现一个简易的STL list-C++-PHP中文网

不能直接继承std::list，因其无虚析构函数且成员函数非虚，设计上禁止派生；强行继承会导致多态销毁未定义行为，正确做法是手写双向循环链表，含节点、迭代器和容器三层结构，并维护size成员实现O(1)复杂度。

c++怎么实现一个简易的stl list

为什么不能直接继承 `std::list` 来“实现”它

你没法通过继承 std::list 来“实现”一个简易版——它没虚析构函数，所有成员函数都不是虚的，设计上就禁止派生。强行继承不仅没意义，还会在对象销毁时引发未定义行为。真正想做的，是手写一个符合 std::list 核心语义的双向链表容器：支持 push_front、pop_back、iterator、size()、常数时间插入删除，且节点独立分配。

关键结构体怎么组织：节点 + 迭代器 + 容器本体

STL 容器的骨架分三层：node 存数据和指针，iterator 封装节点指针并重载操作符，my_list 管理头尾哨兵、大小和内存分配。哨兵节点（sentinel）必须用，否则空容器的 begin() == end() 很难干净实现。

常见错误是把 iterator 写成裸指针——这会导致无法区分 const_iterator 和 iterator，也无法做类型安全的 operator++ 重载。正确做法是模板化迭代器，内部持 node*，再根据是否 const 加上 typedef 别名：

template <typename t>
struct my_list {
private:
    struct node {
        T data;
        node* next;
        node* prev;
        node(const T& d) : data(d), next(nullptr), prev(nullptr) {}
    };
    node* head_; // 哨兵，head_->next 是第一个有效节点
    node* tail_; // 哨兵，tail_->prev 是最后一个有效节点
    size_t size_;
public:
    struct iterator {
        node* ptr;
        iterator(node* p) : ptr(p) {}
        T& operator*() { return ptr->data; }
        iterator& operator++() { ptr = ptr->next; return *this; }
        bool operator!=(const iterator& other) const { return ptr != other.ptr; }
    };
    // ……其余接口
};</typename>

`push_front` 和 `erase` 的指针操作容易漏哪几步

双向链表最常出错的是指针改写顺序和边界处理。比如 push_front 必须同时更新新节点的 prev/next、原首节点的 prev、以及哨兵 head_->next；漏一步就会断链或循环引用。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

push_front：先 new 节点 → 设 new_node->next = head_->next → 若原首节点非空，设其 prev = new_node → 再设 head_->next = new_node → 最后设 new_node->prev = head_
erase(iterator it)：不能只改 it.ptr->prev->next，还必须改 it.ptr->next->prev；删的是哨兵？不允许——erase 只接受有效元素迭代器，哨兵本身不可擦除
所有修改指针的地方，建议用临时变量暂存旧值，避免 a->next = a->next->next 这类依赖求值顺序的写法（C++ 中未指定求值顺序）