Perché il valore int più negativo causa un errore sui sovraccarichi di funzioni ambigui?

Sto imparando a conoscere il sovraccarico di funzioni in C ++ e mi sono imbattuto in questo:

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

Da quello che ho capito, qualsiasi valore fornito intnell'intervallo (nel mio caso intè 4 byte) verrà chiamato display(int)e qualsiasi valore al di fuori di questo intervallo sarà ambiguo (poiché il compilatore non può decidere quale funzione chiamare). È valido per l'intera gamma di intvalori eccetto il suo valore minimo, cioè -2147483648dove la compilazione fallisce con l'errore

la chiamata di sovraccarico display(long int)è ambigua

Ma prendendo lo stesso valore ad an inte stampando il valore si ottiene 2147483648. Sono letteralmente confuso con questo comportamento.

Perché questo comportamento viene osservato solo quando viene passato il numero più negativo? (Il comportamento è lo stesso se shortsi usa a -32768- infatti, in ogni caso dove il numero negativo e il numero positivo hanno la stessa rappresentazione binaria)

Compilatore utilizzato: g ++ (GCC) 4.8.5

Questo è un errore molto sottile. Quello che vedi è una conseguenza dell'assenza di valori letterali interi negativi in ​​C ++. Se guardiamo [lex.icon] otteniamo che un intero-letterale ,

intero-letterale
        decimale-letterale intero-suffisso _opt
        [...]

può essere un decimale-letterale ,

decimale-letterale:
        cifra
        decimale-letterale ' _opt digit

dove cifre è [0-9]e diverso da zero cifre è [1-9]e par suffisso può essere uno dei u, U, l, L, ll, o LL. Da nessuna parte qui include -come parte del letterale decimale.

Nel §2.13.2 abbiamo anche:

Un valore letterale intero è una sequenza di cifre che non ha un punto o una parte esponente, con virgolette singole facoltative che vengono ignorate durante la determinazione del valore. Un valore letterale intero può avere un prefisso che ne specifica la base e un suffisso che ne specifica il tipo. La prima cifra lessicale della sequenza di cifre è la più significativa. Un valore letterale intero decimale (base dieci) inizia con una cifra diversa da 0 e consiste in una sequenza di cifre decimali.

^{(enfasi mia)}

Il che significa che l' -in -2147483648è unario operator -. Ciò significa che -2147483648viene effettivamente trattato come -1 * (2147483648). Poiché 2147483648è uno di troppo per te int, viene promosso a long inte l'ambiguità deriva da quella non corrispondenza.

Se vuoi ottenere il valore minimo o massimo per un tipo in modo portatile puoi usare:

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

L'espressione -2147483648sta effettivamente applicando l' -operatore alla costante 2147483648. Sulla tua piattaforma, intnon puoi memorizzare 2147483648, deve essere rappresentato da un tipo più grande. Pertanto, l'espressione -2147483648non è dedotto di essere signed int, ma una più grande tipo firmato, signed long int.

Poiché non si fornisce un overload per longil compilatore è costretto a scegliere tra due overload che siano entrambi ugualmente validi. Il compilatore dovrebbe emettere un errore del compilatore su sovraccarichi ambigui.

Espandendo le risposte degli altri

Per chiarire perché l'OP è confuso, prima : considera la signed intrappresentazione binaria di 2147483647, di seguito.

Quindi, aggiungine uno a questo numero : dandone un altro signed intdi -2147483648(che l'OP desidera utilizzare)

Infine: possiamo vedere perché l'OP è confuso quando -2147483648compila in a long intinvece di a signed int, poiché si adatta chiaramente a 32 bit.

Ma, come menzionano le risposte correnti, l'operatore unario ( -) viene applicato dopo aver risolto 2147483648che è a long inte NON si adatta a 32 bit.