可以使用queue :: pop现在返回一个值吗？

Question

我知道std::queue::pop()回报void.有两个原因:

1. 异常安全:删除元素后可能会抛出某些东西
2. 能够通过引用返回值

精细.

现在,如果我理解新的C++ 11正确移动语义,那么第二个不再是有效的参数.

所以...唯一阻止std::queue类似pop函数返回值的东西在于移动构造函数抛出的可能性？

我很难想到这样一个移动构造函数会抛出的情况.谁知道一个例子？

我想这同样适用于std::stack::pop(),std::vector::pop_front(), std::vector::pop_back(),std::deque::pop_front(), std::deque::pop_back(),std::list::pop_front(), std::list::pop_back(),什么不是.

Answer 1

std::move()可以投入标准库的情况并不多,但有些情况.例如,如果容器使用有状态分配器,它的子进程也使用这个分配器,但它不会被移动到结果:这宁愿得到分配器的默认构造版本(如果我正确删除).鉴于分配器是有状态的,这意味着对象不能被移动,因此移动构造失败并带有异常.为什么这种类型有一个移动构造函数？好吧,因为它可能用非有状态分配器实例化,在这种情况下移动不会抛出.此外,一旦我们转移到用户定义的类,我们不知道在哪个条件下移动它们可能会抛出.

Answer 2

使用聪明的SFINAE技术,确实可以为实现无投掷移动或不投掷副本的数据类型提供原子非抛出pop_and_move().

甚至还有一个noexcept()结构可用于查看是否有东西可能抛出.

特别是扩展SFINAE的C++ 11中的一个新概念是,如果正文不编译,则该函数不存在.因此,可以基于noexcept()实现.

我会说为了向后兼容,该函数需要一个新名称,因此它允许它与单独调用它们的现有功能共存,而不是破坏没有语义允许它的类型的容器.