c++ - 当我取消注释移动构造函数 A(A&&) 时，下面的代码片段会发生什么？

Question

下面的代码片段似乎没问题，我相信声明 A a(std::move(b).toA());在main()调用类 A 的隐式声明的移动构造函数，如A没有用户定义的复制构造函数，没有用户定义的复制赋值运算符，没有用户定义的移动赋值运算符，也没有用户定义的析构函数(请参阅§12.8/9 N4140 )。但是，当我取消注释移动构造函数 A(A&&) { std::cout << "move A" << '\n'; } 时下面，我收到 Illegal instruction信息。请参阅live example 。这是为什么？

#include <iostream>
#include <memory>
class A {
public:
//    A(const A&) { std::cout << "copy A" << '\n'; }
//    A(A&&) { std::cout << "move A" << '\n'; }
    A(std::unique_ptr<int>&& u_ptr) : u_ptr(std::move(u_ptr)) {}
    const int& getInt() { return *u_ptr; }

private:
    std::unique_ptr<int> u_ptr;
};

class B {
public:
    B(int u_ptr) : u_ptr(new int(u_ptr)) {}
    A toA() && { return A(std::move(u_ptr)); }

private:
    std::unique_ptr<int> u_ptr;
};

int main() {
    B b(-1);
    A a(std::move(b).toA());
    std::cout << a.getInt() << '\n';
    return 0;
}

Answer 1

您的移动构造函数定义没有执行隐式定义的操作 - 它不会移动构造 u_ptr 数据成员。所以a.u_ptr是默认构造的，并且内部int*被初始化为nullptr。然后，对 a.getInt() 的调用尝试取消引用此 nullptr，从而导致崩溃。

按如下方式定义移动构造函数，您的代码将正确运行

A(A&& other) : u_ptr(std::move(other.u_ptr)) { std::cout << "move A" << '\n'; }