如何解决我可以在返回多个值时避免复制,同时保留我的返回类型吗?
如果我们写如下函数:
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) 替换复制构造。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。