我可以在返回多个值时避免复制，同时保持我的返回类型吗？答案

【问题标题】：Can I avoid copies when returning multiple values, while keeping my return type?我可以在返回多个值时避免复制，同时保持我的返回类型吗？
【发布时间】：2023-03-08 16:31:01
【问题描述】：

如果我们写如下函数：

auto foo() {
    Foo foo { /* ... */ };
    do_stuff(foo);
    return foo;
}

然后NRVO 应该启动，这样foo 在返回时不会被复制。

现在假设我想返回两个不同的值：

auto foo() {
    Foo foo { /* ... */ };
    Bar bar { /* ... */ };
    do_stuff(foo, bar);
    return std::make_tuple(foo, bar);
}

这种幼稚的实现可能会触发 Foo 和 Bar (GodBolt) 的两个副本的构造。

我应该如何最好地修改我的代码以避免这种复制，而不会弄乱我的返回类型？

【问题讨论】：

标签： c++ move-semantics copy-elision nrvo stdmove

【解决方案1】：

另一种方法是在元组中声明您的 Foo 和 Bar 对象：

auto f() {
    auto ret = std::make_tuple(Foo{...}, Bar{...});
    do_stuff(std::get<0>(ret), std::get<1>(ret));
    return ret;
}

这样您就不必担心将它们移动到元组中，因为它们已经在其中了。

【讨论】：

...恕我直言，返回值优化的机会很大，

【解决方案2】：

这个：

auto f() {
    Foo foo;
    Bar bar;
    do_stuff(foo, bar);
    return std::make_tuple(std::move(foo), std::move(bar));
}

将返回一个std::tuple<Foo,Bar> (GodBolt)；并将用移动构造（GodBolt）替换复制构造。

【讨论】：