c++oding="utf-8" ?>
std::forward_list无o(1) size()因违背零开销原则；判空用empty()，求长用distance()且勿循环调用；c++17虽要求o(1)但可移植代码不可依赖。
std::forward_list 不适合需要频繁查长度、反向遍历或尾部操作的场景；它只在「内存极度敏感 + 头部高频增删 + 单向遍历」三者同时成立时，才比 std::list 或 std::vector 更优。
为什么 std::forward_list 没有 size() 成员函数
标准明确允许其实现为 O(n)，因为维护一个实时 size 计数器会违背「零开销抽象」原则——每次 push_front() 或 erase_after() 都得额外做 +1/-1，哪怕只是原子操作，也增加不可忽略的路径开销。libstdc++（GCC 默认 STL）至今不提供 O(1) size()，调用它等于隐式遍历整条链表。
- 判断是否为空，永远用
fl.empty()—— 这是唯一保证 O(1) 的方式 - 需要长度？只计算一次：
auto len = std::distance(fl.begin(), fl.end());，别在循环条件里反复调用 - C++17 起标准要求
size()为 O(1)，但可移植代码不能依赖；检查是否启用：若定义了__GLIBCXX__且版本
insert_after 和 erase_after 是唯一合法的中间修改接口
单向链表无法从任意节点反推前驱，所以所有「在某位置之后插入」或「删除某位置之后的节点」都必须显式传入前驱迭代器。这不是设计疏漏，而是结构限制。
-
fl.insert_after(it, val)总是在it所指节点之后插入，不是之前 - 想在开头插入？必须用
fl.insert_after(fl.before_begin(), val)，fl.before_begin()是唯一合法的“头节点前”占位符 - 删第 n 个元素？先用
std::next(fl.before_begin(), n-1)得到其前驱，再传给erase_after()；直接对fl.begin()调用erase_after()是未定义行为 - 误写
fl.erase(it)会编译失败 —— 它压根没有这个重载
splice_after() 是唯一真正 O(1) 的拼接操作
不同于 std::list::splice() 支持任意子范围摘取，std::forward_list::splice_after() 只能拼接「从某迭代器开始到结尾」或「指定起止迭代器之间」的一段，但它不拷贝元素、不调用构造/析构，纯指针改写。
-
dst.splice_after(pos, src)：把整个src拼到dst的pos后，src变空 -
dst.splice_after(pos, src, it)：把src中it所指节点移到dst的pos后 -
src和dst必须是同一类型，且不能是同一个对象（自拼接未定义） - 被移动节点的迭代器在原容器中立即失效，但值本身不变
什么时候该换掉 std::forward_list
一旦出现以下任一信号，说明你正在强行用错容器：
- 你在循环里反复调用
std::distance()或size()—— 这会让 O(n) 变成 O(n²) - 你需要
back()、rbegin()、operator[]或at()—— 它全都不提供 - 你发现自己在每次
push_front()后都手动更新一个外部size_t count—— 那不如直接用std::list，它已有 O(1)size()且接口更直觉 - 你频繁需要在末尾插入（
push_back()），却靠std::prev(fl.end())遍历找尾 —— 这是 O(n)，而std::deque的尾插是均摊 O(1)
它的优势非常具体：省那一个指针的内存、头部操作绝对 O(1)、拼接不触发任何元素构造。超出这个边界，就是拿灵活性换来的虚假节省。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
