Java类的加载、连接和初始化

Java类的加载、连接和初始化

以下摘抄自《疯狂Java》，因为转载和翻译都需要链接地址，所以只好写成原创，免得麻烦。

1、类的加载

当程序主动使用某个类时，如果该类还未被加载到内存中，则系统会通过加载、连接、初始化三个步骤来对该类初始化。如果没有意外，JVM将会连续完成这三个步骤，所以有时也把这三个步骤统称为类加载或类初始化。

类加载是指将类的class文件读入内存，并为之创建一个java.lang.Class对象，也就是说，当程序中使用任何类时，系统都会为之建立一个java.lang.Class对象。

类的加载由类加载器完成，类加载器通常由JVM提供，这些类加载器也是前面所有程序运行的基础。JVM提供的这些类加载器通常被称为系统类加载器。除此之外，开发者可以通过继承ClassLoader基类来创建自己的类加载器。

通过使用不同的类加载器，可以从不同来源加载类的二进制数据，通常有如下几种来源。

①从本地文件系统加载class文件。

②从JAR包加载class文件，这种方式也是很常见的，前面介绍JDBC编程时用到的数据库驱动类就放在JAR文件中，JVM可以从JAR文件中直接加载该class文件。

③通过网络加载class文件。

④把一个java源文件动态编译，并执行加载。

类加载器通常无需等到“首次使用”该类时才加载该类，java虚拟机规范允许系统预先加载某些类。

2、类的连接

当类被加载之后，系统为之生成一个对应的Class对象，接着将会进入连接阶段，连接阶段负责把类的二进制数据合并到JRE中。类的连接又可以分为如下三个阶段。

（1）验证：验证阶段用于检验被加载的类是否有正确的内部结构，并和其他类协调一致。

（2）准备：类准备阶段则负责为类的类变量分配内存，并设置默认初始值。

（3）解析：将类的二进制数据中的符号引用替换为直接引用。

3、类的初始化

在类的初始化阶段，虚拟机负责对类进行初始化，主要就是对类变量进行初始化。在Java类中对类变量指定初始值有两种方式：①声明类变量时指定初始值；②使用静态初始化块为类变量指定初始化值。例如下面代码片段。

public class Test {
    //声明变量a时指定初始值
    static int a = 5;
    static int b;
    static int c;
    {
        //使用静态初始化块为变量b指定初始值
        b = 6;
    }
}

对于上面的代码块，程序为类变量a、b都显示指定了初始值，所以这两个类变量的值分别为5、6，但类变量 c 则没有指定初始值，它将采用默认初始值0.

声明变量时指定初始值，静态初始化块都将被当成类的初始化语句，JVM会按这些语句在程序中的排列顺序依次执行他们 ，例如下面的类。

public class Test {
    {
        //使用静态初始化块为变量b指定初始值
        b = 6;
        System.out.println("================");
    }
    //声明变量a时指定初始值
    static int a = 5;
    static int b = 9;       //①
    static int c;
    public static void main(String[] args) {
        System.out.println(Test.b);
    }
}

上面代码先在静态初始化块中为b变量赋值，此时类变量b的值为6；接着程序向下执行，执行到①号代码处，这行代码也属于该类的初始化语句，所以程序再次为类变量b赋值。也就是说，当Test类初始化结束后，该类的类变量b的值为9。

JVM初始化一个类包含如下几个步骤。

①假如这个类还没有被加载和连接，则程序先加载并连接该类。

②假如这类的直接父类还没有被初始化，则先初始化其直接父类。

③加入类中有初始化语句，则系统依次执行这些初始化语句。

当执行第2个步骤时，系统对直接父类的初始化步骤也遵循此步骤1~3；如果该直接父类又有直接父类，则系统再次重复这三个步骤来先初始化这个父类……，依此类推，所以JVM最先初始化的总是java.lang.Object类。当程序主动使用任何一个类时，系统会保证该类以及所有父类（包括直接父类和间接父类）都会被初始化。

