c++ - 为什么 std::queue::pop 没有返回值？

Question

我经历了这个page但我无法得到相同的原因。那里提到

"it is more sensible for it to return no value at all and to requireclients to use front() to inspect the value at the front of the queue"

但是检查来自 front() 的元素还需要将该元素复制到左值中。例如在这段代码中

std::queue<int> myqueue;
int myint;
int result;
std::cin >> myint;
myqueue.push (myint);
/* here temporary will be created on RHS which will be assigned to
   result, and in case if returns by reference then result will be
   rendered invalid after pop operation */
result = myqueue.front();  //result.
std::cout << ' ' << result;
myqueue.pop();

在第五行 cout 对象首先创建 myqueue.front() 的拷贝，然后将其分配给结果。所以，有什么区别，pop 函数可以做同样的事情。

Answer 1

So, whats the difference, pop function could have done the same thing.

它确实可以做同样的事情。之所以没有，是因为返回弹出元素的弹出在出现异常时是不安全的(必须按值返回并因此创建一个拷贝)。

考虑这种情况(使用天真/虚构的 pop 实现来说明我的观点):

template<class T>
class queue {
    T* elements;
    std::size_t top_position;
    // stuff here
    T pop()
    {
        auto x = elements[top_position];
        // TODO: call destructor for elements[top_position] here
        --top_position;  // alter queue state here
        return x;        // calls T(const T&) which may throw
    }

如果 T 的复制构造函数在返回时抛出异常，则您已经更改了队列的状态(在我的原始实现中为 top_position)并且该元素已从队列中移除(并且未返回)。出于所有意图和目的(无论您如何在客户端代码中捕获异常)，队列顶部的元素都丢失了。

在不需要弹出值的情况下，此实现也很低效(即它创建了一个没人会使用的元素拷贝)。

这可以通过两个单独的操作(void pop 和 const T&front())安全高效地实现。