list的两种设计
1. 内存布局对比
(1) MSVC 的实现
cpp
class _List_node {_List_node* _Next; // 指向下一个节点_List_node* _Prev; // 指向前一个节点_Value_type _Value; // 存储的数据
};
-
特点：
-
每个节点包含两个指针和一个数据成员。
-
Debug 模式：可能添加迭代器校验字段（如
_Container_proxy）。
-
(2) GCC 的实现
cpp
struct _List_node {_List_node* _M_next;_List_node* _M_prev;_Tp _M_data;
};
-
特点：
-
与 MSVC 类似，但字段命名不同。
-
无 Debug 模式额外开销。
-
2. 迭代器设计
(1) 迭代器本质
-
std::list的迭代器 不是指针，而是封装了节点指针的类（因为链表节点在内存中不连续）。 -
支持双向移动（
++、--），但不支持随机访问（如it + 5），因此是双向迭代器。
(2) MSVC 的迭代器
cpp
class _List_iterator {_List_node* _Ptr; // 指向当前节点// Debug 模式下可能包含校验信息
public:// 重载操作符（如 *、->、++ 等）
};
(3) GCC 的迭代器
cpp
struct _List_iterator {_List_node* _M_node;// 直接操作节点指针
};
1. std::list 的核心成员（MSVC vs GCC）
(1) MSVC 的实现
cpp
template<class _Ty, class _Alloc = allocator<_Ty>>
class list {
private:_Node _Myhead; // 哨兵节点（双向链表的头尾环）size_t _Mysize; // 当前元素数量_Alloc _Alnode; // 节点分配器// Debug 模式下可能包含迭代器校验字段
};
-
关键成员：
-
_Myhead：哨兵节点（不存储数据），其_Next指向首个真实节点，_Prev指向末尾节点。 -
_Mysize：缓存当前元素数量（使size()操作为 O(1)）。 -
_Alnode：节点内存分配器（默认为std::allocator）。
-
(2) GCC 的实现
cpp
template<typename _Tp, typename _Alloc = std::allocator<_Tp>>
class _List_base {
protected:_List_node_base _M_node; // 哨兵节点_Alloc _M_get_Node_allocator(); // 节点分配器
};template<typename _Tp, typename _Alloc = std::allocator<_Tp>>
class list : protected _List_base<_Tp, _Alloc> {size_t _M_size; // 当前元素数量
};
-
关键成员：
-
_M_node：哨兵节点（类似 MSVC 的_Myhead）。 -
_M_size：缓存元素数量（C++11 起标准要求size()为 O(1)）。
-
3. 哨兵节点（Sentinel Node）的作用
-
带头双向循环链表：
list的内部实现是一个带哨兵节点的双向循环链表，其成员关系如下：[哨兵] <-→ [节点1] <-→ [节点2] <-→ ... <-→ [哨兵]
-
优势：
-
begin()= 哨兵的_Next，end()= 哨兵自身。 -
插入/删除操作无需特殊处理头尾边界。
-