std::forward_list 仅在明确放弃 size()、反向遍历、随机访问、尾部操作，且节点量大、值类型小时才显著节省内存；其节点比 std::list 少 8 字节（单 next 指针 vs prev+next），100 万个 int 可省约 7.6–8 MB。
std::forward_list 只在你明确放弃 size()、反向遍历、随机访问、尾部操作，并且节点数量大、值类型小时，才真能省出可观内存——否则它只是徒增维护成本。
为什么 std::forward_list 的节点比 std::list 少 8 字节？
因为每个 std::forward_list<int></int> 节点只存一个 next 指针（64 位下 8 字节）+ 数据；而 std::list<int></int> 节点必须存 prev 和 next 两个指针（共 16 字节）。这不是理论压缩，是 sizeof 可验证的实打实差异。
实际影响：
- 存 100 万个
int：std::forward_list比std::list少用约 7.6–8 MB 内存 - 存 100 万个
std::string：指针差那 8 字节几乎不可见，别换 - 哈希桶里平均长度 ≤ 3 的短链表：指针开销占比极高，
forward_list节点体积优势直接翻倍显现
insert_after 和 erase_after 是唯一合法的中间操作入口
你不能写 fl.erase(it) 或 fl.insert(it, x) —— 这些函数根本不存在。所有插入删除都必须基于“前一个位置”：
立即学习“C++免费学习笔记（深入）”；
-
fl.insert_after(fl.before_begin(), x)等价于头插，但push_front()更简洁（C++11 起支持） - 想删第 3 个元素？先
auto it = std::next(fl.begin(), 2)走到第 2 个，再fl.erase_after(it) - 传
fl.end()给erase_after()是未定义行为；传fl.before_begin()删首节点是唯一安全方式 - 边遍历边删时，必须用
it = fl.erase_after(it)接收返回值——它跳过被删节点，不是++it
size() 不是免费的，而且很可能很贵
std::forward_list::size() 在 C++17 起可实现为 O(1)，但很多项目仍在 C++11/14，或使用旧版 libstdc++，此时调用它等于触发一次全链表遍历（O(n)）。
真正安全又廉价的操作：
- 判空用
fl.empty()—— 永远 O(1) - 要长度？只在必要时调一次
std::distance(fl.begin(), fl.end())，别在循环里反复调 - 如果代码中频繁出现
fl.size() > 5或类似判断，说明你该换std::vector或std::list了
splice_after() 是它唯一不可替代的性能王牌
std::forward_list::splice_after() 是纯指针操作：不构造、不析构、不拷贝元素，只改几个 next 字段。这在高频重组场景中价值巨大：
-
dst.splice_after(pos, src)：把整个src拼到dst的pos后，src变空 -
dst.splice_after(pos, src, it)：把src中it所指节点移到dst的pos后 - 注意：
splice_after()不支持像std::list::splice()那样直接摘一段区间；它要求你明确提供源容器中的起始点 - 如果你需要把某个节点“提到最前面”，得先找到它的前驱，再拼到
dst.before_begin()—— 这就是它不适合 LRU 的根本原因
最容易被忽略的复杂点：它没有“节点地址即稳定标识”的能力。你想用哈希表快速定位某节点？不行——你只能存它的前驱迭代器，而前驱可能随时因上游插入失效。一旦你发现自己在代码里反复 std::next、反复 std::find、反复确认“这个 it 到底对应第几个”，就该停手了——那不是内存优化，是开发效率负优化。
