Mengapa nilai int paling negatif menyebabkan kesalahan tentang kelebihan beban fungsi yang ambigu?

Saya belajar tentang fungsi overloading di C ++ dan menemukan ini:

void display(int a)
{
    cout << "int" << endl;
}

void display(unsigned a)
{
    cout << "unsigned" << endl;
}

int main()
{
    int i = -2147483648;
    cout << i << endl; //will display -2147483648
    display(-2147483648);
}

Dari apa yang saya pahami, nilai apa pun yang diberikan dalam intkisaran (dalam kasus saya intadalah 4 byte) akan memanggil display(int)dan nilai apa pun di luar kisaran ini akan menjadi ambigu (karena penyusun tidak dapat memutuskan fungsi mana yang akan dipanggil). Ini valid untuk rentang intnilai lengkap kecuali nilai minnya, yaitu di -2147483648mana kompilasi gagal dengan kesalahan

panggilan overloaded display(long int)ambigu

Tapi mengambil nilai yang sama intdan mencetak nilai yang diberikan 2147483648. Saya benar-benar bingung dengan perilaku ini.

Mengapa perilaku ini diamati hanya ketika angka paling negatif dilewatkan? (Perilakunya sama jika a shortdigunakan dengan -32768- pada kenyataannya, dalam kasus apa pun di mana bilangan negatif dan bilangan positif memiliki representasi biner yang sama)

Kompiler yang digunakan: g ++ (GCC) 4.8.5

Ini adalah kesalahan yang sangat halus. Apa yang Anda lihat adalah konsekuensi dari tidak adanya literal integer negatif dalam C ++. Jika kita melihat [lex.icon] kita mendapatkan bahwa literal-integer ,

integer-literal
        desimal-literal integer-suffix _opt
        [...]

bisa berupa desimal-literal ,

desimal-literal:
        nol-digit
        desimal-literal ' _opt digit

di mana digit adalah [0-9]dan nol-digit adalah [1-9]dan akhiran par dapat menjadi salah satu dari u, U, l, L, ll, atau LL. Tidak ada di sini yang memasukkannya -sebagai bagian dari literal desimal.

Dalam §2.13.2, kami juga memiliki:

Sebuah literal bilangan bulat adalah urutan angka yang tidak memiliki periode atau bagian eksponen, dengan opsional memisahkan tanda kutip tunggal yang diabaikan saat menentukan nilainya. Literal integer mungkin memiliki awalan yang menentukan basisnya dan sufiks yang menentukan tipenya. Digit pertama secara leksikal dari urutan angka adalah yang paling signifikan. Sebuah desimal integer literal (dasar sepuluh) dimulai dengan angka selain 0 dan terdiri dari urutan angka desimal.

^{(penekanan saya)}

Yang artinya -in -2147483648adalah unary operator -. Artinya -2147483648sebenarnya diperlakukan sebagai -1 * (2147483648). Karena 2147483648satu terlalu banyak untuk Anda, intitu dipromosikan menjadi a long intdan ambiguitas berasal dari ketidaksesuaian itu.

Jika Anda ingin mendapatkan nilai minimum atau maksimum untuk suatu jenis secara portabel, Anda dapat menggunakan:

std::numeric_limits<type>::min();  // or max()

Ekspresi -2147483648sebenarnya menerapkan -operator ke konstanta 2147483648. Di platform Anda, inttidak bisa menyimpan 2147483648, itu harus diwakili oleh tipe yang lebih besar. Oleh karena itu, ekspresi -2147483648tidak disimpulkan menjadi signed inttetapi tipe bertanda tangan yang lebih besar signed long int,.

Karena Anda tidak memberikan kelebihan beban long, kompilator dipaksa untuk memilih di antara dua beban berlebih yang keduanya sama-sama valid. Kompilator Anda harus mengeluarkan kesalahan kompilator tentang kelebihan beban yang ambigu.

Memperluas jawaban orang lain

Untuk memperjelas mengapa OP bingung, pertama : pertimbangkan signed intrepresentasi biner 2147483647, di bawah ini.

Berikutnya, tambahkan satu ke nomor ini : memberikan lain signed intdari -2147483648(yang OP ingin digunakan)

Akhirnya: kita dapat melihat mengapa OP bingung ketika -2147483648mengkompilasi ke a, long intbukan a signed int, karena jelas cocok dalam 32 bit.

Tapi, seperti jawaban saat ini menyebutkan, operator unary ( -) diterapkan setelah menyelesaikan 2147483648yang merupakan long intdan TIDAK muat dalam 32 bit.