堆栈是否有一个异常安全的方法来返回和删除带有移动语义的顶部元素？

Question

在回答一个关于std::stack::pop() 我声称原因pop没有返回的问题的原因是出于异常安全原因(如果复制构造函数抛出会发生什么).

@Konrad评论说现在有了移动语义,这已经不再适用了.这是真的？

AFAIK,移动构造函数可以 throw,但也许与noexcept它一起仍然可以实现.

对于奖励积分,此操作可以提供哪些线程安全保证？

Answer 1

当然，并非每种类型都支持移动，C++0x 甚至允许抛出移动构造函数。只要从右值构造对象可能会抛出异常，它就不可能是异常安全的。然而，移动语义允许您拥有许多在给定右值源的情况下不可抛出构造的类型。

SFINAE 可以对此提供有条件的支持。但即使没有这样的条件成员函数，也没有什么能阻止你编写：

auto stack = ...;
auto elem = std::move_if_noexcept(stack.back());
stack.pop_back();

即使您的移动构造函数没有提供强有力的保证，这也可以提供强有力的异常保证。