std::forward_list 不是轻量版 list，而是为特定场景设计的单向链表；其 size() 在 libstdc++ 中为 O(n)，因未维护计数器，循环中使用会导致性能灾难。
std::forward_list 不是“轻量版 list”，它是为特定场景彻底重构的单向链表——如果你需要 size()、随机访问、尾部操作或双向遍历，它从一开始就不该被选中。
为什么 std::forward_list::size() 有时慢得离谱
标准只要求 size() 是 O(1) 或 O(n)，不强制实现方式。libstdc++（GCC 默认）至今默认不维护计数器，调用 size() 就是遍历一遍；MSVC 和 libc++ 多数已实现 O(1)，但可移植代码不能赌。
- 别在循环条件里写
for (size_t i = 0; i —— 这会让 O(n) 变成 O(n²) - 判空永远用
fl.empty()，它恒为 O(1) - 真要长度？只算一次并缓存：
auto len = std::distance(fl.begin(), fl.end()); - 若频繁查长度，说明你误用了容器：换
std::vector或手动维护size_t count
insert_after 和 erase_after 是唯一合法的中间修改入口
单向链表没有前驱指针，所以无法从“当前节点”反推上一个节点。所有中间插入/删除必须提供「前一个节点的迭代器」，而不是目标位置本身。
- 头插安全写法是
fl.insert_after(fl.before_begin(), x)，不是fl.insert_after(fl.begin(), x) - 删第 n 个元素？先走
n-1步：auto prev = std::next(fl.begin(), n - 1); fl.erase_after(prev); -
fl.erase_after(fl.end())是未定义行为 ——end()不指向有效节点 - 想删首元素？用
fl.pop_front()，别试图erase_after(fl.before_begin())以外的方式
splice_after() 才是 forward_list 的性能核武器
它不拷贝、不构造、不析构，只改几个指针，真正 O(1) 拼接。这是其他容器做不到的底层能力，适用于 LRU、任务迁移、哈希桶合并等场景。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
-
dst.splice_after(pos, src)：把整个src接到dst的pos后，src清空 -
dst.splice_after(pos, src, it)：把src中it指向的单个节点移到dst的pos后 -
src和dst必须同类型，且不能是同一个对象（自拼接未定义） - 被移动节点的迭代器在原容器中立即失效，但值不变、内存地址不变
什么时候该用 forward_list，什么时候该换
它的优势只在“大量小节点 + 高频头插/头删 + 无长度需求”时成立。一旦模式偏移，代价立刻显现。
- 存
int、char*、小结构体（ 10⁵ → 省内存明显（64 位下每节点省 8 字节） - 存
std::string、大对象或指针指向堆内存 → 节点指针差异可忽略，别硬上 - 需要
back()、at()、operator[]、反向遍历 → 直接换std::list或std::deque - 需要稳定随机访问或缓存局部性 →
std::vector更合适，哪怕插入稍慢
最容易被忽略的是：它没有尾指针，也没有 push_back()。如果你下意识写了 fl.push_back(x)，编译器会直接报错——这不是遗漏，是设计剔除。
