Tại sao phải ném các đối tượng được sao chép-khởi tạo?

Question

Trường hợp ngoại lệ sử dụng loại đối tượng thống kê để sao chép-khởi tạo đối tượng được ném. Ví dụ:

struct foo 
{ 
    foo() = default; 
    foo(const foo&) = delete; 
}; 

int main() 
{ 
    throw foo(); 
} 

Clang++ --std=c++14 phàn nàn rằng không thể sử dụng hàm tạo bản sao rõ ràng. Tại sao nó không thể di chuyển được khởi tạo thay vào đó?

Answer 1

Nó không thể di chuyển được xây dựng vì loại không có hàm khởi tạo. Một nhà xây dựng bản sao đã xóa sẽ ngăn chặn hàm tạo di chuyển ngầm.

Answer 2

Vì thiếu foo(foo&&);. Bởi delete ing constructor sao chép bạn đã đẩy mạnh constructor di chuyển là tốt.

Answer 3

Sửa đổi mã như sau:

struct foo 
{ 
    foo() = default; 
    foo(const foo&) = delete; 
    foo(foo&&) = default; 
}; 

int main() 
{ 
    throw foo(); 
} 

đọc this, phần "Mặc nhiên-tuyên bố động thái xây dựng".

Answer 4

Các phân nhịp áp dụng từ tiêu chuẩn (§ [class.copy]/9) trông gần như thế này (tốt, chính xác như thế này, tính đến N4296):

Nếu định nghĩa của một lớp X không không tuyên bố một cách rõ ràng một constructor di chuyển, người ta sẽ được khai báo ngầm như mặc định khi và chỉ khi:

• X không có một người dùng công bố bản sao ctor,

[...]

Điều này áp dụng vì việc xác định ctor bản sao bị xóa vẫn có nghĩa là bạn đã khai báo ctor sao chép.