std::forward_list需禁用size()，改用empty()判空、distance()查长或手动维护m_size；头插用push_front()、首删用pop_front()；拼接仅限splice_after()且禁止自拼接。
在嵌入式系统、高频实时任务队列或超大规模小对象缓存（如 LRU）中，std::forward_list 因其每个节点仅含一个 next 指针，比 std::list 节省 8 字节/节点（64 位平台），成为唯一可接受的零开销前向链表方案；但一旦误用 size()、传错迭代器或绕过 splice_after() 做拼接，内存优势瞬间归零，性能反被拖垮。
安全判空与长度管理
第一步：永远用 【fl.empty()】 替换 if (fl.size() == 0) 或 while (!fl.size())——libstdc++ 当前主流版本（GCC 12/13）中 fl.size() 就是全链表遍历，空容器上可能返回未初始化值，触发 SIGSEGV。
第二步：若需真实长度且只查一次，写 auto len = std::distance(fl.begin(), fl.end()); 并将 len 存为局部变量复用；切勿在 for 循环条件里反复调用 fl.size()，那会让 O(n) 遍历退化成 O(n²)。
第三步：若封装类需高频访问长度（如自研 LRU 缓存），必须手动维护 size_t m_size 成员，在每次 push_front()、insert_after()、erase_after() 后同步增减——这是唯一可移植、零运行时开销的解法。
立即学习“C++免费学习笔记（深入）”；
头插、首删与中间节点操作
头插最简写法：直接调用 fl.push_front(x)，它语义等价于 fl.insert_after(fl.before_begin(), x)，且不暴露底层迭代器细节，避免手误传入 fl.begin()。
删首节点必须用 fl.pop_front() 或 fl.erase_after(fl.before_begin())；【绝不可传 fl.begin() 给 erase_after()】——这会实际删除第二个元素，且编译器不会报错。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
删除第 n 个元素（n ≥ 1）：先执行 auto prev = std::next(fl.before_begin(), n - 1)，再调用 fl.erase_after(prev)；注意是 n−1 步，不是 n 步——因为 before_begin() 指向头节点之前，前进 0 步即抵达头节点前驱位置。
边遍历边安全删除匹配节点
方法一（推荐）：初始化 auto prev = fl.before_begin()；循环内用 auto curr = std::next(prev) 定位当前节点；若匹配，执行 prev = fl.erase_after(prev)——该调用返回被删节点之后的有效迭代器，自动跳过被删节点及其后继，避免漏删。
方法二（易错）：禁止使用 ++it 后 erase_after(it)，因为 erase_after(it) 删除的是 it 后节点，而 ++it 已使 it 指向被删节点本身，结果既删错位置又破坏迭代器连续性。
零开销拼接：splice_after() 的唯一正确用法
整链迁移：dst.splice_after(pos, src)，执行后 src 变为空容器，dst 在 pos 后接入全部原 src 节点；该操作不调用任何构造/析构函数，不分配新内存，只修改 next 指针。
单节点迁移：dst.splice_after(pos, src, it)，将 src 中 it 所指节点移至 dst 的 pos 后；it 在 src 中立即失效，无需担心悬垂引用。
范围迁移：dst.splice_after(pos, src, first, last)，仅拼接 [first, last) 区间（左闭右开）；特别适用于解析器剥离注释段、任务队列分片切走等场景——【src 和 dst 必须为不同对象】，自拼接（如 fl.splice_after(fl.before_begin(), fl)）是未定义行为，GCC/Clang 静默崩溃，MSVC 触发断言。
