C++ 在返回多个值时，是否可以避免复制，同时保留返回类型？

如果我们编写以下函数：

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

然后应该开始，这样foo就不会在返回时被复制

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

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

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

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

这：

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

将返回一个std:：tuple；并将用移动结构替换复制结构。

此：

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

---

将返回一个std:：tuple；并将用移动构造替换复制构造。

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

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

---

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

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

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

---

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

…而且返回值优化的机会非常大，…返回值优化的机会非常大，