设置返回一个对象的函数c++_现代C++之如何返回一个对象?

一个用来返回的对象&＃xff0c;通常应当是可移动构造 / 赋值的&＃xff0c;一般也同时是可拷贝构造 / 赋值的。如果这样一个对象同时又可以默认构造&＃xff0c;我们就称其为一个半正则(semiregular)的对象。如果可能的话&＃xff0c;我们应当尽量让我们的类满足半正则这个要求。

1.返回值优化(拷贝消除)

下面编译的gcc版本是支持c&＃43;&＃43;17的gcc8.3。如果使用gcc5.5等版本结果会不同。

ROV例子1&＃xff1a;

#include

返回值优化输出&＃xff1a;

Create A
Destroy A


禁用返回值优化代码修改(-fno-elide-constructors)&＃xff1a;

Create A
Destroy A


修改代码如下NROV例子2&＃xff1a;

A getA_named(){

优化结果同上&＃xff01;

Create A
Destroy A


禁用后的结果&＃xff1a;

Create A
Move A
Destroy A
Destroy A


也就是说&＃xff0c;返回内容被移动构造了。

示例3&＃xff1a;

A getA_duang() {

优化与禁用结果一样&＃xff1a;

Create A
Create A
Move A
Destroy A
Destroy A
Destroy A


我们把移动构造删除&＃xff0c;得到示例4&＃xff1a;

delete;

此时&＃xff0c;前面的move就变成copy。

如果再进一步&＃xff0c;把拷贝构造函数也删除呢&＃xff1f;得到示例5&＃xff1a;

const A&&)&＃61;

是不是上面的 getA_unnamed、getA_named和 getA_duang 都不能工作了&＃xff1f;

在 C&＃43;&＃43;14 及之前确实是这样的。但从 C&＃43;&＃43;17 开始&＃xff0c;对于类似于 getA_unnamed这样的情况&＃xff0c;即使对象不可拷贝、不可移动&＃xff0c;这个对象仍然是可以被返回的&＃xff01;C&＃43;&＃43;17 要求对于这种情况&＃xff0c;对象必须被直接构造在目标位置上&＃xff0c;不经过任何拷贝或移动的步骤。

2.总结

• copy construct本身在RVO和NRVO两种情况下被优化了&＃xff0c;如果再加上move反而画蛇添足。

在 C&＃43;&＃43;11 之前&＃xff0c;返回一个本地对象意味着这个对象会被拷贝&＃xff0c;除非编译器发现可以做返回值优化(named return value optimization&＃xff0c;或 NRVO)&＃xff0c;能把对象直接构造到调用者的栈上。从 C&＃43;&＃43;11 开始&＃xff0c;返回值优化仍可以发生&＃xff0c;但在没有返回值优化的情况下&＃xff0c;编译器将试图把本地对象移动出去&＃xff0c;而不是拷贝出去。这一行为不需要程序员手工用 std::move 进行干预——使用std::move 对于移动行为没有帮助&＃xff0c;反而会影响返回值优化。”

• 加入了move assignment后&＃xff0c;默认是调用move assignment而不是copy assignment