4、类初始化的时机

当java程序首次通过下面6种方式来使用某个类或接口时，系统就会初始化该类或接口。

1、创建类的实例。为某个类创建实例的方式包括：使用new操作符来创建实例，通过反射来创建实例，通过反序列化的方式来创建实例。

2、调用某个类的类方法（静态方法）。

3、访问某个类或接口的类变量，或为该类变量赋值。

4、使用反射方式来强制创建某个类或接口对应的java.lang.Class对象。例如代码：Class.forName(“Person”)，如果系统还未初始化Person类，则这行代码将会导致该Person类被初始化，并返回Person类对应的java.lang.Class对象。

5、初始化某个类的子类。当初始化某个类的子类时，该子类的所有父类都会被初始化。

6、直接使用java.exe命令来运行某个主类。当运行某个主类时，程序会先初始化该主类。

除此之外，下面几种情形需要特别指出。

对于一个final型的类变量，如果该类变量的值在编译时就可以确定下来，那么这个类变量相当于"宏变量"。java编译器会在编译时直接把这个类变量出现的地方替换成它的值，因此即使程序使用该静态类变量，也不会导致该类的初始化。例如下面示例程序的结果。

class MyTest {
    static {
        System.out.println("静态初始化块。。。");
    }
    //使用一个字符串直接量为static final的类变量赋值
    static final String compileConstant = "疯狂java讲义";
}

public class CompileConstantTest{
    public static void main(String[] args) {
        //访问、输出MyTest中的compileConstant类变量
        System.out.println(MyTest.compileConstant);//①
    }
}

上面的程序MyTest类中有一个compileConstant的类变量，该类变量使用了final修饰，而且它的值可以在编译时确定下来，因此compileConstant会被当成"宏变量"处理。程序中所有使用compileConstant的地方都会在编译时直接替换成它的值——也就是说，上面程序中①处的代码在编译时就会被替换成"疯狂java讲义"，所以①行代码不会导致初始化MyTest类。

当某个类变量（也叫静态变量）实用类final修饰符，而且它的值可以在编译时就确定下来，那么程序其他地方使用该类变量时，实际上并没有使用该类变量，而是相当于使用常量。

反之，如果final修饰的类变量的值不能在编译时确定下来，则必须等到运行时才可以确定该类变量的值，如果通过该类来访问它的类变量，则会导致该类被初始化。例如将上面程序中定义compileConstant的代码改为如下：

//采用系统当前时间为static final类变量赋值
static final String compileConstant = System.currentTimeMillis()+"";

因为上面定义的类变量compileConstant类变量的值必须在运行时才可以确定，所以①处的粗体字代码必须保留为对MyTest类的类变量的引用，这行代码就变成了使用MyTest的类变量，这将导致MyTest类被初始化。

当使用CalssLoader类的loadClass()方法来加载某个类时，该方法只是加载该类，并不会执行该类的初始化。使用Class的forName()静态方法才会导致强制初始化该类。例如如下代码。

class Tester{
    static {
        System.out.println("Tester类的静态初始化块。。。");
    }
}

public class ClassLoaderTest{
    public static void main(String[] args) throws ClassNotFoundException {
        ClassLoader cl = ClassLoader.getSystemClassLoader();
        //下面语句仅仅时加载Tester类
        cl.loadClass("Tester");//①
        System.out.println("系统加载Tester类");
        //下面语句才会初始化Tester类
        Class.forName("Tester");//②
    }
}

上面程序中的①②处的两行代码都用到了Tester类，但①处代码只是加载Tester类，并不会初始化Tester类。运行上面程序，会看到如下运行结果：

系统加载Tester类
Tester类的静态初始化块。。。

从上面运行结果可以看出，必须等到执行Class.forName(“Tester”)时才完成对Tester类的初始化。