最も負のint値は、あいまいな関数のオーバーロードに関するエラーを引き起こすのはなぜですか？

私はC ++での関数のオーバーロードについて学び、これに遭遇しました：

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

私が理解したことから、int範囲（私の場合intは4バイト）で指定された値は呼び出されdisplay(int)、この範囲外の値はあいまいになります（コンパイラーが呼び出す関数を決定できないため）。これはint、最小値を除くすべての値の範囲、つまり-2147483648エラーでコンパイルが失敗する場合に有効です。

オーバーロードの呼び出しdisplay(long int)があいまいです

しかし、同じ値をに取り、その値を出力するintと、になります2147483648。私は文字通りこの振る舞いに混乱しています。

この動作は、最も負の数が渡されたときにのみ観察されるのはなぜですか？（a shortが-32768- と一緒に使用された場合の動作は同じです。実際には、負の数と正の数が同じ2進数表現を持つ場合）

使用するコンパイラ：g ++（GCC）4.8.5

これは非常に微妙なエラーです。あなたが見ているのは、C ++に負の整数リテラルがないことの結果です。[lex.icon]を見ると、整数リテラル、

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

decimal-literalでもかまいません。

decimal-literal：
        非ゼロ桁の
        decimal-literal ' _選択桁

どこの桁がある[0-9]とゼロ以外の桁がある[1-9]と接尾辞パーは、のいずれかにすることができu、U、l、L、ll、またはLL。ここでは-、10進数リテラルの一部として含まれていません。

§2.13.2では、次のものも用意されています。

整数リテラルは、その値を決定する際に無視される任意の分離単一引用符で、いかなる期間または指数部を有していない数字の列です。整数リテラルには、そのベースを指定するプレフィックスとそのタイプを指定するサフィックスを含めることができます。一連の数字の字句的に最初の数字が最も重要です。A 進整数リテラル（ベース10）が0以外の数字で始まり、桁の配列からなります。

^{（強調鉱山）}

つまり、-in -2147483648は単項operator -です。つまり、-2147483648実際にはとして扱われ-1 * (2147483648)ます。21474836481つが多すぎるのでint、long intと曖昧さが一致することはないから来ています。

ポータブルな方法で型の最小値または最大値を取得したい場合は、以下を使用できます。

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

式-2147483648は実際に-定数に演算子を適用してい2147483648ます。ご使用のプラットフォームでintは、を格納できません2147483648。より大きな型で表す必要があります。したがって、式-2147483648はsigned intより大きな符号付きの型であると推定されず、signed long int。

longコンパイラーにオーバーロードを提供しないため、コンパイラーは両方とも等しく有効な2つのオーバーロードから選択する必要があります。コンパイラは、あいまいなオーバーロードに関するコンパイラエラーを発行する必要があります。

他人の答えを拡張する

OPが混乱している理由を明確にするには、まず、以下ののsigned intバイナリ表現を検討し2147483647ます。

次に、この数に1を追加します。別のものsigned intを与える-2147483648（OPが使用したい）

最後に、32ビットに収まるので、OPが-2147483648のlong int代わりににコンパイルすると、OPが混乱する理由がわかりsigned intます。

ただし、現在の回答で述べられているように、単項演算子（-）は、32ビットに収まらないaの解決後に適用されます。2147483648long int