使用2方法提取容器中的数据(pop_front和前面)

using 2 method to extract data in container ( pop_front and front )

本文关键字:pop front 前面 数据 方法 提取 使用      更新时间:2023-10-16

( 对不起,我的英语不好!嗨,我正在学习工业计算。这是我的第五个任期。在我的一门课程中,老师要求我们用 c 写一个类"列表"(仅转发,下一个元素的 ptr 而不是前一个元素)。我做了一个简单的"提取"方法,该方法返回一个value_type并删除第一个元素,但我的老师说,如果复制构造函数抛出异常,该值将丢失,因为它已被提取。我看过 std::forward_list,我看到 stl 提供了一种提取方法和一种访问最后一个元素(pop_front() 和 front() )的方法。我不明白为什么我们不能用一种方法来做到这一点?我写了这段代码:

value_type extract()
{
   if( empty() )
     throw EmptyList();
   std::unique_ptr< Node > p = m_Head;
   if( m_Head == m_Last )
     m_Last = nullptr;
   m_Head = m_Head->m_Next;
   try
   {
       return p->m_Value;
   }
   catch( ... )
   {
       m_Head = p.release();
       if( !m_Last )
          m_Last = m_Head;
       throw;
   }
}

我还制作了一个带有 nothrow_t 参数的方法提取,该参数不会复制任何内容(返回 void),因此我们可以"强制"提取。为什么 stl 不这样做?最好做"auto v = something.pop();"!我的版本安全吗?如果我们真的关心可以在复制构造函数中抛出的异常,并且我们真的想继续并保留数据,那么我们不能简单地尝试捕获"pop"方法吗?

谢谢你的帮助!

我不明白为什么我们不能用一种方法来做到这一点?

需要这两个操作来提供强大的异常保证 - 也就是说,如果随时引发异常,则不应更改容器。

auto v = something.pop(),您的提案必须按顺序做三件事:

  • 从容器中删除元素;
  • 从函数返回该元素;
  • 使用返回值初始化v

如果最后阶段引发异常,则该元素将从容器中删除并丢失。尝试使用 try...catch 构造修复此问题无济于事:从函数返回后将引发异常,因此不会被函数中的处理程序捕获。

使用 STL 风格的界面分两个阶段完成,顺序是:

  • 处理对容器元素的引用;
  • 从容器中删除元素。

现在,如果处理引发异常,该元素将保留在容器中并且不会丢失。

如今,通过将移动语义添加到语言中,您可以实现您的版本,并要求元素在移动时不会抛出。这是一个相当合理的要求,已经在 C++11 容器上进行了一些操作。但这并没有发生,我怀疑这样的改变只是为了一点方便。

如果我们真的关心可以在复制构造函数中抛出的异常,并且我们真的想继续并保留数据,那么我们不能简单地尝试捕获"pop"方法吗?

我们可以;但这比提供异常安全界面更不方便,而且更容易出错。

STL 使它成为两个操作,因为 front() 函数返回一个引用,而不是一个值,以消除双重副本。在返回项目时从列表中删除项目需要按值返回,否则对象将超出范围。