「ショート30 = 3 * 10」が正当な割り当てであるのはなぜですか？

が算術演算でshort自動的に昇格さintれる場合、その理由は次のとおりです。

short thirty = 10 * 3;

short変数への正当な割り当てthirty？

次に、これ：

short ten = 10;
short three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

これと同様に：

int ten = 10;
int three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

にキャストしないintとaに値を割り当てることができないため、コンパイルshortは行われません。

数値リテラルについて何か特別なことはありますか？

コンパイラはコンパイル時に10*3 30に置き換えられるためです。したがって、効果的には、コンパイル時に計算されます。short thirty = 10 * 3

tenand threeを変更してfinal short（コンパイル時定数をコンパイルして）、何が起こるかを確認してください：P

javap -v 両方のバージョン（10*3とfinal short）に使用するバイトコードを調べます。違いはほとんどないことがわかります。

さて、ここでは、異なるケースのバイトコードの違いがあります。

ケース-1：

Javaコード：main（）{short s = 10 * 3; }

バイトコード：

stack=1, locals=2, args_size=1
         0: bipush        30  // directly push 30 into "s"
         2: istore_1      
         3: return   

ケース-2：

public static void main(String arf[])  {
   final short s1= 10;
   final short s2 = 3;
   short s = s1*s2;
}

バイトコード：

  stack=1, locals=4, args_size=1
         0: bipush        10
         2: istore_1      
         3: iconst_3      
         4: istore_2      
         5: bipush        30 // AGAIN, push 30 directly into "s"
         7: istore_3      
         8: return   

ケース-3：

public static void main(String arf[]) throws Exception {
     short s1= 10;
     short s2 = 3;
     int s = s1*s2;
}

バイトコード：

stack=2, locals=4, args_size=1
         0: bipush        10  // push constant 10
         2: istore_1      
         3: iconst_3        // use constant 3 
         4: istore_2      
         5: iload_1       
         6: iload_2       
         7: imul          
         8: istore_3      
         9: return 

上記の場合、10および3ローカル変数から取得されs1及びs2

はい、文字通りの場合に特別なことが起こってい10 * 3ます：コンパイル時に評価されます。したがって(short)、乗算されたリテラルを明示的に変換する必要はありません。

ten * three はコンパイル時に評価できないため、明示的な変換が必要です。

かどうかは別問題だろうtenとthreeマークされましたfinal。

次の回答は、JLSセクションとこの動作に関する詳細を追加しています。

あたりとしてJLS§15.2 -式のフォーム

一部の式には、コンパイル時に決定できる値があります。これらは定数式です（§15.28）。