JAVA基础之对象的初始化

本文主要记录JAVA中对象的初始化过程，包括实例变量的初始化和类变量的初始化以及 final 关键字对初始化的影响。另外，还讨论了由于继承原因，探讨了引用变量的编译时类型和运行时类型

一，实例变量的初始化

一共有三种方式对实例变量进行初始化：

①定义实例变量时指定初始值

②非静态初始化块中对实例变量进行初始化

③构造器中对实例变量进行初始化

当new对象 初始化时，①②要先于③执行。而①②的顺序则按照它们在源代码中定义的顺序来执行。

当实例变量使用了final关键字修饰时，如果是在定义该final实例变量时直接指定初始值进行的初始化(第①种方式)，则：该变量的初始值在编译时就被确定下来，那么该final变量就类似于“宏变量”，相当于JAVA中的直接常量。

public class Test {
    public static void main(String[] args) {
        final String str1 = "HelloWorld";
        final String str2 = "Hello" + "World";
        System.out.println(str1 == str2);//true
        
        final String str3 = "Hello" + String.valueOf("World");
        System.out.println(str1 == str3);//false
    }
}

第8行输出false，是因为：第7行中str3需要通过valueOf方法调用之后才能确定。而不是在编译时确定。

再来看一个示例：

public class Test {
    
    final String str1 = "HelloWorld";
    final String str2 = "Hello" + "World";
    final String str3;
    final String str4;
    {
        str3 = "HelloWorld";
    }
    {
        System.out.println(str1 == str2);//true
        System.out.println(str1 == str3);//true
//        System.out.println(str1 == str4);//compile error
    }
    public Test() {
        str4 = "HelloWorld";
        System.out.println(str1 == str4);//true
    }
    
    public static void main(String[] args) {
        new Test();
    }
}

把第13行的注释去掉，会报编译错误“The blank final field str4 may not have been initialized”

因为变量str4是在构造器中进行初始化的。而前面提到：①定义实例变量时直接指定初始值(str1 和 str2的初始化)、 ②非静态初始化块中对实例变量进行初始化（str3的初始化）要先于 ③构造器中对实例变量进行初始化。

另外，对于final修饰的实例变量必须显示地对它进行初始化，而不是通过构造器(<clinit>)对之进行默认初始化。

public class Test {
    final String str1;//compile error---没有显示的使用①②③中的方式进行初始化
    String str2;
}

str2可以通过构造器对之进行默认的初始化，初始化为null。而对于final修饰的变量 str1，必须显示地使用 上面提到的三种方式进行初始化。如下面的这个Test.java（一共有22行的这个Test类）

public class Test {
    final String str1 = "Hello";//定义实例变量时指定初始值
    
    final String str2;//非静态初始化块中对实例变量进行初始化
    final String str3;//构造器中对实例变量进行初始化
    
    {
        str2 = "Hello";
    }
    public Test() {
        str3 = "Hello";
    }
    
    public void show(){
        System.out.println(str1 + str1 == "HelloHello");//true
        System.out.println(str2 + str2 == "HelloHello");//false
        System.out.println(str3 + str3 == "HelloHello");//false
    }
    public static void main(String[] args) {
        new Test().show();
    }
}

由于str1采用的是第①种方式进行的初始化，故在执行15行: str1+str1 连接操作时，str1其实相当于“宏变量”

而str2 和 str3 并不是“宏变量”，故16-17行输出false

在非静态初始化代码块中初始化变量和在构造器中初始化变量的一点小区别：因为构造器是可以重写的，比如你把某个实例变量放在无参的构造器中进行初始化，但是在 new 对象时却调用的是有参数的构造器，那就得注意该实例变量有没有正确得到初始化了。

而放在非静态初始化代码块中初始化变量时，不管是调用 有参的构造器还是无参的构造器，非静态初始化代码块都会执行。

二，类变量的初始化

类变量一共有两个地方对之进行初始化：

