返回 std::tuple 并移动语义/复制省略

Question

我有以下工厂函数：

auto factory() -> std::tuple<bool, std::vector<int>>
{
    std::vector<int> vec;
    vec.push_back(1);
    vec.push_back(2);

    return { true, vec };
}

auto [b, vec] = factory();

在 return 语句中 vec 被认为是 xvalue 或 prvalue 并因此被移动或复制省略了？

我的猜测是否定的，因为编译器在列表初始化 return 语句中的 std::tuple 时，仍然不知道 vec 将被销毁。所以可能需要一个明确的 std::move ：

auto factory() -> std::tuple<bool, std::vector<int>>
{
    ...
    return { true, std::move(vec) };
}

auto [b, vec] = factory();

真的需要吗？

Answer 1

在 return 语句中 vec 被认为是一个 xvalue 或 prvalue，因此被移动或复制省略了？

vec始终是一个左值。即使在简单的情况下：

std::vector<int> factory() {
    std::vector<int> vec;
    return vec;
}

那是仍然返回一个左值。只是我们有special rules 表示当我们返回自动对象的名称时我们只是忽略了这种情况下的副本（以及另一个special rule 在复制省略不适用的情况下，但我们仍然尝试从左值移动）。

但这些特殊规则仅适用于return object; 案例，它们不适用于return {1, object}; 案例，无论它看起来多么相似。在您的代码中，这将进行复制，因为这就是您所要求的。如果你想移动，你必须这样做：

return {1, std::move(object)};

为了避免移动，你必须这样做：

auto factory() -> std::tuple<bool, std::vector<int>>
{
    std::tuple<bool, std::vector<int>> t;

    auto& [b, vec] = t;
    b = true;
    vec.push_back(1);
    vec.push_back(2);
    return t;
}