Một nửa mục đích của = deletecú pháp là có thể ngăn mọi người gọi một số hàm với các tham số nhất định. Điều này chủ yếu là để ngăn chặn chuyển đổi ngầm trong một số trường hợp cụ thể. Để cấm quá tải cụ thể, nó phải tham gia vào việc giải quyết quá tải.
Câu trả lời mà bạn trích dẫn cho bạn một ví dụ hoàn hảo:
struct onlydouble {
onlydouble(std::intmax_t) = delete;
onlydouble(double);
};
Nếu deleteloại bỏ hoàn toàn hàm, điều đó sẽ làm cho = deletecú pháp tương đương như sau:
struct onlydouble2 {
onlydouble2(double);
};
Bạn có thể làm điều này:
onlydouble2 val(20);
Đây là C ++ hợp pháp. Trình biên dịch sẽ xem xét tất cả các hàm tạo; không ai trong số họ trực tiếp lấy kiểu số nguyên. Nhưng một trong số họ có thể lấy nó sau khi chuyển đổi ngầm. Vì vậy, nó sẽ gọi như vậy.
onlydouble val(20);
Đây không phải là C ++ hợp pháp. Trình biên dịch sẽ xem xét tất cả các hàm tạo, bao gồm cả các hàm deleted. Nó sẽ thấy một kết quả khớp chính xác, thông qua std::intmax_t(sẽ khớp chính xác với bất kỳ chữ số nguyên nào). Vì vậy, trình biên dịch sẽ chọn nó và sau đó ngay lập tức đưa ra lỗi, vì nó đã chọn một deletehàm d.
= deletecó nghĩa là "Tôi cấm điều này," không chỉ đơn thuần, "Điều này không tồn tại." Đó là một tuyên bố mạnh mẽ hơn nhiều.
Tôi đã hỏi tại sao tiêu chuẩn C ++ nói = xóa có nghĩa là "Tôi cấm điều này" thay vì "điều này không tồn tại"
Đó là bởi vì chúng ta không cần ngữ pháp đặc biệt để nói "điều này không tồn tại." Chúng tôi hiểu ngầm điều này bằng cách không khai báo "this" cụ thể được đề cập. "Tôi cấm điều này" đại diện cho một cấu trúc không thể đạt được nếu không có ngữ pháp đặc biệt. Vì vậy, chúng tôi nhận được ngữ pháp đặc biệt để nói "Tôi cấm điều này" chứ không phải điều khác.
Chức năng duy nhất mà bạn có được khi có một ngữ pháp rõ ràng "cái này không tồn tại" sẽ là ngăn ai đó sau này tuyên bố nó tồn tại. Và điều đó không đủ hữu ích để cần có ngữ pháp riêng.
nếu không thì không có cách nào để tuyên bố rằng hàm tạo bản sao không tồn tại và sự tồn tại của nó có thể gây ra sự mơ hồ vô nghĩa.
Hàm tạo bản sao là một hàm thành viên đặc biệt. Mỗi lớp luôn có một hàm tạo bản sao. Cũng giống như chúng luôn có toán tử gán bản sao, hàm tạo di chuyển, v.v.
Các chức năng này tồn tại; câu hỏi chỉ là liệu việc gọi họ có hợp pháp hay không. Nếu bạn cố gắng nói điều đó = deletecó nghĩa là chúng không tồn tại, thì thông số kỹ thuật sẽ phải giải thích ý nghĩa của việc một hàm không tồn tại. Đây không phải là một khái niệm mà đặc tả xử lý.
Nếu bạn cố gắng gọi một hàm chưa được khai báo / định nghĩa, thì trình biên dịch sẽ bị lỗi. Nhưng nó sẽ lỗi do một số nhận dạng không xác định , không phải do lỗi "hàm không tồn tại" (ngay cả khi trình biên dịch của bạn báo cáo theo cách đó). Các hàm tạo khác nhau đều được gọi bằng độ phân giải quá tải, do đó, "sự tồn tại" của chúng được xử lý về mặt đó.
Trong mọi trường hợp, có một hàm được khai báo thông qua mã định danh hoặc một hàm tạo / hủy (cũng được khai báo thông qua mã định danh, chỉ là một mã định danh kiểu). Việc nạp chồng toán tử ẩn định danh đằng sau đường cú pháp, nhưng nó vẫn ở đó.
Đặc tả C ++ không thể xử lý khái niệm "hàm không tồn tại". Nó có thể xử lý sự không khớp quá tải. Nó có thể xử lý sự mơ hồ quá tải. Nhưng nó không biết về những gì không có ở đó. Vì vậy, = deleteđược định nghĩa theo nghĩa "nỗ lực gọi đây là thất bại" hữu ích hơn nhiều so với "giả vờ như tôi chưa bao giờ viết dòng này".
Và một lần nữa, hãy đọc lại phần đầu tiên. Bạn không thể làm điều đó với "chức năng không tồn tại." Đó là một lý do khác tại sao nó được định nghĩa theo cách đó: bởi vì một trong những trường hợp sử dụng chính của = deletecú pháp là có thể buộc người dùng sử dụng một số loại tham số nhất định, ép kiểu rõ ràng, v.v. Về cơ bản, để loại bỏ các chuyển đổi kiểu ngầm.
Đề xuất của bạn sẽ không làm được điều đó.