如何高效使用C++ std::forward_list实现内存节省的链表高级操作？

本文共计1157个文字，预计阅读时间需要5分钟。

`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 设计疏漏。