Không có hàm tạo mặc định nào không dẫn đến hàm tạo di chuyển không?

Question

Nếu một lớp không có một hàm tạo mặc định vì nó luôn luôn khởi tạo các biến nội bộ của nó, nó có làm theo nó không nên có một hàm khởi động di chuyển không?

class Example final { 
public: 
    explicit Example(const std::string& string) : string_(
    string.empty() ? throw std::invalid_argument("string is empty") : string) {} 
    Example(const Example& other) : string_(other.string_) {} 
private: 
    Example() = delete; 
    Example(Example&& other) = delete; 
    Example& operator=(const Example& rhs) = delete; 
    Example& operator=(Example&& rhs) = delete; 
    const std::string string_; 
}; 

Lớp này luôn mong muốn chuỗi nội bộ được đặt bằng chuỗi không trống và chuỗi nội bộ được sao chép giữa các đối tượng Example. Tôi có chính xác rằng một nhà xây dựng di chuyển không áp dụng ở đây bởi vì nếu một ví dụ đã được di chuyển nó sẽ phải để lại chuỗi rỗng thông qua một cuộc gọi std::move?

Answer 1

Nếu lớp không có hàm khởi tạo mặc định vì nó luôn khởi tạo biến nội bộ của nó, nó sẽ theo sau nó không nên có hàm khởi động?

Không, tôi sẽ không nói vậy.

Thực tế di chuyển từ đối tượng Example và để nó bằng chuỗi trống không phải là vấn đề ở đây, vì thường khách hàng không nên đưa ra giả định về trạng thái của đối tượng chuyển từ ngoài thực tế nó là hợp pháp.

Điều này có nghĩa là khách hàng chỉ có thể gọi các hàm không có điều kiện trước về trạng thái nhập Example của họ. Thông báo, thông thường, tất cả hầu hết tất cả các chức năng thành viên của Example sẽ có điều kiện trước về trạng thái của đối tượng (ví dụ: string_ phải là chuỗi không trống), nhưng không phải là chính xác tất cả trong số chúng. Ví dụ:

Ví dụ: trình phá hủy Example không nên phiền nếu string_ trống - tại sao nó không được phép thực hiện công việc ngay cả trong trường hợp đó? Toán tử gán là một ví dụ phổ biến khác - tại sao nó không được phép gán một chuỗi mới cho string_? Theo quan điểm này, để lại một đối tượng Example với một chuỗi rỗng là OK, bởi vì tất cả các khách hàng có thể làm với một đối tượng chuyển từ cơ bản hoặc gán lại hoặc hủy nó - và trong các trường hợp sử dụng này, nó nên không quan trọng là string_ có trống không.

Do đó, có hàm tạo di chuyển và toán tử gán di chuyển có ý nghĩa.