从成员函数返回仅移动对象

Return a move-only object from member function

本文关键字：移动 对象 返回 成员 函数      更新时间：2023-10-16

我在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邮件列表中报告了此问题，并将在下一版本中解决。

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

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

Variable UserObject::giveMeYourVariable() {

并愉快地移动它。

您应该移动两次并按值返回Variable对象：

#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:：只需将开关类型从Variable移动到Variable&amp；，允许调用具有移动语义的构造函数

所以：

第一个std:：move允许为返回创建临时对象

第二个std:：模式允许创建变量v

相关文章：