std::forward_list 没有 size() 是设计选择，判空必须用 empty()；插入/删除均依赖 insert_after() 和 erase_after()，参数指前驱节点而非目标节点。
std::forward_list 没有 size() 不是 bug，是设计选择；想安全判空，必须用 empty()；所有中间插入/删除都依赖 insert_after() 和 erase_after()，参数永远指“前驱”，不是目标节点本身。
为什么不能用 size() 判断是否为空？
C++11 起标准允许 size() 是 O(n)，C++17 要求 O(1)，但很多环境（尤其是嵌入式或裁剪 STL）仍不提供或退回遍历实现。更关键的是：fl.size() == 0 在空容器上可能抛异常或返回垃圾值——某些旧 libstdc++ 实现甚至不定义该函数。
可移植写法只有一条：fl.empty()，它始终是 O(1) 且 guaranteed defined。
- 别写
if (fl.size() == 0)，哪怕编译通过 - 别依赖
__size()等非标扩展，MSVC 或 libc++ 可能有，但 libstdc++ 没 - 若真需要长度且频次高，手动维护一个
size_t count，在每次push_front()、insert_after()、erase_after()后同步增减
insert_after() 和 erase_after() 的参数到底指谁？
这两个函数的操作对象永远是「参数迭代器所指节点的下一个节点」。这是单向链表无法获取前驱的硬约束，不是 API 设计疏漏。
立即学习“C++免费学习笔记（深入）”；
fl.insert_after(it, x)：在 it 指向的节点之后插入 x；it 可以是 fl.before_begin()（此时等价于头插），但绝不能是 fl.end()。
fl.erase_after(it)：删除 it 后面那个节点；传 fl.before_begin() 就是删首节点（等价于 pop_front()）；传 fl.end() 是未定义行为。
- 想删第 5 个元素？先
auto prev = std::next(fl.begin(), 4)，再fl.erase_after(prev)—— 注意是 4，不是 5 - 想在开头插入？必须用
fl.insert_after(fl.before_begin(), val)，别试图用fl.begin()作参数 - 遍历时删当前节点？得保存前驱：先
auto prev = fl.before_begin()，循环里用std::next(prev)定位，删完再++prev
什么时候必须用 splice_after()？
splice_after() 是 std::forward_list 唯一真正 O(1) 移动子链的操作：不调用构造/析构、不分配内存、只改 next 指针。拷贝插入或循环 push_front() 会彻底毁掉性能优势。
dst.splice_after(pos, src)：把整个 src 接到 dst 中 pos 后，src 变空；dst.splice_after(pos, src, first, last)：只拼接 [first, last) 范围（左闭右开）。
- LRU 缓存中把命中节点移到头部：需配合手动维护头尾逻辑，用
splice_after(before_begin(), fl, it)把节点提到最前 - 任务队列分片迁移：把一批节点从一个队列整体切过去，避免逐个构造和析构
- 解析器剥离注释段：用
splice_after()把连续的注释节点段摘下来丢弃，原链表结构不变 - 别用
insert_after()+ 循环emplace_front()模拟拼接——那会触发 n 次内存分配和移动构造
比 std::list 真的省多少内存？
64 位系统下，每个节点省 8 字节：std::list 节点含两个指针（next + prev），std::forward_list 只有 next。10 万个 int 节点，就少占 800 KB。
但这省下来的内存，只在「纯前向流式处理 + 头部/局部高频增删 + 内存极度敏感」时才有意义。一旦你需要反向遍历、按索引访问、频繁查长度，或者想用 merge()、sort()（std::forward_list 虽有，但需自己保证有序前提），就该换 std::list 或 std::vector。
最容易被忽略的一点：它没有尾指针，所以 push_back() 不存在。如果业务逻辑天然需要尾部追加（比如日志缓冲区），强行用 std::forward_list 就得每次遍历到尾——O(n) 开销直接吃掉所有内存优势。
