我可以在返回多个值时避免复制，同时保留我的返回类型吗？
如果我们写如下函数：
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)的两个副本。
我应该如何最好地修改我的代码以避免这种复制，而不会弄乱我的返回类型？
回答
另一种方法是在元组中声明你的 Foo 和 Bar 对象，以开始：
auto f() {
auto ret = std::make_tuple(Foo{...}, Bar{...});
do_stuff(std::get<0>(ret), std::get<1>(ret));
return ret;
}
这样您就不必担心将它们移动到元组中，因为它们已经在其中了。