移动向量的最后一个元素

Question

从向量获取最后一个（重）元素并将其删除并制作尽可能少的副本的最有效方法是什么？ 是

template <typaname T>
T moveLastElement (std::vector<T>& vec) {
    T t = std::move(vec.back());
    vec.pop_back();
    return t;
}

Answer 1

由于我们谈论的是复制Elision，特别是NVRO，因此我假设您正在编译（至少）C ++ 17，所以有一个有趣的边缘情况。

假设您具有这样的函数：

heavy_object fox_this_compiler ()
{
    heavy_object h1;
    heavy_object h2;

    return (some_condition_that_cant_be_evaluated_at_compile_time) ? h1 : h2;
}

现在编译器在Quandry中，因为它无法构造 h1 和 H2 < /代码>在呼叫站点上，这就是NVRO所依赖的。因此（而且我只是进行了快速测试），它返回副本（你们一个语言律师可以告诉我原因）。

因此，在这种情况下，从要返回的对象中明确移动是值得的，正如您在：

我不确定是否有某种类型的特征可以让您知道您是否需要在任何特定实例中执行此操作，但是如果有我不知道。

---

编辑：有一种方法。只需将呼叫呼叫 std ::移动如果您不需要它，GCC就会警告您（但是，如果您这样做，那将不会）。漂亮。但是，可悲的是，当您确实需要时，它不会警告您，并且您无法将其放入。