(-2147483648> 0) mengembalikan true dalam C ++?

-2147483648 adalah bilangan bulat terkecil untuk tipe bilangan bulat dengan 32 bit, tetapi tampaknya akan meluap dalam if(...)kalimat:

if (-2147483648 > 0)
    std::cout << "true";
else
    std::cout << "false";

Ini akan dicetak truedalam pengujian saya. Namun, jika kita menggunakan -2147483648 ke integer, hasilnya akan berbeda:

if (int(-2147483648) > 0)
    std::cout << "true";
else
    std::cout << "false";

Ini akan dicetak false.

Saya bingung. Adakah yang bisa memberikan penjelasan tentang ini?

Pembaruan 02-05-2012:

Terima kasih atas komentar Anda, di kompiler saya, ukuran int adalah 4 byte. Saya menggunakan VC untuk beberapa pengujian sederhana. Saya telah mengubah uraian dalam pertanyaan saya.

Itu banyak balasan yang sangat baik dalam posting ini, AndreyT memberikan penjelasan yang sangat rinci tentang bagaimana perilaku kompiler pada input tersebut, dan bagaimana integer minimum ini diimplementasikan. qPCR4vir di sisi lain memberikan beberapa "keingintahuan" terkait dan bagaimana bilangan bulat diwakili. Sangat mengesankan!

-2147483648bukan "angka". Bahasa C ++ tidak mendukung nilai literal negatif.

-2147483648sebenarnya adalah ekspresi: nilai literal positif 2147483648dengan -operator unary di depannya. Nilai 2147483648tampaknya terlalu besar untuk sisi positif intjangkauan di platform Anda. Jika tipe long intmemiliki jangkauan yang lebih besar pada platform Anda, kompiler harus secara otomatis menganggap bahwa 2147483648ada long inttipe. (Dalam C ++ 11 kompiler juga harus mempertimbangkan long long intjenis.) Ini akan membuat kompiler untuk mengevaluasi -2147483648dalam domain tipe yang lebih besar dan hasilnya akan negatif, seperti yang diharapkan.

Namun, ternyata dalam kasus Anda rentangnya long intsama dengan rentang int, dan secara umum tidak ada tipe integer dengan rentang lebih besar dari intpada platform Anda. Ini secara formal berarti bahwa konstanta positif 2147483648meluap semua jenis integer yang ditandatangani yang tersedia, yang pada gilirannya berarti bahwa perilaku program Anda tidak terdefinisi. (Agak aneh bahwa spesifikasi bahasa memilih untuk perilaku yang tidak terdefinisi dalam kasus-kasus seperti itu, alih-alih membutuhkan pesan diagnostik, tetapi begitulah adanya.)

Dalam praktiknya, dengan mempertimbangkan bahwa perilaku tersebut tidak terdefinisi, 2147483648dapat ditafsirkan sebagai beberapa nilai negatif yang bergantung pada implementasi yang berubah menjadi positif setelah -diterapkan secara unary . Sebagai alternatif, beberapa implementasi mungkin memutuskan untuk mencoba menggunakan tipe yang tidak ditandatangani untuk mewakili nilai (misalnya, dalam kompiler C89 / 90 diharuskan untuk digunakan unsigned long int, tetapi tidak dalam C99 atau C ++). Implementasi diperbolehkan untuk melakukan apa saja, karena perilaku itu tidak ditentukan.

Sebagai catatan, inilah alasan mengapa konstanta seperti INT_MINbiasanya didefinisikan sebagai

#define INT_MIN (-2147483647 - 1)

bukannya yang tampaknya lebih mudah

#define INT_MIN -2147483648

Yang terakhir tidak akan berfungsi sebagaimana dimaksud.

Compiler (VC2012) mempromosikan ke integer "minimum" yang dapat menyimpan nilai-nilai. Dalam kasus pertama, signed int(dan long int) tidak bisa (sebelum tanda diterapkan), tetapi unsigned intdapat: 2147483648memilikiunsigned int ???? Tipe. Di detik Anda memaksa intdari unsigned.

const bool i= (-2147483648 > 0) ;  //   --> true

