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

Question

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++总是复制此类数据，还是经过优化？可以更改或改进此代码吗？

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

Answer 1

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

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

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

Answer 2

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

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