std::forward_list 真正高效仅当放弃 size()、反向遍历等且节点多、值类型小时；判空必须用 empty()；insert_after/erase_after 操作参数迭代器的下一节点；splice_after 是唯一 O(1) 拼接方式；省内存仅在小值类型大量节点时显著。
std::forward_list 不是“轻量版 list”，它只在明确放弃 size()、反向遍历、随机访问、尾部操作，且节点多、值类型小时才真省内存、真高效。
为什么不能用 fl.size() == 0 判空
因为 size() 在多数实际环境（如旧版 libstdc++、嵌入式裁剪 STL）中是 O(n) 遍历实现，部分版本甚至未定义该函数——调用可能崩溃或返回垃圾值。可移植、确定性行为的唯一方式是 fl.empty()。
- 永远用
fl.empty()替代fl.size() == 0或!fl.size() - 若需长度且仅用一次：调用
std::distance(fl.begin(), fl.end())并存为局部变量复用 - 若长度需高频访问（如 LRU 缓存计数）：手动维护一个
size_t m_size，每次push_front()、insert_after()、erase_after()后同步增减 - 禁止在循环条件里写
for (size_t i = 0; i < fl.size(); ++i)—— 这会把 O(n) 变成 O(n²)
insert_after() 和 erase_after() 的参数到底指谁
这两个函数的操作对象永远是「参数迭代器所指节点的下一个节点」，不是参数本身。这是单向链表无法回溯的硬约束，不是 API 设计疏漏。
- 头插必须用
fl.insert_after(fl.before_begin(), x)或更安全的fl.push_front(x)；传fl.begin()是错的 - 删首节点必须用
fl.erase_after(fl.before_begin())或fl.pop_front()；传fl.begin()实际删的是第二个元素 - 删第 n 个元素（n ≥ 1）：先
auto prev = std::next(fl.before_begin(), n - 1)，再fl.erase_after(prev) - 遍历时删当前匹配节点：初始化
auto prev = fl.before_begin()，循环内用auto curr = std::next(prev)定位，匹配后执行prev = fl.erase_after(prev)跳过被删节点
什么时候必须用 splice_after()
splice_after() 是 std::forward_list 唯一真正 O(1) 的物理拼接操作：不调用构造/析构、不分配内存、只改 next 指针。任何用 insert_after() 循环插入的模拟方式都会彻底毁掉性能和内存优势。
立即学习“C++免费学习笔记（深入）”；
- 整体迁移：
dst.splice_after(pos, src)，src变为空容器 - 单节点迁移：
dst.splice_after(pos, src, it)，将src中it所指节点移到dst - 范围迁移：
dst.splice_after(pos, src, first, last)（左闭右开），只拼接[first, last) -
src和dst必须同类型且不能是同一对象；自拼接（fl.splice_after(..., fl)）是未定义行为
它到底省多少内存，以及什么时候不该用
64 位系统下，每个 std::forward_list<int> 节点比 std::list<int> 少 8 字节（无 prev 指针），100 万个 int 可省约 7.6–8 MB。但这仅在节点量大、值类型小时显著。
- 存
int、char*、小结构体（≤ 16 字节）且平均链长 ≤ 5：指针开销占比高，节省明显 - 存
std::string、大对象或堆指针：8 字节差异可忽略，别硬套 - 需要频繁查长度、反向遍历、随机访问、尾部操作（
push_back）、或节点少于 10⁴：直接换std::vector或std::list - 用
sizeof实测你的实际节点大小——allocator 对齐可能影响结果，别依赖文档
最常被忽略的一点：你写的每行 fl.size() 都可能在后台触发一次全链表遍历；而每次误传 fl.end() 给 erase_after()，都可能让程序在某个优化等级下静默崩溃。
