chuyển đổi ngầm của cả hai toán hạng cho toán tử ==

Question

Các mã sau biên dịch và thực thi mà không có lỗi mặc dù không có nhà điều hành bình đẳng được xác định:

class A { 
public: 
    operator bool() const { return true; } 
}; 


int main() 
{ 
    A a, b; 
    a == b; //why does this compile? 
    return 0; 
} 

gì sẽ xảy ra trong nội bộ cho a == b là operator bool() const được gọi là cho cả toán hạng, và sau đó hai boolean được so sánh cho bình đẳng (điều này xảy ra trong mã sản xuất của chúng tôi, nơi class A là một kiểu con trỏ thông minh, và đưa ra kết quả không rõ ràng về ngữ nghĩa).

Câu hỏi của tôi là: Quy tắc nào trong tiêu chuẩn C++ cho phép chuyển đổi ẩn của cả hai toán hạng trong trường hợp này? Tôi có thể hiểu rằng một toán hạng sẽ được chuyển đổi hoàn toàn thành bool để kiểm tra tính bình đẳng nếu toán hạng khác đã là bool, nhưng không phải cả hai.

Answer 1

tôi có thể hiểu rằng một toán hạng sẽ được ngầm chuyển đổi ..., nhưng không phải cả hai

Sau đó, bạn đã hiểu lầm. EDIT: Theo các chuyên gia trong ý kiến, đối số phụ thuộc tra cứu dường như là một trường hợp giả định của bạn là chính xác. Nhưng bạn không phải là trường hợp của ADL.

gì quy tắc trong chuẩn C++ cho phép chuyển đổi ngầm của cả hai toán hạng

Từ dự thảo tiêu chuẩn:

[over.match] (2,9)

• Sau đó, chức năng khả thi tốt nhất được lựa chọn dựa trên các chuỗi chuyển đổi tiềm ẩn (13.3.3.1) cần để khớp với mỗi đối số với thông số tương ứng của mỗi hàm khả thi.

Tôi nhấn mạnh vào "mỗi đối số". Không phải "một đối số".