如果您要从队列中弹出对象，可以从队列中“移动”一个对象吗？

Question

我一直在为commands（它们是大型数据数组的精美包装器）开发一个解析器，并且有一个未处理命令驻留的队列。如果我需要一个命令，我会用这样的代码来查询它：

boost::optional<command> get_command() {
    if (!has_command()) return boost::optional<command>(nullptr);
    else {
        boost::optional<command> comm(command_feed.front()); //command_feed is declared as a std::queue<command>
        command_feed.pop();
        return comm;
    }
}

问题是，在适当的情况下，这些命令的大小可能是兆字节，并且需要非常快速地解析。我的想法是，我可以像这样优化转移：

boost::optional<command> get_command() {
    if (!has_command()) return boost::optional<command>(nullptr);
    else {
        boost::optional<command> comm(std::move(command_feed.front())); //command_feed is declared as a std::queue<command>
        command_feed.pop();
        return comm;
    }
}

它似乎适用于这种特定情况，但这可以用作任何正确维护的 RAII 对象的通用解决方案，还是我应该做其他事情？

Answer 1

是的，这是绝对安全的：

std::queue<T> q;
// add stuff...

T top = std::move(q.front());
q.pop();

pop() 对具有指定状态的q 中的第一个元素没有任何先决条件，并且由于您随后没有使用q.front()，因此您不必处理该对象被无效的任何更多的。

听起来是个好主意！

Answer 2

这取决于你的类型的移动构造函数做什么。如果它使原始对象处于可以安全销毁的状态，那么一切都很好。如果没有，那么你可能有麻烦了。请注意，关于先决条件和有效状态的 cmets 是关于在标准库中定义的类型的约束。您定义的类型没有这些约束，除非它们使用标准库中的类型。因此，请查看您的移动构造函数，以理清您可以对已移动对象做什么和不能做什么。

Answer 3

是的。只要您的std::queue 的容器模板参数确保其包含的pop_front() 值的状态没有先决条件； std::queue 的默认值为 std::deque，这提供了保证。

只要您确保我在上一段中写的内容，您就完全安全。您即将从队列中移除该项目，因此没有理由不将其移除，因为您正在取得该对象的所有权。

Answer 4

移动对象可能会使其处于无效状态。它的不变量不再得到保证。您可以安全地将其从非侵入式队列中弹出。

• std::move 本身除了告诉编译器它可以选择一个接受 r 值的通信例程之外什么都不做。

• 一个写得很好的通信例程，然后会从旧对象中窃取新对象的表示。例如，只需将指针复制到新对象，并将旧对象中的指针归零（这样旧对象析构函数就不会破坏数组）。

• 如果没有重载 comm 来执行此操作，则 std::mov 不会有任何好处。