可以使用移动语义更改或改进此C++代码吗?

Can this C++ code be changed or improved with move semantics?

本文关键字:C++ 代码 移动 语义 可以使      更新时间:2023-10-16
struct big_struct{
vector<int> a_vector;
map<string, int> a_map;
};
big_struct make_data(){
big_struct return_this;
// do stuff, build that data, etc
return return_this;
}
int main(){
auto data = make_data();
}

我已经看到应用于构造函数的移动语义,但是在这段代码中,我想知道大结构在返回时是否被完全复制。我什至不确定它是否与移动语义有关。C++总是复制此类数据,还是经过优化?可以更改或改进此代码吗?

返回向量或映射的函数呢?该地图/矢量是否被复制?

你不需要改变任何东西。 你现在拥有的是零法则。 由于std::mapstd::vector都是可移动的,因此您的类会自动向其添加移动操作。

由于return_this是一个函数本地对象,因此它将被视为右值,并且它将为您移动或NRVO将启动并且不会发生移动或复制。

您的代码将为return_this生成默认构造调用,为data生成移动构造函数调用,或者您将看到一个用于data的默认构造函数调用(NRVO 使return_thisdata相同的事情)。

如此处所述,您的类实际上有一个移动构造函数(隐式生成的),因此不应将其复制到您的代码中,至少一次(main)。

一个问题是,你所依赖的被称为NRVO,编译器不需要实现它(不像它更快乐的兄弟RVO)。因此,您的结构体有机会在return语句中复制,非常非常小,但非常小,以至于实际上从不建议按移动返回(如return std::move(return_this);)。如果您的函数中确实有一个返回单个命名对象的return语句,则实际应用 NRVO 的可能性非常高。