当我取消移动构造函数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消息.查看实例.为什么是这样？

#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'; }