某些Java相关的细节问题

-------------------------- 2020.2.18 更新------------------

3 final字段

以前一直对final字段的赋值方式有错误的理解。因为无论是类变量或实例变量的final 字段，必须给赋初始值。 故认为static final int a; 这样的代码是错误的，只有final int a = 1; 这种形式才是正确的。

现在修正一下，对于“赋初始值”本质上是在<cinit>, <init> 方法中赋初始值。这意味着final字段在上面的语法之外，还可以用静态/非静态代码快赋值，构造器赋值

1 自动装箱问题

Integer a = 1;
Integer b = 1;
Integer c = 2;
Long d = 2L;
boolean flag = d == (a + b); // true

包装类的 "=="运行符在遇到算数运算的情况下会自动拆箱，所以会计算a + b的值，强转成long类型之后和2L来比较

2. new String(“123”) 到底创建了几个对象

先说结论，确实是2个

首先，看各种解答说，“123”是个字面量，必然在字符串常量池存在一个对象，然后new关键字又在堆中创建了一个对象。 想想有道理嗷

之后，学习了类加载的知识后了解到，在解析阶段，符号引用解析成直接引用。那么根据下面的字节码

 0: new           #2                  // class java/lang/String                           // 分配内存
 3: dup                                                                                               // 复制一份this引用
 4: ldc           #3                  // String 123                                         // 将字符串常量池中的引用入栈
 6: invokespecial #4                  // Method java/lang/String."<init>":(Ljava/lang/String;)V     // 调用 init 方法
 9: pop
10: return

这样看，new创建了一个对象。而字面量“123”应该在解析阶段就在字符串常量池创建一个对象了，不然怎么说将字面量解析成直接引用呢？较真来说，这一样代码只创建了一个对象。

然而，观B乎回答 ， JVM规范里明确指定resolve阶段可以是lazy的， 而HotSpot的实现就是对String字面量lazy resolved，例如说在第一次引用该项的ldc指令被第一次执行到的时候才会resolve。在类加载阶段，String字面量依然回进入运行时常量池，而不会进入堆区的字符串常量池。 ldc指令明明就是包含了一大堆操作的c++函数啊

所以在HotSpotVM下，而且是第一次执行 ldc //“123” 指令，会创建两个对象