std::forward_list 没有 size() 是因标准禁止其在 O(1) 时间提供长度，设计上避免维护 size 计数器以遵循“零开销抽象”；C++17 虽允许 O(1) size()，但不可移植，推荐用 std::distance。
为什么 std::forward_list 没有 size() 成员函数
因为标准明确禁止它在 O(1) 时间内提供长度——不是实现偷懒，而是设计选择。std::forward_list 的每个节点只存一个 next 指针，不维护任何额外字段；加一个 size_ 计数器会让每次 insert_after() 或 erase_after() 都多一次整数增减，违背“零开销抽象”原则。
实际中：
- C++17 起标准允许 size() 是 O(1)，但很多编译器（如 libstdc++ 12 之前）仍实现为 O(n)，且不可移植
- 你若真需要频繁查长度，std::distance(fl.begin(), fl.end()) 是唯一标准方式，但它会遍历整个链表
- 别在循环里反复调用它——比如写 for (int i = 0; i ，性能直接崩掉<br>
- 判空永远用 <code>fl.empty()，它是 O(1) 且稳定
insert_after 和 erase_after 是唯一合法的中间操作入口
std::forward_list 没有 insert()、erase()、at()、operator[]，也不支持用索引定位。所有非头部的增删，必须靠 insert_after() 和 erase_after()，且参数必须是一个**有效迭代器**（指向某个现存节点，或 before_begin()）。
常见错误：
- 传 fl.end() 给 erase_after() → 未定义行为
- 传 fl.begin() 给 erase_after() → 删除的是第二个元素，不是第一个
- 想删第 n 个？得先用 std::next(fl.before_begin(), n - 1) 走到前一个位置，再调 erase_after()
- 头插唯一安全写法是 fl.insert_after(fl.before_begin(), val) 或直接 fl.push_front(val)
splice_after() 是它唯一不可替代的性能优势
其他容器的拼接（如 std::list::splice()）可能涉及节点拷贝或内存分配，但 std::forward_list::splice_after() 是纯指针操作：不调构造/析构，不分配内存，只改几个 next 字段，真正 O(1)。
使用条件很严格：
- dst.splice_after(pos, src)：把整个 src 接到 dst 的 pos 后，src 变为空
- dst.splice_after(pos, src, it)：把 src 中 it 指向的单个节点移到 dst 的 pos 后
- src 和 dst 必须同类型，且不能是同一个对象（自拼接未定义）
- 拼接后，被移动节点在 src 中的迭代器立即失效，但新位置的迭代器有效
什么时候不该用 std::forward_list
它不是 std::list 的轻量替代品，而是一个有明确取舍的工具。以下情况请立刻换容器：
- 需要频繁获取长度 → 改用 std::list 或带计数器封装的 std::forward_list
- 需要尾部插入（push_back）→ std::deque 或手写带尾指针的链表更合适
- 需要反向遍历或 --it → 直接上 std::list
- 需要随机访问（it + n 或下标）→ std::vector 或 std::deque
- 节点构造/析构代价高，且你常做拼接 → splice_after() 确实省事，但若拼接后还要大量遍历，缓存局部性反而不如连续内存
它的真正主场只有两类：内存极度敏感（嵌入式、高频小对象缓存）、或头部高频增删+拼接重组（如 LRU 链表迁移、事件队列头插+批量摘除）。其他场景，多数时候你在为几字节节省，付出可读性与维护成本。
立即学习“C++免费学习笔记（深入）”；
