Java面试细节：静态变量和静态块、静态方法、静态类的底层实现原理

Java静态变量的初始化（static块的本质）

在网上看到了下面的一段代码：

public class Test {   
    static {   
         _i = 20;   
     }   
    public static int _i = 10;   
       
    public static void main(String[] args) {   
         System.out.println(_i);   
     }   
}  
public class Test { static { _i = 20; } public static int _i = 10; public static void main(String[] args) { System.out.println(_i); } }

上述代码会打印出什么结果来呢？10还是20？本文将以此代码为引子，着重讨论一下静态变量的初始化问题。

问题1：静态变量如何初始化

Java类中可以定义一个static块，用于静态变量的初始化。如：

public class Test {   
    public static int _i;   
    static {   
         _i = 10;   
     }   
}  
public class Test { public static int _i; static { _i = 10; } }

当然最常用的初始化静态变量的操作是在声明变量时直接进行赋值操作。如：

public class Test {   
    public static int _i = 10;   
}  
public class Test { public static int _i = 10; }

那么上述两例在本质上有什么区别吗？回答是没有区别。两例代码编译之后的字节码完全一致，通过 “javap -c”查看到的字节码如下：

public class Test extends java.lang.Object{
public static int _i;

public Test();
Code:
0: aload_0
1: invokespecial #1; //Method java/lang/Object."<init>":()V
4: return

static {};
Code:
0: bipush 10
2: putstatic #2; //Field _i:I
5: return

}

通过字节码还可以看出，当类的定义中不含有static块时，编译器会为该类提供一个默认的static块。当然这是在含有静态变量初始化操作的前 提下。如果静态变量没有初始化操作，则编译器不会为之提供默认的static块。如：

public class Test {   
    public static int _i;   
}  
public class Test { public static int _i; }

其字节码的表现形式为：

public class Test extends java.lang.Object{
public static int _i;

public Test();
Code:
0: aload_0
1: invokespecial #1; //Method java/lang/Object."<init>":()V
4: return

}

由于静态变量是通过赋值操作进行初始化的，因此可以通过静态函数返回值的方式为其初始化。如：

public class Test {   
    public static int _i = init();   
       
    private static int init() {   
        return 10;   
     }   
}  
public class Test { public static int _i = init(); private static int init() { return 10; } }

其本质与下面的代码相同：

public class Test {   
    public static int _i;   
    st