C++里的std::list和std::forward_list有什么区别?(双向链表与单向链表的空间开销)

std::list是双向链表,每节点含prev/next指针(约24字节),支持O(1)任意位置增删和双向遍历;std::forward_list是单向链表,仅含next指针(约16字节),空间更省但仅支持前向操作、无O(1) size()。

std::list 是双向链表,每个节点存两个指针

每个 std::list 节点除了保存用户数据外,还必须存储 prevnext 两个指针(通常各占 8 字节,在 64 位系统上)。这意味着即使只存一个 int(4 字节),单个节点实际占用至少 sizeof(int) + 2 * sizeof(void*),即约 20 字节(考虑对齐后常为 24 字节)。

典型布局:

struct list_node {
    list_node* prev;
    list_node* next;
    int data;  // 实际元素
};

插入、删除任意位置都是 O(1),但随机访问是 O(n);支持从两端高效操作(push_frontpop_back 等)。

std::forward_list 是单向链表,每个节点只存一个指针

std::forward_list 节点只含 next 指针和数据,没有 prev。因此空间开销更小:单个节点约为 sizeof(int) + sizeof(void*),即约 12 字节(对齐后常为 16 字节)。

典型布局:

struct forward_list_node {
    forward_list_node* next;
    int data;
};

它不提供 size()(C++11 默认不缓存长度,调用是 O(n)),也不支持反向遍历;所有插入/删除都只能从当前节点开始往后操作,例如 insert_aftererase_aft

er —— 这意味着想在某个迭代器前插入,得先找到它的前驱,代价是额外遍历。

什么时候该选 forward_list 而不是 list?

仅当以下条件同时满足时才值得切换:

  • 确定永远不需要反向遍历或从尾部操作(如无 pop_backrbegin 需求)
  • 内存敏感,且节点数量极大(比如百万级小对象),此时节省的指针空间(每节点 ~8 字节)才真正有意义
  • 插入/删除集中在头部或已知前驱位置(避免频繁找前驱)
  • 不依赖 size()O(1) 性能(或自己维护计数器)

常见误用:用 forward_list 替代 list 只为“听起来更轻量”——但若代码中频繁调用 std::distance 或需要 splice_after 前反复搜索,性能反而更差。

实际测试中容易被忽略的细节

编译器优化(如空基类优化)可能让某些特化类型(如 forward_list)节点更紧凑,但不可依赖;list 的迭代器是双向的,而 forward_list::iterator 是前向迭代器,不能递减(--it 不合法);

标准未规定节点是否分配在连续内存,两者都不支持像 vector 那样的缓存友好访问——哪怕 forward_list 更省空间,遍历时仍大概率触发大量缓存未命中。

真正影响性能的往往不是单个节点大小,而是遍历模式和分配器行为。如果没做过 profile,别只凭“少一个指针”就换容器。