std::forward_list 不是轻量版 std::list，而是专为内存敏感场景设计的单向链表；其 size() 在旧 STL 中为 O(n)，误用会导致性能灾难。
std::forward_list 不是“更轻量的 std::list 替代品”，它是为特定内存敏感场景设计的专用工具——只有当你确认不需要反向遍历、不依赖 size()、且插入/删除总能以“前驱位置已知”为前提时，它才真正省心省钱。
为什么 std::forward_list::size() 不能信？
标准只要求 C++17 起 size() 可实现为 O(1)，但很多项目仍在用旧 STL（如 libstdc++ 8.x 或嵌入式裁剪版），此时 size() 就是 std::distance(begin(), end())，纯 O(n) 遍历。更危险的是把它塞进循环条件：
for (size_t i = 0; i < fl.size(); ++i) { ... }
这会让本该线性的操作变成 O(n²)。实际中：
- 判空永远用
fl.empty()—— 它始终是 O(1) - 真需要长度？只算一次，存到局部变量里：
auto len = std::distance(fl.begin(), fl.end()); - 若频繁查长度，说明
std::forward_list本身就不适合你，换std::list或加个手动维护的size_t count
insert_after 和 erase_after 的参数逻辑必须反着想
它不接受“删 it 指向的节点”，而是“删 it 后面那个”。所有操作都强制你持有前驱迭代器——这是单向链表无法回溯的硬约束。
立即学习“C++免费学习笔记（深入）”；
- 头插：必须用
fl.insert_after(fl.before_begin(), val)或更简洁的fl.emplace_front(val) - 删首节点：用
fl.erase_after(fl.before_begin())，不是fl.erase_after(fl.begin()) - 删第 n 个元素：先
auto it = std::next(fl.before_begin(), n-1)，再fl.erase_after(it) - 传
fl.end()给erase_after()是未定义行为；传fl.begin()给erase_after()删的是第二个元素，不是第一个
哪些场景真能靠它省下可观内存？
每节点省 8 字节（64 位系统）这事只在“节点多 + 值类型小”时才肉眼可见。比如哈希桶冲突链、事件队列缓存、解析器 token 流。
-
std::forward_list<int></int>存 100 万个元素 → 比std::list<int></int>少约 7.6 MB -
std::forward_list<char></char>在大量短字符串场景下，指针节省占比高 - 但若存
std::array<uint8_t></uint8_t>，那 8 字节差异可忽略，别硬换 - 注意：它不管理元素内容内存，只减链表结构开销；也不提供尾指针，所以
push_back()不存在，尾插得自己维护迭代器或遍历到底
splice_after() 是唯一不可替代的性能优势
其他操作都能被 std::list 或 std::vector 模拟，唯独 splice_after() 是真正的 O(1) 指针摘接——不调构造、不调析构、不拷贝数据。LRU 缓存迁移命中节点、任务队列按优先级重组，就靠这个。
-
dst.splice_after(pos, src)：把整个src接到dst的pos后，src变空 -
dst.splice_after(pos, src, it)：把src中it所指节点移到dst的pos后 - 它不支持像
std::list::splice()那样直接拼范围，但胜在零开销；若你需要双向 splice 或按值查找后移动，std::forward_list就不是解法
最常被忽略的点：它没有“迭代器可逆”保证，--it 或 std::prev(it) 在任何标准实现里都不合法。一旦你在调试中发现自己在反复 std::next(fl.before_begin(), n) 来定位，或者写一堆辅助函数模拟“找前驱”，就该停下来问一句：这真的是在优化运行时，还是在增加维护成本？
