Sử dụng = mặc định trong ý nghĩa của = xóa

Question

Các mã sau đây cũng được biên soạn:

struct B { 
    B(int) {} 
}; 

struct D : B { 
    D() = default; 
}; 

Cho đến khi tôi phải tạo một thể hiện của lớp D:

D d; // error: use of deleted function 'D::D()' 

Có lý do nào đó (trường hợp sử dụng) để cho phép = default cho hàm xây dựng của D, khi nó thực sự hoạt động như = delete;?

Answer 1

g++ đưa ra một lời giải thích thoải mái trong các lỗi:

bla.cpp:6:5: note: ‘D::D()’ is implicitly deleted because the default definition would be ill-formed: D() = default;

Các constructor mặc định sẽ cố gắng để xây dựng tất cả các bộ phận của D. Bạn không có trường nào, nhưng nó có một số B ban đầu - không có một hàm tạo trống nào, chỉ có một trường là int.

Hành vi mặc định có ý nghĩa - D không được có hàm tạo trống, trừ khi nó nêu rõ int để xây dựng B và trình biên dịch không muốn đoán. Nếu không, bạn sẽ có một đối tượng D, và tùy thuộc vào những gì xảy ra trong B constructor B có thể chứa rác, ví dụ nếu khởi tạo một lĩnh vực.

Tôi không chắc chắn nếu bạn có nghĩa là câu hỏi của bạn theo nghĩa đen khi bạn hỏi tại sao điều này "phép", như các nhà xây dựng B mặc định sẽ bị xóa, nhưng tôi có thể nghĩ đến hai lý do:

1. này hành vi được xác định rõ, và không có lý do gì để không cho phép nó. Phát hiện lỗi chỉ khi bạn cố gắng xây dựng một cái gì đó bất hợp pháp được thực hiện anyway.
2. Đó là linh hoạt hơn - thay đổi B để có một constructor mặc định sẽ tự động cho phép D để có một.

Answer 2

Is there any reason (use case) to allow = default for D's constructor, when it's actually works as = delete;?

Nó không làm việc như =delete. Nó nói chỉ là những gì nó phải nói. Mà bạn rõ ràng muốn trình biên dịch tạo ra việc thực hiện mặc định.

Nó chỉ như vậy sẽ xảy ra rằng trình biên dịch tạo ra người ta phải được xác định bị xóa. Bởi vì hàm tạo mặc định của B bị xóa hoàn toàn.

Answer 3

B có một constructor không mặc định (constructor của nó có một đối số mà không có một giá trị mặc định).

Các nguồn gốc D lớp do đó không có một constructor mặc định, constructor mặc định của nó bị xóa (như trình biên dịch không thể tạo một constructor cho D rằng có thể gọi B(int) constructor của lớp cha của nó.)

D() = default; chỉ nói rằng bạn muốn hàm khởi tạo mặc định cho D và như được mô tả ở trên, hàm tạo mặc định sẽ bị xóa.