số int -> quy tắc chuyển đổi con trỏ

Hãy xem xét các mã sau đây.

void f(double p) {}
void f(double* p) {}

int main()
{ f(1-1); return 0; }

MSVC 2017 không biên dịch được điều đó. Nó chỉ ra rằng có một cuộc gọi quá tải mơ hồ, 1-1giống như 0và do đó có thể được chuyển đổi thành double*. Các thủ thuật khác, như 0x0, 0Lhoặc static_cast<int>(0), cũng không hoạt động. Ngay cả việc khai báo a const int Zero = 0và gọi cũng f(Zero)tạo ra lỗi tương tự. Nó chỉ hoạt động đúng nếu Zerokhông const.

Có vẻ như vấn đề tương tự áp dụng cho GCC 5 trở xuống, nhưng không phải GCC 6. Tôi tò mò liệu đây có phải là một phần của tiêu chuẩn C ++, lỗi MSVC đã biết hoặc cài đặt trong trình biên dịch. Google không mang lại kết quả.

MSVC coi 1-1là một hằng con trỏ null. Điều này đúng với tiêu chuẩn cho C ++ 03, trong đó tất cả các biểu thức hằng số nguyên có giá trị 0là hằng số con trỏ null, nhưng nó đã được thay đổi để chỉ các số nguyên bằng 0 là hằng số con trỏ null cho C ++ 11 với vấn đề CWG 903 . Đây là một thay đổi đột phá, như bạn có thể thấy trong ví dụ của mình và cũng như được ghi lại trong tiêu chuẩn, xem [diff.cpp03.conv] của tiêu chuẩn C ++ 14 (dự thảo N4140).

MSVC chỉ áp dụng thay đổi này trong chế độ tuân thủ. Vì vậy, mã của bạn sẽ biên dịch với /permissive-cờ, nhưng tôi nghĩ rằng thay đổi chỉ được thực hiện trong MSVC 2019, xem tại đây .

Trong trường hợp của GCC, GCC 5 mặc định ở chế độ C ++ 98, trong khi GCC 6 và sau đó mặc định là chế độ C ++ 14, đó là lý do tại sao sự thay đổi trong hành vi dường như phụ thuộc vào phiên bản GCC.

Nếu bạn gọi fvới hằng số con trỏ null làm đối số, thì cuộc gọi không rõ ràng, bởi vì hằng số con trỏ null có thể được chuyển đổi thành giá trị con trỏ null của bất kỳ loại con trỏ nào và chuyển đổi này có cùng thứ hạng với chuyển đổi của int(hoặc bất kỳ loại tích phân nào) để double.

Trình biên dịch hoạt động chính xác, theo [over.match] và [conv] , cụ thể hơn là [conv.fpint] và [conv.ptr].

Chuỗi chuyển đổi tiêu chuẩn là [blah blah] Không hoặc một [...] chuyển đổi tích phân trôi nổi, chuyển đổi con trỏ, [...].

và

Một giá trị của loại số nguyên hoặc loại liệt kê không có phạm vi có thể được chuyển đổi thành giá trị của loại dấu phẩy động. Kết quả là chính xác nếu có thể [blah blah]

và

Hằng số con trỏ null là một số nguyên có giá trị bằng 0 hoặc [...]. Một hằng con trỏ null có thể được chuyển đổi thành một loại con trỏ; kết quả là giá trị con trỏ null của loại đó [blah blah]

Bây giờ, độ phân giải quá tải là chọn kết quả phù hợp nhất trong số tất cả các chức năng của ứng viên (mà, như một tính năng thú vị, thậm chí không thể truy cập được tại vị trí cuộc gọi!). Kết quả phù hợp nhất là kết quả có tham số chính xác hoặc, thay vào đó, ít chuyển đổi nhất có thể. Không hoặc một chuyển đổi tiêu chuẩn có thể xảy ra (... cho mọi tham số) và không "tốt hơn" so với một tham số.

(1-1)là một số nguyên có giá trị 0.

Bạn có thể chuyển đổi các literal zero số nguyên để mỗi một trong hai doublehoặc double*(hoặc nullptr_t), với chính xác một chuyển đổi. Vì vậy, giả sử rằng nhiều hơn một trong số các hàm này được khai báo (như trường hợp trong ví dụ), tồn tại nhiều hơn một ứng cử viên và tất cả các ứng cử viên đều tốt như nhau, không tồn tại kết quả phù hợp nhất. Đó là mơ hồ, và trình biên dịch là đúng về khiếu nại.