缩窄基元转换过程中的Java编译器行为

Question

在我看来，这种解释是不正确的。这两行代码相同吗？

事实上

byte b = 27;

只是一个常数。而常数的编译时缩小是这段代码有效的唯一原因。所以不需要铸造。当缩小范围时，编译器只检查指定的值是否适合变量的类型。规范规定：

如果变量的类型是byte、short或char，并且常量表达式的值可以用变量的类型表示，则可以使用缩小基元转换。

byte b = (byte) 27;

byte b = 5.0; // compile error
byte b = 277777777; // compile error
byte b = (byte) 5.0; // valid!
byte b = (byte) 277777777; // valid!!

Answer 1

很容易测试出来。将以下内容放在temp.java中：

class Temp {
  public static void main(String[] argv) {
    byte b = 27;
    System.out.println(b);
  }
}

现在用您喜欢的编译器编译它：

$ javac Temp.java

现在用Javap转储字节码：

 $ javap -c Temp.class
 Compiled from "Temp.java"
  class Temp {
    Temp();                                                                                                                             
      Code:
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: return

    public static void main(java.lang.String[]);                                                                                        
      Code:
         0: bipush        27
         2: istore_1
         3: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;                                       
         6: iload_1
         7: invokevirtual #3                  // Method java/io/PrintStream.println:(I)V
        10: return
  }