Tại sao mã này đang cố gắng gọi hàm tạo bản sao?

Question

Tôi chỉ mất một số lượng thời gian không đủ thời gian với một lỗi biên dịch trong Visual Studio. Tôi đã chưng cất mã vào ví dụ nhỏ có thể biên dịch bên dưới và thử nó trên IdeOne và gặp lỗi tương tự mà bạn có thể thấy here.

tôi tự hỏi tại sao đoạn code sau cố gắng gọi B(const B&) thay vì B(B&&):

#include <iostream> 

using namespace std; 

class A { 
public: 
    A() : data(53) { } 
    A(A&& dying) : data(dying.data) { dying.data = 0; } 

    int data; 

private: 
    // not implemented, this is a noncopyable class 
    A(const A&); 
    A& operator=(const A&); 
}; 

class B : public A { }; 

int main() { 
    B binst; 

    char* buf = new char[sizeof(B)]; 

    B* bptr = new (buf) B(std::move(binst)); 

    cout << bptr->data << endl; 

    delete[] buf; 
} 

Tôi không xác định một cách rõ ràng bất kỳ nhà xây dựng, vì vậy B(std::move(binst)) nên gọi trình biên dịch tạo ra B(B&&), không có?

Khi tôi thay đổi B để

class B : public A { 
public: 
    B() { } 
    B(B&&) { } 
}; 

Nó biên dịch tốt. Tại sao điều này? Nó sẽ vô cùng bất tiện nếu điều này không thể được sửa từ lớp cơ sở vì tôi có một lớp mẫu sử dụng vị trí mới và di chuyển các hàm tạo như ví dụ, và nó sẽ yêu cầu mọi lớp không thể sao chép được (không và chắc chắn không phải là một yêu cầu để sử dụng với lớp mẫu của tôi) để có một hàm tạo di chuyển được định nghĩa rõ ràng.

Answer 1

Nếu bạn đang sử dụng Visual Studio 2010 hoặc 2012, hãy lưu ý: trình biên dịch thực hiện không tự động tạo ra các hàm tạo di chuyển cho bạn. Điều đó không được thực hiện. Vì vậy, bạn cần tự viết chúng.

Answer 2

Bạn phải đối mặt với lỗi trình biên dịch. Tiêu chuẩn nói rằng B nhận được một hàm khởi tạo di chuyển ngầm định và được xác định; tất cả các điều kiện của 12.8 (9) được đáp ứng (tức là B không có một nhà xây dựng bản sao được khai báo rõ ràng, sao chép-chuyển nhượng, vv, và các nhà xây dựng di chuyển sẽ không ngầm được tuyên bố deleted).