c++ - 使用 std::move 返回时 "return-by-rvalue-ref"和 "return-by-value"之间的区别？

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 段。

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

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