使用 std::move 返回时“按右值引用返回”和“按值返回”之间的区别？

Question

考虑以下代码：

#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() 允许你将 I 移出 C。上面使用的成员函数有什么区别：

I&& foo() { return move(i) }; // return rvalue ref

以及以下替换成员函数：

I foo() { return move(i) }; // return by value

对我来说，他们似乎在做同样的事情：I i = c.foo(); 导致调用I::I(I&&);。

本例未涵盖的后果是什么？

Answer 1

除了考虑您编写的程序是否真正有意义（从数据成员移动很尴尬 - 但好吧，也许有一些用例），在这种情况下，该函数的两个版本最终会做同样的事情。

然而，作为一般惯例，您应该更喜欢按值返回，因为在许多情况下，它允许编译器执行复制省略，并在允许的情况下省略对返回类型的移动构造函数的调用根据 C++11 标准的第 12.8/31 段。

复制省略允许编译器直接在应该从函数的返回值初始化的对象中创建函数的返回值。

因此，作为一般准则，更喜欢按值返回。