std::forward_list 没有 size() 是因标准要求其保持常数时间插入/删除与零空间开销，故不维护节点计数；需用 std::distance(begin(), end()) 获取长度（o(n)），或改用 std::list、自行缓存计数。
std::forward_list 为什么没有 size() 成员函数
因为标准明确要求 std::forward_list 必须是“常数时间插入/删除 + 零空间开销”的轻量结构，不维护节点计数。调用 std::distance(begin(), end()) 才能获取长度，但这是 O(n) 操作——不是忘了加，是故意去掉的。
常见错误现象：写 lst.size() 编译失败，报错类似 error: 'size' is not a member of 'std::forward_list<int>'</int>。
- 若需频繁查长度，应换用
std::list或自己缓存计数 - 遍历时别依赖“已知长度”做下标访问——它根本不支持
operator[]和随机迭代 - 清空后立即调用
empty()是安全且 O(1) 的，比distance更合适判断是否为空
insert_after 和 emplace_after 怎么正确插入节点
std::forward_list 所有插入操作都必须指定“前一个节点”，通过迭代器完成，没有 push_front 以外的“位置无关”接口。最常用的是 insert_after 和 emplace_after。
使用场景：在某个已知节点后追加新元素，比如实现 LRU 缓存的头部更新、解析流式数据时插桩。
立即学习“C++免费学习笔记（深入）”；
-
insert_after(it, value)：拷贝构造，适用于已有对象 -
emplace_after(it, args...)：就地构造，避免临时对象，推荐用于含非 trivial 构造函数的类型（如std::string） - 注意
it必须是合法的、非end()的迭代器；before_begin()是唯一允许传入的“虚拟前驱”迭代器，用于头插
示例：
std::forward_list<std::string> lst; auto it = lst.before_begin(); // 准备头插 lst.emplace_after(it, "first"); // 插入 "first" it = lst.begin(); // now points to "first" lst.emplace_after(it, "second"); // 插在 "first" 后面
erase_after 删除节点时的迭代器失效规则
std::forward_list::erase_after 只使被删节点的迭代器失效，其余迭代器（包括指向被删节点之后节点的迭代器）全部保持有效——这是它和 std::list 的关键差异之一。
容易踩的坑：误以为要像 vector 那样手动递增迭代器再擦除，结果跳过节点或解引用已失效迭代器。
-
erase_after(it)删除的是it所指节点的下一个节点，返回值是被删节点之后的迭代器（C++11 起），可用于链式删除 - 安全遍历删除所有偶数值节点写法：
for (auto it = lst.before_begin(); it != lst.end(); ) { auto next = std::next(it); if (next != lst.end() && *next % 2 == 0) it = lst.erase_after(it); else ++it; } - 不能对
end()调用erase_after，行为未定义
和 std::list、std::vector 对比时的关键取舍点
选 std::forward_list 不是为了“更先进”，而是为特定约束让步：内存极致敏感 + 单向遍历 + 频繁头部/中间插入删除。
性能与兼容性影响：
- 内存占用 ≈ 每个节点仅一个指针（
std::list是两个，std::vector是连续但可能预留冗余） - 不支持反向迭代（无
rbegin/rend），也不支持--it（只有单向++it） - 迭代器是单向的，
std::next(it, n)是唯一“跳转”方式，且效率随 n 线性下降 - 若代码中已有大量基于
size()或随机访问的逻辑，强行替换为forward_list会导致重构成本远高于收益
真正该用它的时刻，往往出现在嵌入式、网络协议帧解析、或自定义内存池配套容器等对字节级布局有强控需求的场景里——而不是日常业务逻辑。
