c++oding="utf-8" ?>
std::forward_list 没有 size() 成员函数是因为标准要求 o(1) 复杂度，而维护计数器违背“零开销抽象”；c++17 起强制 o(1)，但旧实现或裁剪 stl 仍可能为 o(n)，!empty() 才是可移植的空判断方式。
std::forward_list 不适合需要频繁查长度、反向遍历或按索引访问的场景；它只在「纯前向流式处理 + 头部/局部高频增删 + 内存极度敏感」时才真正发挥价值。
为什么 std::forward_list 没有 size() 成员函数？
这不是遗漏，而是标准强制设计：C++11 起明确要求 size() 必须是 O(1)，而维护计数器会破坏「零开销抽象」——每次 insert_after() 或 erase_after() 都得多一次整数加减，哪怕只是 +1/-1。所以它压根不存 size 字段。
- 你看到的
fl.size()在 C++17 前多数实现（如 libstdc++ 旧版）是 O(n)，靠std::distance(fl.begin(), fl.end())实现 - C++17 起标准要求 O(1)，但嵌入式或裁剪 STL（如某些裸机环境）仍可能不提供，
!fl.empty()才是唯一可移植的空判断方式 - 千万别在循环条件里写
for (size_t i = 0; i —— 这会让 O(n) 遍历退化成 O(n²)
insert_after() 和 erase_after() 的参数到底指什么？
它们的操作对象永远是「参数迭代器所指节点的后一个节点」，不是参数本身。这是单向链表无法获取前驱的必然结果。
-
fl.insert_after(it, x)：在it指向的节点之后插入x；it可以是fl.before_begin()（此时等价于push_front()），但不能是fl.end() -
fl.erase_after(it)：删除it后面那个节点；传fl.before_begin()就是删首节点（等价于pop_front()）；传fl.end()是未定义行为 - 想删第 5 个元素？得先
auto prev = std::next(fl.begin(), 4)，再fl.erase_after(prev)—— 注意是 4，不是 5
什么时候用 splice_after() 而不是拷贝插入？
splice_after() 是 std::forward_list 唯一能真正 O(1) 移动子链的操作，不调用构造/析构、不分配内存、只改 next 指针。
-
fl1.splice_after(pos, fl2)：把fl2全部节点接到fl1中pos后面，fl2变为空 -
fl1.splice_after(pos, fl2, first, last)：只拼接fl2中[first, last)范围的节点（注意是左闭右开） - 典型适用场景：LRU 缓存中把命中节点移到头部（需配合手动维护头尾逻辑）、任务队列分片迁移、解析器中剥离注释节点段
- 别用
insert_after()+ 循环 push 来模拟拼接——那会触发 n 次内存分配和构造，完全失去意义
比 std::list 真的省多少内存？
64 位系统下，每个节点省 8 字节（少一个 prev 指针）。但这只有在「节点多 + 值类型小」时才显著。
-
std::forward_list<int></int>存 100 万个元素：比std::list<int></int>少约 7.6MB 内存（1000000 × 8 字节） -
std::forward_list<:string></:string>：每个std::string通常已在堆上分配几十字节，节点指针差异几乎不可见 - 缓存友好性提升常被忽略：更小的节点 → 更高缓存行利用率 → 遍历大量
int时实际吞吐反而更高 - 但如果你需要
pop_back()、reverse_iterator或merge()（非排序合并），std::forward_list会让你花三倍时间重写逻辑
最易被忽略的一点：它没有尾指针，也没有 back()，连 push_back() 都不支持——这意味着任何需要尾部追加的场景，都得自己从头遍历一遍找 end，O(n) 开销直接暴露在业务逻辑里。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
