Java中static块的本质（1）

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

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 = 10;
}

那么上述两例在本质上有什么区别吗？回答是没有区别。两例代码编译之后的字节码完全一致。

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

public class Test {
    public static int _i;
}

问题2：JDK如何处理static块

类定义中可以存在多个static块吗？回答是可以。如：

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

观察static{}部分可以看出，上例的代码与下面的代码效果一致：

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

此例可以证明，不仅类定义中可以有多个static块，而且在编译时编译器会将多个static块按照代码的前后位置重新组合成一个static块。

问题3：如何看待静态变量的声明

静态变量存放在常量池之中。

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

静态变量被保存到常量池中的工作原理这里不深入讨论。在此需要注意的是：

• 静态变量的声明与初始化是两个不同的操作；
• 静态变量的声明在编译时已经明确了内存的位置。

如：

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

上述代码的本质可以视为：

public class Test {
    // 静态变量的声明
    public static int _i;
    // 静态变量的初始化
    static {
        _i = 10;
    }
}

由于静态变量的声明在编译时已经明确，所以静态变量的声明与初始化在编码顺序上可以颠倒。也就是说可以先编写初始化的代码，再编写声明代码。如：

public class Test {
    // 静态变量的初始化
    static {
        _i = 10;
    }
    
    // 静态变量的声明
    public static int _i;
}

对初始问题的解答

解答了上述三个问题，让我们再来看看开篇提到的问题。代码如下：

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;
    static {
        _i = 10;
    }
    
    public static void main(String[] args) {
        System.out.println(_i);
    }
}

再简化一下，可以表示为：

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

至此，代码已经明确告诉我们打印结果是什么了！