❶定义类变量时指定初始值

❷静态初始化代码块中进行初始化

不管new多少个对象，类变量的初始化只执行一次。

三，继承对初始化的影响

主要是理解编译时类型和运行时类型的不同，从这个不同中可以看出 this 关键字 和 super 关键字的一些本质区别。

class Fruit{
    String color = "unknow";
    public  Fruit getThis(){
        return this;
    }
    public void info(){
        System.out.println("fruit's method");
    }
}

public class Apple extends Fruit{

    String color = "red";//与父类同名的实例变量
    
    @Override
    public void info() {
        System.out.println("apple's method");
    }
    
    public void accessFruitInfo(){
        super.info();
    }
    public Fruit getSuper(){
        return super.getThis();
    }
    
    //for  test purpose
    public static void main(String[] args) {
        Apple a = new Apple();
        Fruit f = a.getSuper();
        
        //Fruit f2 = a.getThis();
        //System.out.println(f == f2);//true
        
        System.out.println(a == f);//true
        System.out.println(a.color);//red
        System.out.println(f.color);//unknow
        
        a.info();//"apple's method"
        f.info();//"apple's method"
        
        a.accessFruitInfo();//"fruit's method"
    }
}

值得注意的地方有以下几个：

⒈ 第35行 引用变量 a 和 f 都指向内存中的同一个对象，36-37行调用它们的属性时，a.color是red，而f.color是unknow

因为，f变量的声明类型(编译时类型)为Fruit，当访问属性时是由声明该变量的类型来决定的。

⒉ 第39-40行，a.info() 和 f.info()都输出“apple's method”

因为，f 变量的运行时类型为Apple，info()是Apple重载的父类的一个方法。调用方法时由变量的运行时类型来决定。

⒊ 关于 this 关键字

当在29行new一个Apple对象，在30行调用 getSuper()方法时，最终是执行到第4行的 return this

this 的解释是：返回调用本方法的对象。它返回的类型是Fruit类型(见getThis方法的返回值类型)，但实际上是Apple对象导致的getThis方法的调用。故，这里的this的声明类型是Fruit，而运行时类型是Apple

⒋ 关于 super 关键字

super 与 this 是有区别的。this可以用来代表“当前对象”，可用 return 返回。而对于super而言，没有 return super;这样的语句。

super 主要是为了：在子类中访问父类中的属性 或者 在子类中 调用父类中的方法 而引入的一个关键字。比如第24行。

⒌ 在父类的构造器中不要去调用被子类覆盖的方法(Override)，或者说在构造父类对象时，不要依赖于子类覆盖了父类的那些方法。这样很可能会导致初始化的失败(没有正确地初始化对象)

因为：前面第1点和第2点谈到了，对象(变量 )有 声明时类型(编译时类型)和运行时类型。而方法的调用取决于运行时类型。

当new子类对象时，会首先去初始化父类的属性，而此时对象的运行时类型是子类，因此父类的属性的赋值若依赖于子类中重载的方法，会导致父类属性得不到正确的初始化值。示例如下：

    class Fruit{
        String color;
        
        public Fruit() {
            color = this.getColor();//父类color属性初始化依赖于重载的方法getColor
//            color = getColor();
        }
        public String getColor(){
            return "unkonw";
        }
        
        @Override
        public String toString() {
            return color;
        }
    }
    
    public class Apple extends Fruit{
    
        @Override
        public String getColor() {
            return "color: " + color;
        }
        
//        public Apple() {
//            color = "red";
//        }
        
        public static void main(String[] args) {
            System.out.println(new Apple());//color: null
        }
    }

Fruit类的color属性 没有正确地被初始化为"unknow"，而是为 null

主要是因为第5行 this.getColor()调用的是Apple类的getColor方法，而此时Apple类的color属性是直接从Fruit类继承的。

四，参考资料

《疯狂JAVA突破程序员基本功16课》第二章

《Effective Java》第二版第17条