int numeral -> aturan konversi pointer

Pertimbangkan kode berikut.

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

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

MSVC 2017 tidak mengkompilasi itu. Itu angka ada panggilan ambigu yang berlebihan, seperti 1-1yang sama 0dan karena itu dapat dikonversi menjadi double*. Trik lain, seperti 0x0, 0L, atau static_cast<int>(0), tidak bekerja baik. Bahkan mendeklarasikan const int Zero = 0dan menelepon f(Zero)menghasilkan kesalahan yang sama. Ini hanya berfungsi dengan baik jika Zerotidak const.

Sepertinya masalah yang sama berlaku untuk GCC 5 dan di bawah, tetapi bukan GCC 6. Saya ingin tahu apakah ini adalah bagian dari standar C ++, bug MSVC yang diketahui, atau pengaturan dalam kompiler. Google sepintas tidak membuahkan hasil.

MSVC dianggap 1-1sebagai konstanta penunjuk nol. Ini benar oleh standar untuk C + + 03, di mana semua ekspresi konstanta integral dengan nilai 0adalah konstanta pointer nol, tetapi itu diubah sehingga hanya nol integer literal konstanta pointer nol untuk C ++ 11 dengan masalah CWG 903 . Ini adalah perubahan yang melanggar, seperti yang Anda lihat dalam contoh Anda dan sebagaimana juga didokumentasikan dalam standar, lihat [diff.cpp03.conv] dari standar C ++ 14 (draft N4140).

MSVC menerapkan perubahan ini hanya dalam mode kesesuaian. Jadi kode Anda akan dikompilasi dengan /permissive-bendera, tapi saya pikir perubahan hanya diterapkan di MSVC 2019, lihat di sini .

Dalam kasus GCC, GCC 5 default ke mode C ++ 98, sedangkan GCC 6 dan kemudian default ke mode C ++ 14, itulah sebabnya mengapa perubahan perilaku tampaknya tergantung pada versi GCC.

Jika Anda menelepon fdengan konstanta penunjuk nol sebagai argumen, maka panggilan tersebut ambigu, karena konstanta penunjuk nol dapat dikonversi ke nilai penunjuk nol dari semua jenis penunjuk dan konversi ini memiliki peringkat yang sama dengan konversi int(atau tipe integral apa pun) untuk double.

Kompiler bekerja dengan benar, sesuai dengan [over.match] dan [conv] , lebih khusus [conv.fpint] dan [conv.ptr].

Urutan konversi standar adalah [bla bla] Nol atau satu [...] konversi integral-mengambang, konversi penunjuk, [...].

dan

Nilai awal tipe integer atau tipe enumerasi yang tidak dicopot dapat dikonversi ke nilai awal tipe floating-point. Hasilnya tepat jika memungkinkan [bla bla]

dan

Konstanta penunjuk nol adalah bilangan bulat integer dengan nilai nol atau [...]. Konstanta penunjuk nol dapat dikonversi ke jenis penunjuk; hasilnya adalah nilai pointer nol dari tipe itu [bla bla]

Sekarang, resolusi kelebihan adalah untuk memilih yang paling cocok di antara semua fungsi kandidat (yang, sebagai fitur menyenangkan, bahkan tidak perlu diakses di lokasi panggilan!). Kecocokan terbaik adalah yang dengan parameter tepat atau, sebagai alternatif, konversi sesedikit mungkin. Nol atau satu konversi standar dapat terjadi (... untuk setiap parameter), dan nol "lebih baik" dari satu.

(1-1)adalah integer literal dengan nilai 0.

Anda dapat mengonversi nol integer literal ke masing - masing salah satu doubleatau double*(atau nullptr_t), dengan tepat satu konversi. Jadi, dengan asumsi bahwa lebih dari satu fungsi ini dinyatakan (seperti halnya dalam contoh), ada lebih dari satu kandidat, dan semua kandidat sama-sama baik, tidak ada yang paling cocok. Ini ambigu, dan kompilernya benar untuk mengeluh.