为什么“短三十=3*10”是一项法律转让？

Question

如果在算术运算中，short自动升级为int，那么原因是：

short thirty = 10 * 3;

对short变量three的合法赋值？

反过来，这：

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值指定给short。

数字文字有什么特别之处吗？

Answer 1

下面的答案添加了JLS部分和有关此行为的一些详细信息。

根据JLS§15.2-表达形式

有些表达式的值可以在编译时确定。这些是常量表达式（§15.28）。

Answer 2

是的，文字大小写有一些特殊之处：10*3将在编译时计算。因此，您不需要对乘以的文字进行显式的（短）转换。

ten*three不可在编译时计算，因此需要显式转换。

如果将10个和3个标记为final，那将是另一回事。

Answer 3

因为编译器在编译时将10*3替换为30。因此，实际上：short-three=10*3是在编译时计算的。

尝试将ten和三更改为最终短（使它们编译时间常量），看看会发生什么：P

使用javap-v检查字节码的两种验证（10*3和final short）。你会发现两者几乎没有区别。

这是不同情况下的字节码差异。

案例1：

Java代码：main（）{短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