Nếu toán hạng đầu tiên của biểu thức phụ có thể chuyển đổi thành cả con trỏ và số nguyên, thì chuyển đổi nào được chọn?

Question

Trong ví dụ sau, chức năng chuyển đổi nào nên được gọi? Tại sao người ta nên chọn người kia?

struct A 
{ 
    operator int(); 
    operator int*(); 
}; 

A x; 
int i = x + 1; 

Trình biên dịch chọn operator int() .. nhưng tại sao?

Dưới đây là một số trích dẫn có liên quan từ C++ 03:

Từ [expr.add]

Trường hợp bổ sung, hoặc cả hai toán hạng sẽ có số học hoặc kiểu liệt kê, hoặc một toán hạng sẽ là con trỏ đến một loại đối tượng được xác định hoàn toàn và loại kia phải có kiểu tách rời hoặc kiểu liệt kê.

Từ [conv]

biểu thức với một loại nhất định sẽ được ngầm chuyển đổi sang loại khác trong một số trường hợp:

• Khi sử dụng như toán hạng của các nhà khai thác. yêu cầu của nhà điều hành cho toán hạng của nó ra lệnh kiểu đích

Answer 1

Lý do cho hành vi này là được xây dựng trong điều hành mà chấp nhận một con trỏ như toán hạng trái của nó chấp nhận một đối tượng kiểu std::ptrdiff_t như toán hạng bên phải của nó . Đây là quy định tại § 13,6 của C++ 11 Tiêu chuẩn:

Đối với mỗi cv-đủ điều kiện hoặc không đủ điều kiện cv-loại đối tượng T có tồn tại các chức năng điều hành ứng cử viên có dạng

T * operator+(T *, std::ptrdiff_t); 

[.. .]

Kể từ 1 có kiểu int, trình biên dịch coi được xây dựng trong operator + mà phải mất hai int s như một lựa chọn tốt hơn, bởi vì nó đòi hỏi một onlys conver (người dùng định nghĩa) sion cho đối số đầu tiên.

Nếu bạn cung cấp một đối số kiểu std::ptrdiff_t là toán hạng bên hữu operator +, bạn sẽ thấy sự mơ hồ mong đợi:

int i = x + static_cast<std::ptrdiff_t>(1); // AMBIGUOUS! 

Đây là một live example.