Java类初始化和实例化中的2个“雷区”

在考虑类初始化时,我们都知道进行子类初始化时,如果父类没有初始化要先初始化子类。然而事情并没有一句话这么简单。
首先看看Java中初始化触发的条件:

(1)在使用new实例化对象,访问静态数据和方法时,也就是遇到指令:new,getstatic/putstatic和invokestatic时;
(2)使用反射对类进行调用时;
(3)当初始化一个类时,父类如果没有进行初始化,先触发父类的初始化;
(4)执行入口main方法所在的类;
(5)JDK1.7动态语言支持中方法句柄所在的类,如果没有初始化触发起初始化;

经过编译后生成一个<clinit>方法,类的初始化就在这个方法中进行,该方法只执行,由JVM保证这一点,并进行同步控制;
其中条件(3),从方法调用的角度来看,是子类的<clinit>会在开始时递归的调用父类的<clinit>,这类似与我们在子类构造器中必须首先调用父类的构造器;
但需要注意的是“触发”并不是完成初始化,这意味着有可能子类的初始化会提前于父类初始化结束,这就是“危险”的所在。

1. 一个类初始化的例子:
这个例子我使用一个外围类包含2个有继承关系的静态成员类,因为外围类的初始化和静态成员类没有因果关系,因此这样展示是安全和方便的;
父类A和子类B分别包含main函数,由上面的触发条件(4)可知,通过分别调用这个两个main函数来触发不同的类初始化路径;
这个例子的问题在于父类包含子类的static引用并在定义处进行初始化的问题:

public class WrapperClass {
  private static class A {
    static {
      System.out.println("类A初始化开始...");
    }
    //父类包含子类的static引用
    private static B b = new B();
    protected static int aInt = 9; 

    static {
      System.out.println("类A初始化结束...");
    } 

    public static void main(String[] args) { 

    }
  } 

  private static class B extends A {
    static {
      System.out.println("类B初始化开始...");
    }
    //子类的域依赖于父类的域
    private static int bInt = 9 + A.aInt; 

    public B() {
      //构造器依赖类的static域
      System.out.println("类B的构造器调用 " + "bInt的值" + bInt);
    } 

    static {
      System.out.println("类B初始化结束... " + "aInt的值:" + bInt);
    } 

    public static void main(String[] args) { 

    }
  }
}

情景一:入口为类B的main函数时输出结果:

/**
   * 类A初始化开始...
   * 类B的构造器调用 bInt的值0
   * 类A初始化结束...
   * 类B初始化开始...
   * 类B初始化结束... aInt的值:18
   */

分析:可以看到,main函数的调用触发了类B的初始化,进入类B的<clinit>方法,类A作为其父类先开始初始化进入了A的<clinit>方法,其中有一个语句new B();这时会进行B的实例化,这是已经在类B的<clinit>中了,main线程已经获得锁开始执行类B的<clinit>,我们开头说过JVM会保证一个类的初始化方法只被执行一次,JVM收到new指令后不会再进入类B的<clinit>方法而是直接进行实例化,但是此时类B还没有完成类初始化,所以可以看到bInt的值为0(这个0是类加载中准备阶段分配方法区内存后进行的置零初始化);
因此,可以得出,再父类中包含子类类型的static域并进行赋值动作,会可能导致子类实例化在类初始化完成前进行;

情景二:入口为类A的main函数时输出结果:

/**
   * 类A初始化开始...
   * 类B初始化开始...
   * 类B初始化结束... aInt的值:9
   * 类B的构造器调用 bInt的值9
   * 类A初始化结束...
   */

分析:经过情景一的分析,我们知道,由类B的初始化触发类A的初始化,会导致类A中类变量b的实例化在类B初始化完成前进行,那如果先初始化类A是不是就可以在类变量实例化的时候先触发类B的初始化,从而使得初始化在实例化前呢?答案是肯定的,但是这仍然有问题。
根据输出,可以看到,类B的初始化在类A的初始化完成前进行了,这导致了像类变量aInt的变量在类B初始化完成后才进行初始化,所以类B中的域bInt获取到的aInt的值是“0”,而不是我们预期的“18”;

结论:综上,可以得出,在父类中包含子类类型的类变量,并在定义出进行实例化是非常危险的行为,具体情况可能不会向例子一样直白,调用方法在定义处赋值一样隐含着危险,即使要包含子类类型的static域,也应该通过static方法进行赋值,因为JVM可以保证在static方法调用前完成所有的初始化动作(当然这种保证也是你不应该包含static B b = new B();这样的初始化行为);

