问题描述
如果我们写如下函数:
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;
}
这样您就不必担心将它们移动到元组中,因为它们已经在其中了。
,这个:
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) 替换复制构造。