(-2147483648> 0) C ++ 'da true değerini döndürür?

-2147483648, 32 bitli tamsayı türü için en küçük tamsayıdır, ancak if(...)cümlede taşacak gibi görünüyor :

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

Bu truebenim testimde yazdırılacak . Ancak, -2147483648 değerini tamsayıya kullanırsak sonuç farklı olur:

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

Bu yazdırılacaktır false.

Kafam karıştı. Herkes bu konuda bir açıklama yapabilir mi?

Güncelleme 02-05-2012:

Yorumlarınız için teşekkürler, derleyicimde int boyutu 4 bayt. Bazı basit testler için VC kullanıyorum. Sorumdaki açıklamayı değiştirdim.

Bu yazıda çok iyi cevaplar var, AndreyT , derleyicinin bu girdi üzerinde nasıl davranacağı ve bu minimum tamsayının nasıl uygulandığı hakkında çok ayrıntılı bir açıklama yaptı. Öte yandan qPCR4vir , ilgili bazı "merakları" ve tamsayının nasıl temsil edildiğini verdi. Çok etkileyici!

-2147483648bir "sayı" değil. C ++ dili negatif değişmez değerleri desteklemez.

-2147483648aslında bir ifadedir: önünde 2147483648tekli -işleç olan pozitif bir değişmez değer . Değer 2147483648görünüşte olumlu tarafı için çok büyük intsenin platformda aralığında. Tipi ise long intplatformunuzda daha geniş kapsama alanı vardı, derleyici otomatik olarak varsaymak gerekir 2147483648sahiptir long inttürü. (C ++ 11'de derleyicinin long long inttürü de dikkate alması gerekir .) Bu, derleyiciyi -2147483648daha büyük türde etki alanında değerlendirir ve sonuç beklendiği gibi negatif olur.

Ancak, görünüşe göre sizin durumunuz aralığı aralığıyla long intaynıdır intve genel olarak intplatformunuzdakinden daha büyük bir tam sayı türü yoktur . Bu, pozitif sabitin 2147483648mevcut tüm imzalı tamsayı türlerini aştığı anlamına gelir, bu da programınızın davranışının tanımsız olduğu anlamına gelir. (Dil belirtiminin, bu gibi durumlarda, bir tanılama mesajı yerine tanımsız davranışları tercih etmesi biraz gariptir, ancak bu şekilde.)

Uygulamada, davranışın tanımsız olduğu dikkate alındığında, 2147483648uygulamaya -uygulandıktan sonra olumluya dönüşen uygulamaya bağlı bazı negatif değerler olarak yorumlanabilir . Alternatif olarak, bazı uygulamalar değeri göstermek için imzasız türler kullanmaya çalışabilir (örneğin, C89 / 90 derleyicilerinde kullanılması gerekiyordu unsigned long int, ancak C99 veya C ++ ile değil). Davranış zaten tanımsız olduğundan uygulamaların her şeyi yapmasına izin verilir.

Bir yan not olarak, bu gibi sabitlerin INT_MINtipik olarak

#define INT_MIN (-2147483647 - 1)

görünüşte daha basit yerine

#define INT_MIN -2147483648

İkincisi amaçlandığı gibi çalışmaz.

Derleyici (VC2012) değerleri tutabilen "minimum" tamsayılara yükselir. İlk durumda, signed int(ve long int) (işaret uygulanmadan önce), ancak unsigned intolabilir: 2147483648varunsigned int ???? yazın. İkincisinde sen zorlamak intdan unsigned.

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

Uyarı C4146: imzasız tipe tekli eksi operatör uygulandı , sonuç hala imzasız

İşte ilgili "meraklar":

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

C ++ 11 standardı :

2.14.2 Tamsayı değişmez değerler [lex.icon]

...

Tamsayı değişmez değeri, nokta veya üs parçası olmayan bir basamak dizisidir. Tamsayı değişmezinin temelini belirten bir öneki ve türünü belirten bir soneki olabilir.

...

Bir tam sayı değişmezinin türü, değerinin temsil edilebileceği karşılık gelen listenin ilkidir.

Bir tam sayı değişmezi, listesindeki herhangi bir türle temsil edilemiyorsa ve genişletilmiş bir tam sayı türü (3.9.1) değerini temsil edebilirse, bu genişletilmiş tam sayı türüne sahip olabilir. Listede hazır bilgi için tüm türler imzalanırsa, genişletilmiş tamsayı türü imzalanır. Listedeki değişmezler için tüm türler imzasızsa, genişletilmiş tamsayı türü imzasız olacaktır. Liste hem imzalı hem de imzasız türleri içeriyorsa, genişletilmiş tamsayı türü imzalı veya imzasız olabilir. Çeviri birimlerinden biri, izin verilen türlerin hiçbiri tarafından temsil edilemeyen bir tamsayı değişmezi içeriyorsa, program yanlış biçimlendirilmiştir.

Ve bunlar standarttaki tamsayıların promosyon kurallarıdır.

4.5 İntegral tanıtımları [conv.prom]

Başka bir tamsayıdır tip bir prvalue bool, char16_t, char32_tya da wchar_tolan bir tamsayı dönüşüm sıralaması (4.13) daha az int sıralaması daha tipte bir prvalue dönüştürülebilir intise int, kaynak türü bütün değerlerini temsil edebilir; Aksi takdirde, kaynak değer bir tür değere dönüştürülebilir unsigned int.

Kısacası, 2147483648taşar -2147483648ve (-(-2147483648) > 0)olur true.

Bu nasıl 2147483648görünüyor ikilik sistemde gibi.

Ayrıca, imzalı ikili hesaplamalar durumunda, en önemli bit ("MSB") işaret bitidir. Bu soru nedenini açıklamaya yardımcı olabilir.

Çünkü -2147483648aslında 2147483648olumsuzlama ile ( -) uygulanmış, sayı beklediğiniz değil ne. Aslında bu sözde kodun eşdeğeridir:operator -(2147483648)

Şimdi, derleyici varsayarak sahiptir sizeof(int)eşit 4ve CHAR_BITolarak tanımlanır 8o yapacak, 2147483648bir tamsayı maksimum imzalı değeri taşma ( 2147483647). Peki maksimum artı olan nedir? 4 bit 2s iltifat tamsayı ile çalışalım.

Bekle! 8 tamsayıyı aşar! Biz ne yaptık? İşaretsiz 1000imzasını kullanın ve bitleri işaretli bir tamsayı olarak yorumlayın. Bu temsil bizi hepimizin bildiği gibi, daha büyük -8olan 2'li tamamlayıcı olumsuzluğun uygulanmasına bırakıyor .80

Bu nedenle <limits.h>(ve <climits>) yaygın INT_MINolarak ((-2147483647) - 1)- olarak tanımlanır , böylece maksimum işaretli tamsayı ( 0x7FFFFFFF) reddedilir ( 0x80000001), sonra azaltılır ( 0x80000000).