从成员函数返回一个只能移动的对象

Question

我在 C++ 中理解 + 使用移动语义时遇到了困难。我有一个对象Variable 实现了移动构造函数和移动赋值，但没有复制构造函数和赋值。一般复制Variable是没有意义的，我想明确禁止复制。

class Variable {
public:
    // ctod/dtor things
    Variable(Variable&&);
    Variable& operator =(Variable&&);
    // ...
};

问题是从函数返回Variable 的正确方法是什么？

Variable& UserObject::giveMeYourVariable() {
    // Calculate parameters
    Variable v(/* Some parameters */);
    return v; // <=== warning: reference to local variable 'v' returned
}

在另一个代码中：

UserObject x* = new UserObject;
Variable v = std::move(x->giveMeYourVariable())

上面的代码编译没有错误，但有一个关于返回对局部变量的引用的警告。此代码是否会泄漏内存或导致未定义的行为或返回已删除的引用？做错了什么？

更新
在初始化引用类型时按值返回会导致错误（在解析器生成器生成的代码中）：

Variable& tmp (this->a_function()); <<== error

错误提示：

error: invalid initialization of non-const reference of type 'Variable&' \\
from an rvalue of type 'Variable'

更新 2
此问题在 XSD 邮件列表中为 reported，将在下一版本中为 resolved。

Answer 1

您的程序调用了未定义的行为。
正如编译器已经告诉您的那样，Variable 对象的生命周期仅限于函数调用，并且您返回的引用在调用后不再有效。

您可以简单地按值返回您的 Variable 对象

Variable UserObject::giveMeYourVariable() {

并愉快地移动它。

Answer 2

你应该移动两次并按值返回变量对象：

#include <utility>

class Variable {
public:
    // ctod/dtor things
    Variable() {}
    Variable(Variable&&) {}
    Variable& operator =(Variable&&) {return *this;}
    // ...
};

Variable foo() {
    Variable v;
    return std::move(v);
}

int main() {
    Variable v = std::move(foo());
    return 0;
}

std::move 只是将类型从变量切换到变量&&，允许调用带有移动语义的构造函数

所以：

第一个 std::move 允许创建用于返回的临时对象

第二个 std::mode 允许创建变量 v