Neden en negatif int değeri belirsiz işlev aşırı yüklemeleri hakkında bir hataya neden oluyor?

C ++ 'da fonksiyon aşırı yüklemeyi öğreniyorum ve şuna rastladım:

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);
}

Anladığım kadarıyla, intaralıkta verilen herhangi bir değer (benim durumumda int4 bayttır) arayacak display(int)ve bu aralığın dışındaki herhangi bir değer belirsiz olacaktır (çünkü derleyici hangi işlevi çağıracağına karar veremez). intMin değeri haricindeki tüm değerler aralığı için geçerlidir, yani -2147483648derlemenin hata ile başarısız olduğu durumlarda

aşırı yükleme çağrısı display(long int)belirsizdir

Ama aynı değeri intalıp basmak değeri verir 2147483648. Bu davranışla tam anlamıyla kafam karıştı.

Bu davranış neden yalnızca en negatif sayı geçildiğinde gözlemleniyor? (A shortile birlikte kullanıldığında davranış aynıdır -32768- aslında, negatif sayı ve pozitif sayının aynı ikili gösterime sahip olduğu her durumda)

Kullanılan derleyici: g ++ (GCC) 4.8.5

Bu çok ince bir hatadır. Gördüğünüz şey, C ++ 'da negatif tamsayı değişmezlerinin olmamasının bir sonucudur. Biz [lex.icon] bakarsak biz bir olsun tamsayı değişmezi ,

tamsayı-değişmez
        ondalık-değişmez tamsayı-sonek _tercih
        [...]

ondalık olabilir ,

ondalık-değişmez:
        sıfır olmayan
        ondalık-değişmez ' _tercih basamağı

burada basamaklı bir [0-9]ve sıfır olmayan bir basamaklı olduğu [1-9]ve son ek kısmen biri olabilir u, U, l, L, ll, ya da LL. Burada hiçbir yerde -ondalık düz bilginin bir parçası olarak yer almaz .

§2.13.2'de ayrıca:

Bir tamsayı değişmez değeri, nokta veya üs parçası olmayan, değeri belirlenirken göz ardı edilen isteğe bağlı tek tırnak işaretlerinin ayrıldığı bir rakam dizisidir. Bir tamsayı hazır bilgisinin tabanını belirten bir öneki ve türünü belirten bir soneki olabilir. Rakam dizisinin sözcüksel olarak ilk rakamı en önemli olanıdır. Bir ondalık tamsayı değişmez değeri (on tabanı), 0 dışında bir rakamla başlar ve bir ondalık rakam dizisinden oluşur.

^{(vurgu benim)}

Hangi vasıta -içinde -2147483648tekli olduğunu operator -. Bu -2147483648aslında olarak değerlendirildiği anlamına gelir -1 * (2147483648). Yana 2147483648senin için kimsenin bu kadar çok olan intbir terfi edilir long intve belirsizlik eşleşen değil geliyor.

Bir tür için minimum veya maksimum değeri taşınabilir bir şekilde almak istiyorsanız şunları kullanabilirsiniz:

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

İfade -2147483648aslında -operatörü sabite uygulamaktadır 2147483648. Platformunuzda intdepolanamaz 2147483648, daha büyük bir türle temsil edilmelidir. Bu nedenle, ifade daha büyük işaretli bir tür -2147483648olarak çıkarılır .signed intsigned long int

longDerleyici için bir aşırı yükleme sağlamadığınız için , her ikisi de eşit derecede geçerli olan iki aşırı yükleme arasında seçim yapmaya zorlanır. Derleyiciniz belirsiz aşırı yüklemeler hakkında bir derleyici hatası vermelidir.

Başkalarının cevaplarını genişletmek

OP'nin neden karıştırıldığını açıklığa kavuşturmak için önce : aşağıdaki signed intikili temsilini düşünün 2147483647.

Sonra, bu numaraya tane ekleyin : Başka bir verme signed intait -2147483648(OP kullanımına istediği)

Son olarak: 32 bite açıkça sığdığı için OP'nin -2147483648a long intyerine a'ya derlendiğinde neden karıştırıldığını görebiliriz signed int.

Geçerli cevaplar söz Fakat, tekli operatör ( -) uygulanır sonra çözme 2147483648bir olan long intve 32 bit yeterlidir DEĞİLDİR.