2. 一个实例化的例子:
首先需要知道对象创建的过程:
(1)遇到new指令,检查类是否完成了加载,验证,准备,解析,初始化(解析过程就是符号引用解析成直接引用,比如方法名就是一个符号引用,可以在初始化完成后使用这个符号引用的时候进行,正是为了支持动态绑定),没有完成先进行这些过程;
(2)分配内存,采用空闲列表或者指针碰撞的方法,并将新分配的内存“置零”,因此所有的实例变量在此环节都进行了一次默认初始化为0(引用为null)的过程;
(3)执行<init>方法,包括检查调用父类的<init>方法(构造器),实例变量定义出的赋值动作,实例化器顺序执行,最后调用构造器中的动作。

这个例子可能更为大家所熟知,也就是它违反了“不要在构造器,clone方法和readObject方法中调用可被覆盖的方法”。其原因就在于Java中的多态,也就是动态绑定。
父类A的构造器中包含一个protected方法,类B是其子类。

public class WrongInstantiation {
  private static class A {
    public A() {
      doSomething();
    } 

    protected void doSomething() {
      System.out.println("A's doSomething");
    }
  } 

  private static class B extends A {
    private int bInt = 9; 

    @Override
    protected void doSomething() {
      System.out.println("B's doSomething, bInt: " + bInt);
    }
  } 

  public static void main(String[] args) {
    B b = new B();
  }
}

输出结果:

/**
   * B's doSomething, bInt: 0
   */

分析:首先需要知道,在没有显示提供构造器时Java编译器会生成默认构造器,并在开始处调用父类的构造器,因此类B的构造器开始会先调用类A的构造器。
类A中调用了protected方法doSomething,从输出结果中我们看到实际上调用的是子类的方法实现,而此时子类的实例化还未开始,因此bInt并没有如“预期”那样是9,而是0;
这就是由于动态绑定,doSomething是一个protected方法,因此它是通过invokevirtual指令调用的,该指令根据对象实例的类型找到对应的方法实现(这里就是B的实例对象,对应方法就是类B的方法实现)执行,故而有此结果。

结论:正如前面说的“不要在构造器,clone方法和readObject方法中调用可被覆盖的方法”。

以上就是为大家介绍的Java类初始化和实例化中的2个“雷区”,希望对大家的学习有所帮助。

(0)

