int i = 1024 * 1024 * 1024 * 1024がエラーなしでコンパイルされるのはなぜですか？

の制限intは-2147483648〜2147483647です。

入力すると

int i = 2147483648;

次に、Eclipseは「2147483648」の下に赤い下線を表示します。

しかし、これを行うと：

int i = 1024 * 1024 * 1024 * 1024;

正常にコンパイルされます。

public class Test {
    public static void main(String[] args) {        

        int i = 2147483648;                   // error
        int j = 1024 * 1024 * 1024 * 1024;    // no error

    }
}

多分それはJavaの基本的な質問ですが、なぜ2番目のバリアントがエラーを出さないのか分かりません。

そのステートメントには何も問題はありません。4つの数値を乗算してintに割り当てるだけで、オーバーフローが発生するだけです。これは、コンパイル時に境界チェックされる単一のリテラルを割り当てることとは異なります。

エラーを引き起こすのは範囲外のリテラルであり、割り当てではありません。

System.out.println(2147483648);        // error
System.out.println(2147483647 + 1);    // no error

対照的に、longリテラルはうまくコンパイルされます：

System.out.println(2147483648L);       // no error

は定数式であるため、実際には結果はコンパイル時にも計算されます。1024 * 1024 * 1024 * 1024

int i = 1024 * 1024 * 1024 * 1024;

になる：

   0: iconst_0      
   1: istore_1      

結果（0）は単にロードおよび格納され、乗算は行われないことに注意してください。

JLS§3.10.1から（コメントで取り上げてくれた@ChrisKに感謝）：

タイプの10進リテラルが（2 ³¹）intより大きい場合、または10進リテラルが単項マイナス演算子のオペランド以外の場所にある場合は、コンパイル時エラーになります（§15.15.4）。21474836482147483648

1024 * 1024 * 1024 * 1024また2147483648、Javaでは同じ値ではありません。

実際、Java では2147483648 IS N'T EVEN A VALUE（とはいえ2147483648L）です。コンパイラーは、それが何であるか、またはそれをどのように使用するかを文字通り知りません。だからそれは泣き言を言う。

1024はJavaの有効なintであり、有効なint値に別の有効な値を掛けた値intは常に有効ですint。計算がオーバーフローするため、直感的に期待できる値とは異なります。

例

次のコードサンプルを考えてみます。

public static void main(String[] args) {
    int a = 1024;
    int b = a * a * a * a;
}

これはコンパイルエラーを生成すると思いますか？もう少し滑りやすくなっています。
ループを3回繰り返し、ループで乗算するとどうなるでしょうか。

コンパイラーは最適化を許可されていますが、その間、プログラムの動作を変更することはできません。

このケースが実際にどのように処理されるかに関するいくつかの情報：

Javaおよび他の多くの言語では、整数は固定数のビットで構成されます。指定されたビット数に収まらない計算はオーバーフローします。計算は基本的にJavaで係数 2 ^ 32で実行されます。その後、値は符号付き整数に変換されます。

他の言語またはAPIは動的なビット数（BigIntegerJavaの場合）を使用し、例外を発生させるか、値をnot-a-numberなどのマジック値に設定します。

2番目のバリアントがエラーを生成しない理由はわかりません。

提案する動作、つまり、計算で整数に格納できる最大値よりも大きい値が生成された場合の診断メッセージの生成は、機能です。機能を使用するには、その機能を検討し、優れたアイデアであると考え、設計、指定、実装、テスト、文書化してユーザーに出荷する必要があります。

Javaの場合、リストにあるものの1つ以上が発生しなかったため、機能がありません。どちらかわかりません。Javaデザイナーに尋ねる必要があります。

C＃の場合、これらすべてのことが起こりました（約14年前の現在）。したがって、C＃の対応するプログラムはC＃1.0以降エラーを生成しました。

arshajiiの回答に加えて、もう1つ説明したいことがあります。

エラーの原因は割り当てではなく、単にリテラルの使用です。あなたがしようとすると

long i = 2147483648;

右側がまだintリテラルで範囲外であるため、コンパイルエラーの原因にもなります。

したがって、int-values（および割り当てを含む）を使用した操作は、コンパイルエラーなし（および実行時エラーもなし）でオーバーフローする可能性がありますが、コンパイラーはこれらの大きすぎるリテラルを処理できません。

A：エラーではありません。

背景：乗算1024 * 1024 * 1024 * 1024によりオーバーフローが発生します。多くの場合、オーバーフローはバグです。オーバーフローが発生すると、プログラミング言語によって動作が異なります。たとえば、CおよびC ++では、符号なし整数の場合は「未定義の動作」と呼ばれ、動作は符号なし整数として定義されます（数学的結果を取りUINT_MAX + 1、結果が負であるUINT_MAX + 1限り加算し、結果がより大きい限り減算しますUINT_MAX）。

Javaの場合、int値のある操作の結果が許容範囲内にない場合、概念的にJavaは結果が許容範囲内になるまで2 ^ 32を加算または減算します。したがって、ステートメントは完全に合法であり、誤りではありません。それはあなたが望んでいたかもしれない結果を生み出しません。

この動作が役立つかどうか、コンパイラが警告を表示する必要があるかどうかは、確実に議論できます。個人的には警告は非常に役立つと思いますが、エラーは合法なJavaであるため正しくありません。