何时调用移动构造函数?

新手上路,请多包涵

我对何时调用移动构造函数和复制构造函数感到困惑。我已阅读以下资料:

在 C++0x 中未调用移动构造函数

在 C++11 中移动语义和右值引用

微软

所有这些来源要么过于复杂(我只想要一个简单的例子),要么只展示如何编写移动构造函数,而不是如何调用它。我写了一个更具体的简单问题:

 const class noConstruct{}NoConstruct;
class a
{
private:
    int *Array;
public:
    a();
    a(noConstruct);
    a(const a&);
    a& operator=(const a&);
    a(a&&);
    a& operator=(a&&);
    ~a();
};

a::a()
{
    Array=new int[5]{1,2,3,4,5};
}
a::a(noConstruct Parameter)
{
    Array=nullptr;
}
a::a(const a& Old): Array(Old.Array)
{

}
a& a::operator=(const a&Old)
{
    delete[] Array;
    Array=new int[5];
    for (int i=0;i!=5;i++)
    {
        Array[i]=Old.Array[i];
    }
    return *this;
}
a::a(a&&Old)
{
    Array=Old.Array;
    Old.Array=nullptr;
}
a& a::operator=(a&&Old)
{
    Array=Old.Array;
    Old.Array=nullptr;
    return *this;
}
a::~a()
{
    delete[] Array;
}

int main()
{
    a A(NoConstruct),B(NoConstruct),C;
    A=C;
    B=C;
}

目前 A、B 和 C 都有不同的指针值。我希望 A 有一个新指针,B 有 C 的旧指针,C 有一个空指针。

有点离题,但如果有人可以建议我可以详细了解这些新功能的文档,我将不胜感激,并且可能不需要问更多问题。

原文由 Lauer 发布,翻译遵循 CC BY-SA 4.0 许可协议

阅读 574
2 个回答

调用移动构造函数:

  • 当一个对象初始化器是 std::move(something)
  • 当对象初始化器是 std::forward<T>(something) 并且 T 不是左值引用类型时(在模板编程中用于“完美转发”)
  • 当对象初始化器是临时的并且编译器没有完全消除复制/移动时
  • 当按值返回函数局部类对象并且编译器不会完全消除复制/移动时
  • 当抛出一个函数局部类对象并且编译器没有完全消除复制/移动时

这不是一个完整的列表。请注意,如果参数具有类类型(不是引用),则“对象初始值设定项”可以是函数参数。

 a RetByValue() {
    a obj;
    return obj; // Might call move ctor, or no ctor.
}

void TakeByValue(a);

int main() {
    a a1;
    a a2 = a1; // copy ctor
    a a3 = std::move(a1); // move ctor

    TakeByValue(std::move(a2)); // Might call move ctor, or no ctor.

    a a4 = RetByValue(); // Might call move ctor, or no ctor.

    a1 = RetByValue(); // Calls move assignment, a::operator=(a&&)
}

原文由 aschepler 发布,翻译遵循 CC BY-SA 3.0 许可协议

首先,您的复制构造函数已损坏。复制的对象和复制的对象都将指向相同的 Array 并且当它们超出范围时都会尝试 delete[] 它,从而导致未定义的行为。要修复它,请复制数组。

 a::a(const a& Old): Array(new int[5])
{
  for( size_t i = 0; i < 5; ++i ) {
    Array[i] = Old.Array[i];
  }
}

现在,移动赋值并没有按照您的意愿执行,因为两个赋值语句都是从左值进行赋值,而不是使用右值。对于要执行的移动,您必须从右值移动,或者它必须是可以将左值视为右值的上下文(例如函数的返回语句)。

要获得所需的效果,请使用 std::move 创建右值引用。

 A=C;              // A will now contain a copy of C
B=std::move(C);   // Calls the move assignment operator

原文由 Praetorian 发布,翻译遵循 CC BY-SA 3.0 许可协议

撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进
推荐问题