相关推荐

  • spring实例化javabean的三种方式分享

    第一种:直接配置javabean文件 bean.xml 复制代码 代码如下: <bean id="sayhello" class="test.service.impl.HelloBean"/> personDao.java 复制代码 代码如下: package springdao;public class personDao { private String name; private String dep; public String getName(

  • Java实例化类详解

    Java 中实例化类的动作,你是否还是一成不变 new 对应对象呢? 经手的项目多了,代码编写量自然会增加,渐渐的会对设计模式产生感觉. 怎样使书写出来的类实例化动作,高内聚,低耦合,又兼具一定的扩展能力呢? 本文试图从几段鲜活的代码入手,给大家呈现不一样的 Java 实例化类. 下面代码取自 com.google.zxing 源码实现: public BitMatrix encode(String contents, BarcodeFormat format, int width, int h

  • java 实例化类详解及简单实例

     Java 实例化类的方法 Java中,类的实例化方法有四种途径: 1)使用new操作符 2)调用Class对象的newInstance()方法 3)调用clone()方法,对现有实例的拷贝 4)通过ObjectInputStream的readObject()方法反序列化类 1.ClassInstance.java import java.io.*; class ClassInstance implements Cloneable, Serializable { private String s

  • Java实例化的几种方法总结

    Java实例化的几种方法总结 Java创建有四种方式: (1)用new 语句创建对象,这是最常用的创建对象方法. (2)运用反射手段,调用Java.lang.Class或者java.lang.reflect.Constructor类的newInstance()实例方法. (3)调用对象的clone()方法 (4)运用反序列化手段,调用java.io.ObjectInputStream对象的readObject()方法. 1.用new语句创建对象 User user = new User(); 2

  • Java类初始化和实例化中的2个“雷区”

    在考虑类初始化时,我们都知道进行子类初始化时,如果父类没有初始化要先初始化子类.然而事情并没有一句话这么简单. 首先看看Java中初始化触发的条件: (1)在使用new实例化对象,访问静态数据和方法时,也就是遇到指令:new,getstatic/putstatic和invokestatic时: (2)使用反射对类进行调用时: (3)当初始化一个类时,父类如果没有进行初始化,先触发父类的初始化: (4)执行入口main方法所在的类: (5)JDK1.7动态语言支持中方法句柄所在的类,如果没有初始化

  • Java类初始化执行流程解析

    测试代码: package com.test.ClassLaoderTest; public class test1 { public static String s_variable = "静态变量"; public String init_variable = "公开的变量"; private String p_variable = "私有的变量"; //静态代码块 static { System.out.println(s_variable

  • 通过实例解析Java类初始化和实例初始化

    一.背景: 存在类Father和类Son,其中类Son继承了Father类. 1.父类Father代码 2.子类Son代码 *初始化包括? 成员变量赋初值.代码块.构造器 注意方法是被调用的,有人调用它它才执行相应的东西. 二.类初始化 在一开始,注释掉main方法中的代码,执行结果如下. 类初始化: 1.创建实例需要先加载并初始化该类 此处main方法所在的类需要先加载并初始化 2.子类初始化要先初始化其父类 3.类初始化即是执行clinit(ClassInit)方法 A.(静态!)分为 静态

  • Java类初始化时机测试方法解析

    <clinit>()方法 Java 类加载的初始化过程中,编译器按语句在源文件中出现的顺序,依次自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并产生方法. 如果类中没有静态语句和静态代码块,那可以不生成<clinit>() 方法. 并且 <clinit>() 不需要显式调用父类(接口除外,接口不需要调用父接口的初始化方法,只有使用到父接口中的静态变量时才需要调用)的初始化方法 <clinit>(),虚拟机会保证在子类的 <clinit>

  • Java类继承关系中的初始化顺序实例详解

    本文实例讲述了Java类继承关系中的初始化顺序.分享给大家供大家参考,具体如下: Java类初始化的顺序经常让人犯迷糊,现在本文尝试着从JVM的角度,对Java非继承和继承关系中类的初始化顺序进行试验,尝试给出JVM角度的解释. 非继承关系中的初始化顺序 对于非继承关系,主类InitialOrderWithoutExtend中包含了静态成员变量(类变量)SampleClass 类的一个实例,普通成员变量SampleClass 类的2个实例(在程序中的顺序不一样)以及一个静态代码块,其中静态代码块

  • 在JavaScript中调用Java类和接口的方法

    前言 本文中所有的代码使用 JavaScript 编写,但你也可以用其他兼容 JSR 223 的脚本语言.这些例子可作为脚本文件也可以在交互式 Shell 中一次运行一个语句的方式来运行.在 JavaScript 中访问对象的属性和方法的语法与 Java 语言相同. 本文包含如下几部分: 1.访问 Java 类 为了在 JavaScript 中访问原生类型或者引用 Java 类型,可以调用 Java.type() 函数,该函数根据传入的完整类名返回对应对象的类型.下面代码显示如何获取不同的对象类

  • 简单了解java类的初始化以及类的实例化

    前言 上一篇我们知道了一个类的生命周期是:加载->验证->准备->解析->初始化->使用->卸载. 当初始化完成以后,一个类所有的类变量(被static修饰的变量)都被赋值.但是未被static修饰的成员变量又是何时被赋值的呢? 一个类何时会被初始化 一个类何时被初始化可以分为以下几类: 1.创建类的实例(new). 2.访问某个类或接口的静态变量,或者对该静态变量赋值. 3.调用类的静态方法. 4.通过反射方式执行以上三种行为. 5.初始化子类的时候,会触发父类的初始

  • 浅谈Java 类中各成分加载顺序和内存中的存放位置

    一.什么时候会加载类? 使用到类中的内容时加载:有三种情况 1.创建对象:new StaticCode(); 2.使用类中的静态成员:StaticCode.num=9;  StaticCode.show(); 3.在命令行中运行:java StaticCodeDemo 二.类所有内容加载顺序和内存中的存放位置 利用语句进行分析: 1.Person p=new Person("zhangsan",20); 该句话所做的事情: 1.在栈内存中,开辟main函数的空间,建立main函数的变量

  • Java类获取Spring中bean的5种方式

    获取Spring中的bean有很多种方式,再次总结一下: 第一种:在初始化时保存ApplicationContext对象 ApplicationContext ac = new FileSystemXmlApplicationContext("applicationContext.xml"); ac.getBean("beanId"); 说明:这种方式适用于采用Spring框架的独立应用程序,需要程序通过配置文件手工初始化Spring. 第二种:通过Spring提供

  • 在Spring中基于Java类进行配置的完整步骤

    前言 JavaConfig 原来是 Spring 的一个子项目,它通过 Java 类的方式提供 Bean 的定义信息,在 Spring4 的版本, JavaConfig 已正式成为 Spring4 的核心功能 . 本文将详细介绍关于Spring中基于Java类进行配置的相关内容,下面话不多说了,来一起看看详细的介绍吧 1 定义 Bean 普通的 POJO 只要标注了 @Configuration 注解,就可以为 Spring 容器提供 Bean 的定义信息. @Configuration pub

随机推荐