std::forward_list的size()不可信，因libstdc++等主流实现中为O(n)遍历；判空必须用empty()，插入删除均依赖insert_after()/erase_after()且参数为前驱迭代器。
std::forward_list 的 size() 不可信，判空必须用 empty()；所有插入删除都依赖 insert_after() 和 erase_after()，参数永远是前驱迭代器，不是目标节点本身。
为什么不能用 size() 判断是否为空或写循环条件
多数主流实现（如 libstdc++ 当前默认）中 size() 是 std::distance(fl.begin(), fl.end())，即 O(n) 全链表遍历。C++17 虽要求 O(1)，但嵌入式、裁剪 STL 或旧编译器环境仍普遍返回 O(n) 版本。更危险的是：某些旧版 libstdc++ 甚至不定义 size()，调用可能直接编译失败或运行时崩溃。
-
if (fl.size() == 0)必须替换成if (fl.empty())—— 这是唯一可移植、O(1)、guaranteed defined 的空判断方式 - 禁止在 for 循环条件里写
for (size_t i = 0; i < fl.size(); ++i)，这会让本应 O(n) 的遍历退化成 O(n²) - 真需要长度且只用一次？调用一次
auto len = std::distance(fl.begin(), fl.end())，结果存局部变量复用 - 若需高频访问长度（如 LRU 缓存计数），手动维护一个
size_t m_size，并在每次emplace_front()、insert_after()、erase_after()后同步增减
insert_after() 和 erase_after() 的参数到底指谁
这两个函数的操作对象永远是「参数迭代器所指节点的后一个节点」。这是单向链表无法获取前驱的硬约束，不是 API 设计疏漏。传错迭代器会导致删错位置、跳过节点，甚至未定义行为。
- 头插唯一安全写法：
fl.insert_after(fl.before_begin(), x)或更优的fl.emplace_front(x)（就地构造，避免拷贝） - 删首节点必须用
fl.erase_after(fl.before_begin())—— 传fl.begin()会删第二个元素，不是第一个 - 删第 n 个元素（n ≥ 1）：先
auto prev = std::next(fl.before_begin(), n - 1)，再fl.erase_after(prev)；注意是n - 1，不是n - 遍历时安全删当前匹配节点：初始化
auto prev = fl.before_begin()，循环内用auto curr = std::next(prev)定位，匹配后执行prev = fl.erase_after(prev)（它返回被删节点之后的有效迭代器） - 绝对禁止传
fl.end()给任一函数 —— 未定义行为，GCC/Clang 可能静默崩溃，MSVC 可能触发断言
什么时候必须用 splice_after() 而不是循环插入
splice_after() 是 std::forward_list 唯一真正 O(1) 的物理拼接操作：不调用构造/析构、不分配内存、不拷贝数据，只改 next 指针。任何用 insert_after() + 循环模拟拼接的行为，都会彻底丧失其内存与性能优势。
立即学习“C++免费学习笔记（深入）”；
- 整体迁移：
dst.splice_after(pos, src)——src变为空，dst在pos后接上全部节点 - 单节点迁移：
dst.splice_after(pos, src, it)—— 把src中it所指节点移到dst的pos后（注意it必须有效，且src与dst类型相同） - 区间迁移：
dst.splice_after(pos, src, first, last)—— 拼接[first, last)左闭右开范围，last可为src.end() - 典型场景：LRU 缓存命中时把节点提到最前 ——
fl.splice_after(fl.before_begin(), fl, it)；任务队列分片迁移一批节点，避免逐个构造/析构 - 自拼接（
fl.splice_after(pos, fl, ...)）未定义，永远别这么干
什么场景下才该用 std::forward_list，什么情况下该换
它不是 std::list 的轻量替代品，而是为极窄场景定制的容器：只有当「节点数量大（≥ 10⁵）、值类型小（如 int、char*、紧凑结构体）、操作模式严格限定为前向流式处理 + 高频头插/头删 + 无长度/尾部/反向需求」同时成立时，才能兑现每节点省 8 字节（64 位）和零额外开销的优势。
- 存
std::string或百字节以上结构体？节点指针差异可忽略，用std::vector或std::list更稳妥 - 需要
push_back()、pop_back()、随机访问、反向迭代？立刻换容器 ——std::forward_list根本不提供这些接口 - 链表平均长度 ≤ 5？指针开销占比可能超 50%，此时省 8 字节才有意义；否则缓存局部性差，实际性能可能不如
std::vector - 不确定是否适用？用
sizeof实测你的实际节点大小，再结合访问模式做决策 —— allocator 对齐可能让理论节省落空
最容易被忽略的一点：它的“极致内存节省”完全依赖于你避开所有陷阱——误用 size()、传错迭代器、用错拼接方式，任何一个都会让内存优势被运行时开销、未定义行为或维护成本吞没。它不宽容，也不解释错误。
