Java对象初始化详解

Posted 2020-06-17

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Java对象初始化详解相关的知识，希望对你有一定的参考价值。

出处：http://blog.jobbole.com/23939/

在Java中，一个对象在可以被使用之前必须要被正确地初始化，这一点是Java规范规定的。本文试图对Java如何执行对象的初始化做一个详细深入地介绍(与对象初始化相同，类在被加载之后也是需要初始化的，本文在最后也会对类的初始化进行介绍，相对于对象初始化来说，类的初始化要相对简单一些)。

1.Java对象何时被初始化

Java对象在其被创建时初始化，在Java代码中，有两种行为可以引起对象的创建。其中比较直观的一种，也就是通常所说的显式对象创建，就是通过 new关键字来调用一个类的构造函数，通过构造函数来创建一个对象，这种方式在java规范中被称为“由执行类实例创建表达式而引起的对象创建”。
当然，除了显式地创建对象，以下的几种行为也会引起对象的创建，但是并不是通过new关键字来完成的，因此被称作隐式对象创建，他们分别是：

● 加载一个包含String字面量的类或者接口会引起一个新的String对象被创建，除非包含相同字面量的String对象已经存在与虚拟机内了(JVM 会在内存中会为所有碰到String字面量维护一份列表，程序中使用的相同字面量都会指向同一个String对象)，比如，

class StringLiteral {
    private String str = "literal";
    private static String sstr = "s_literal";
}

● 自动装箱机制可能会引起一个原子类型的包装类对象被创建，比如，

class PrimitiveWrapper {
    private Integer iWrapper = 1;
}

● String连接符也可能会引起新的String或者StringBuilder对象被创建，同时还可能引起原子类型的包装对象被创建，比如 (本人试了下，在mac ox下1.6.0_29版本的javac，对待下面的代码会通过StringBuilder来完成字符串的连接，并没有将i包装成Integer，因为 StringBuilder的append方法有一个重载，其方法参数是int)，

public class StringConcatenation {
    private static int i = 1;
 
    public static void main(String... args) {
        System.out.println("literal" + i);
    }
}

2.Java如何初始化对象

当一个对象被创建之后，虚拟机会为其分配内存，主要用来存放对象的实例变量及其从超类继承过来的实例变量(即使这些从超类继承过来的实例变量有可能被隐藏也会被分配空间)。在为这些实例变量分配内存的同时，这些实例变量也会被赋予默认值。

引用

关于实例变量隐藏

class Foo {
    int i = 0;
}
 
class Bar extends Foo {
    int i = 1;
    public static void main(String... args) {
        Foo foo = new Bar();
        System.out.println(foo.i);
    }
}

上面的代码中，Foo和Bar中都定义了变量i，在main方法中，我们用Foo引用一个Bar对象，如果实例变量与方法一样，允许被覆盖，那么打印的结果应该是1，但是实际的结果确是0。
但是如果我们在Bar的方法中直接使用i，那么用的会是Bar对象自己定义的实例变量i，这就是隐藏，Bar对象中的i把Foo对象中的i给隐藏了，这条规则对于静态变量同样适用。

在内存分配完成之后，java的虚拟机就会开始对新创建的对象执行初始化操作，因为java规范要求在一个对象的引用可见之前需要对其进行初始化。在Java中，三种执行对象初始化的结构，分别是实例初始化器、实例变量初始化器以及构造函数。

2.1. Java的构造函数

每一个Java中的对象都至少会有一个构造函数，如果我们没有显式定义构造函数，那么Java编译器会为我们自动生成一个构造函数。构造函数与类中定义的其他方法基本一样，除了构造函数没有返回值，名字与类名一样之外。在生成的字节码中，这些构造函数会被命名成<init>方法，参数列表与Java语言书写的构造函数的参数列表相同(<init>这样的方法名在Java语言中是非法的，但是对于JVM来说，是合法的)。另外，构造函数也可以被重载。

Java要求一个对象被初始化之前，其超类也必须被初始化，这一点是在构造函数中保证的。Java强制要求Object对象(Object是 Java的顶层对象，没有超类)之外的所有对象构造函数的第一条语句必须是超类构造函数的调用语句或者是类中定义的其他的构造函数，如果我们即没有调用其他的构造函数，也没有显式调用超类的构造函数，那么编译器会为我们自动生成一个对超类构造函数的调用指令，比如，

public class ConstructorExample {
 
}

对于上面代码中定义的类，如果观察编译之后的字节码，我们会发现编译器为我们生成一个构造函数，如下，

aload_0
invokespecial    #8; //Method java/lang/Object."<init>":()V
return

上面代码的第二行就是调用Object对象的默认构造函数的指令。

正因为如此，如果我们显式调用超类的构造函数，那么调用指令必须放在构造函数所有代码的最前面，是构造函数的第一条指令。这么做才可以保证一个对象在初始化之前其所有的超类都被初始化完成。

如果我们在一个构造函数中调用另外一个构造函数，如下所示，

