考虑以下代码:
#include <iostream>
using namespace std;
struct I {
I(I&& rv) { cout << "I::mvcotr" << endl; }
};
struct C {
I i;
I&& foo() { return move(i) };
}
};
int main() {
C c;
I i = c.foo();
}
C包含I.而C :: foo()允许你将我移出C.上面使用的成员函数有什么区别:
I&& foo() { return move(i) }; // return rvalue ref
和以下替换成员函数:
I foo() { return move(i) }; // return by value
对我来说,他们似乎做同样的事情:我i = c.foo();导致调用I :: I(I&&);.
这个例子中没有涉及到什么后果?
解决方法:
关于你编写的程序是否有意义的考虑(从数据成员移动是尴尬的 – 但好吧,也许有一些用例),在这种情况下,该函数的两个版本最终做同样的事情.
但是,作为一般惯例,您应该更喜欢按值返回,因为在许多情况下,它允许编译器执行复制省略并忽略对返回类型的移动构造函数的调用,如C 11标准第12.8 / 31段所允许的那样.
复制省略允许编译器直接在对象中创建函数的返回值,该对象应该从函数的返回值初始化.
因此,作为一般准则,更喜欢按价值返回.