forward_lsit的erase操作为什么是删除指定的迭代器之后的元素

最新推荐文章于 2024-03-19 18:40:01 发布

取名太麻烦了

最新推荐文章于 2024-03-19 18:40:01 发布

阅读量196

点赞数

CC 4.0 BY-SA版权

分类专栏： c++ primer11学习记录 STL源码剖析学习记录

本文链接：https://blog.youkuaiyun.com/dovakejin/article/details/118465289

c++ primer11学习记录同时被 2 个专栏收录

7 篇文章

订阅专栏

STL源码剖析学习记录

2 篇文章

订阅专栏

本文探讨了forward_list容器为何没有erase接口，而使用erase_after，解释了其背后的原因：为保持链表连接性，erase会破坏前后节点，erase_after则通过更新指针避免这一问题。同时提到了可能的解决方案，即在迭代器设计中考虑前驱节点。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

问题描述：在forward_list的这个容器中，没有erase接口，只提供了erase_after这个接口。其中erase _after(p)为删除迭代器p指向的位置之后的一个元素。那么为什么不能直接删除当前迭代器指向的元素呢。

首先找到STL中slist.h，可以看到

iterator erase_after(iterator __pos) {
    return iterator((_Node*) this->_M_erase_after(__pos._M_node));
  }

于是转到相应的函数

_Slist_node_base* _M_erase_after(_Slist_node_base* __pos)
  {
    _Slist_node<_Tp>* __next = (_Slist_node<_Tp>*) (__pos->_M_next);
    _Slist_node_base* __next_next = __next->_M_next;
    __pos->_M_next = __next_next;
    destroy(&__next->_M_data);
    _M_put_node(__next);
    return __next_next;
  }

这段代码大概的意思就是

// 伪代码
node* next = cur->next;
node* next_next = next->next;
delete(next);
cur->next = next_next

也就是说，为了保持list的连接，需要知道当前被删除的节点的前驱，如果直接删除当前节点，也就是erase(p)，连接性就被破坏了。当然，也可以在设计迭代器时定义一个prev变量保存当前迭代器的前驱（逃）。