peringatan C4146: operator minus unary diterapkan pada tipe yang tidak ditandatangani , hasilnya masih belum ditandatangani

Berikut ini "keingintahuan" terkait:

const bool b= (-2147483647      > 0) ; //  false
const bool i= (-2147483648      > 0) ; //  true : result still unsigned
const bool c= ( INT_MIN-1       > 0) ; //  true :'-' int constant overflow
const bool f= ( 2147483647      > 0) ; //  true
const bool g= ( 2147483648      > 0) ; //  true
const bool d= ( INT_MAX+1       > 0) ; //  false:'+' int constant overflow
const bool j= ( int(-2147483648)> 0) ; //  false : 
const bool h= ( int(2147483648) > 0) ; //  false
const bool m= (-2147483648L     > 0) ; //  true 
const bool o= (-2147483648LL    > 0) ; //  false

Standar C ++ 11 :

2.14.2 Literal integer [lex.icon]

...

Bilangan bulat integer adalah urutan digit yang tidak memiliki periode atau bagian eksponen. Literal integer mungkin memiliki awalan yang menentukan basisnya dan akhiran yang menentukan jenisnya.

...

Jenis literal integer adalah yang pertama dari daftar yang sesuai di mana nilainya dapat diwakili.

Jika bilangan bulat integer tidak dapat diwakili oleh tipe apa pun dalam daftar dan tipe integer yang diperluas (3.9.1) dapat mewakili nilainya, itu mungkin memiliki tipe integer yang diperluas. Jika semua tipe dalam daftar untuk literal ditandatangani, tipe integer yang diperluas harus ditandatangani. Jika semua tipe dalam daftar untuk literal tidak ditandai, tipe integer yang diperluas harus tidak ditandatangani. Jika daftar berisi tipe yang ditandatangani dan tidak ditandatangani, tipe integer yang diperluas dapat ditandatangani atau tidak ditandatangani. Suatu program tidak terbentuk dengan baik jika salah satu unit terjemahannya mengandung bilangan bulat integer yang tidak dapat diwakili oleh jenis yang diizinkan.

Dan ini adalah aturan promosi untuk bilangan bulat dalam standar.

4.5 Promosi integral [conv.prom]

Sebuah prvalue dari tipe integer selain bool, char16_t, char32_t, atau wchar_tyang bulat konversi rank (4.13) kurang dari pangkat int dapat dikonversi ke prvalue jenis intjika intdapat mewakili semua nilai-nilai dari jenis sumber; jika tidak, prvalue sumber dapat dikonversi ke prvalue tipe unsigned int.

Dalam pendek, 2147483648berlimpah-limpah -2147483648, dan (-(-2147483648) > 0)adalah true.

Ini adalah bagaimana 2147483648penampilan seperti dalam biner.

Selain itu, dalam kasus perhitungan biner yang ditandatangani, bit yang paling signifikan ("MSB") adalah bit tanda. Pertanyaan ini dapat membantu menjelaskan alasannya.

Karena -2147483648sebenarnya 2147483648dengan negasi ( -) yang diterapkan padanya, angkanya tidak seperti yang Anda harapkan. Ini sebenarnya sama dengan pseudocode ini:operator -(2147483648)

Sekarang, anggap kompiler Anda sizeof(int)sama dengan 4dan CHAR_BITdidefinisikan sebagai 8, yang akan membuat 2147483648melimpahi nilai maksimum yang ditandatangani integer ( 2147483647). Jadi, apa plus maksimum satu? Mari kita selesaikan dengan integer pujian 2s, 2s.

Tunggu! 8 melebihi integer! Apa yang kita lakukan? Gunakan representasi unsigned dari 1000dan menafsirkan bit sebagai integer yang ditandatangani. Representasi ini membuat kita -8menerapkan negasi komplemen 2s yang menghasilkan 8, yang, seperti kita ketahui, lebih besar dari 0.

Inilah sebabnya <limits.h>(dan <climits>) biasanya didefinisikan INT_MINsebagai ((-2147483647) - 1)- sehingga bilangan bulat bertanda maksimum ( 0x7FFFFFFF) dinegasikan ( 0x80000001), lalu dikurangi ( 0x80000000).