public class ConstructorExample {
    private int i;
 
    ConstructorExample() {
        this(1);
        ....
    }
 
    ConstructorExample(int i) {
        ....
        this.i = i;
        ....
    }
}

对于这种情况，Java只允许在ConstructorExample(int i)内出现调用超类的构造函数，也就是说，下面的代码编译是无法通过的，

public class ConstructorExample {
    private int i;
 
    ConstructorExample() {
        super();
        this(1);
        ....
    }
 
    ConstructorExample(int i) {
        ....
        this.i = i;
        ....
    }
}

或者，

public class ConstructorExample {
    private int i;
 
    ConstructorExample() {
        this(1);
        super();
        ....
    }
 
    ConstructorExample(int i) {
        ....
        this.i = i;
        ....
    }
}

Java对构造函数作出这种限制，目的是为了要保证一个类中的实例变量在被使用之前已经被正确地初始化，不会导致程序执行过程中的错误。但是，与C 或者C++不同，Java执行构造函数的过程与执行其他方法并没有什么区别，因此，如果我们不小心，有可能会导致在对象的构建过程中使用了没有被正确初始化的实例变量，如下所示，

class Foo {
    int i;
 
    Foo() {
        i = 1;
        int x = getValue();
        System.out.println(x);
    }
 
    protected int getValue() {
        return i;
    }
}
 
class Bar extends Foo {
    int j;
 
    Bar() {
        j = 2;
    }
 
    @Override
    protected int getValue() {
        return j;
    }
}
 
public class ConstructorExample {
    public static void main(String... args) {
        Bar bar = new Bar();
    }
}

如果运行上面这段代码，会发现打印出来的结果既不是1，也不是2，而是0。根本原因就是Bar重载了Foo中的getValue方法。在执行Bar 的构造函数是，编译器会为我们在Bar构造函数开头插入调用Foo的构造函数的代码，而在Foo的构造函数中调用了getValue方法。由于Java对构造函数的执行没有做特殊处理，因此这个getValue方法是被Bar重载的那个getValue方法，而在调用Bar的getValue方法时，Bar的构造函数还没有被执行，这个时候j的值还是默认值0，因此我们就看到了打印出来的0。

2.2. 实例变量初始化器与实例初始化器

我们可以在定义实例变量的同时，对实例变量进行赋值，赋值语句就时实例变量初始化器了，比如，

public class InstanceVariableInitializer {
    private int i = 1;
    private int j = i + 1;
}

如果我们以这种方式为实例变量赋值，那么在构造函数执行之前会先完成这些初始化操作。

我们还可以通过实例初始化器来执行对象的初始化操作，比如，

public class InstanceInitializer {
 
    private int i = 1;
    private int j;
 
    {
        j = 2;
    }
}

上面代码中花括号内代码，在Java中就被称作实例初始化器，其中的代码同样会先于构造函数被执行。

如果我们定义了实例变量初始化器与实例初始化器，那么编译器会将其中的代码放到类的构造函数中去，这些代码会被放在对超类构造函数的调用语句之后 (还记得吗？Java要求构造函数的第一条语句必须是超类构造函数的调用语句)，构造函数本身的代码之前。我们来看下下面这段Java代码被编译之后的字节码，Java代码如下，

public class InstanceInitializer {
 
    private int i = 1;
    private int j;
 
    {
        j = 2;
    }
 
    public InstanceInitializer() {
        i = 3;
        j = 4;
    }
}

编译之后的字节码如下，

aload_0
invokespecial    #11; //Method java/lang/Object."<init>":()V
aload_0
iconst_1
putfield #13; //Field i:I
aload_0
iconst_2
putfield #15; //Field j:I
aload_0
iconst_3
putfield #13; //Field i:I
aload_0
iconst_4
putfield #15; //Field j:I
return

上面的字节码，第4，5行是执行的是源代码中i=1的操作，第6，7行执行的源代码中j=2的操作，第8-11行才是构造函数中i=3和j=4的操作。

Java是按照编程顺序来执行实例变量初始化器和实例初始化器中的代码的，并且不允许顺序靠前的实例初始化器或者实例变量初始化器使用在其后被定义和初始化的实例变量，比如，

public class InstanceInitializer {
    {
        j = i;
    }
 
    private int i = 1;
    private int j;
}
 
public class InstanceInitializer {
    private int j = i;
    private int i = 1;
}

上面的这些代码都是无法通过编译的，编译器会抱怨说我们使用了一个未经定义的变量。之所以要这么做，是为了保证一个变量在被使用之前已经被正确地初始化。但是我们仍然有办法绕过这种检查，比如，

public class InstanceInitializer {
    private int j = getI();
    private int i = 1;
 
    public InstanceInitializer() {
        i = 2;
    }
 
    private int getI() {
        return i;
    }
 
    public static void main(String[] args) {
        InstanceInitializer ii = new InstanceInitializer();
        System.out.println(ii.j);
    }
}