初识JVM-类加载器1

1.前言

每当我们编写一个Java程序的时候都会经历,编写,编译,运行的一个过程。编译的过程是通过Java的编译器来帮我们完成,他帮我们把java文件编译成class二进制进制文件,并保存在硬盘中,但是当我们要运行程序的时候,我们需要将class文件加载进内存,启动JVM虚拟机,虚拟机帮我们开启一个线程,来执行我们编写的代码,而将字节码文件加载进内存的过程就是需要ClassLoader,即类加载器。
在介绍类加载器之前我们先看一段代码。

class Singleton {
    private static Singleton singleton = new Singleton(); //1
    public static int counter1;                           //2
    public static int counter2 = 0;                       //3

    private Singleton() {
        counter1++;
        counter2++;
    }

    public static Singleton getInstance() {
        return singleton;
    }
}

public class ClassLoaderClient {
    public static void main(String[] args) {
        Singleton singleton = Singleton.getInstance();
        System.out.println("counter1 = " + singleton.counter1);
        System.out.println("counter2 = " + singleton.counter2);
    }
}

Singleton类很简单,声明了3个静态变量,对Singleton的构造方法进行了初始化,并且对Singleton进行了单例化。好让我们思考一下在main方法中程序运行的结果是什么?
很多朋友,可能会嗤之以鼻,就会说,这还不简单,很显然,counter1,counter2 结果都为2。可是结果真的是这样吗??我们看一下结果。

// 输出结果
counter1 = 1
counter2 = 0

是不是出乎意料了,嘿嘿,好玩的还在后面,我们将第1行代码和第2,3行对调,就像这样。

public static int counter1;                           
public static int counter2 = 0;                       
private static Singleton singleton = new Singleton(); 

当我们把程序修改成这样之后,程序的运行结果就成这样了。

// 输出结果
counter1 = 1
counter2 = 1

我知道大家心里肯定都充满了疑惑,为什么仅仅是更改了几行代码,输出结果就发生了改变呢?带着这些疑惑,我们学习完下面的内容,“类加载”的相关概念,这个问题就是小菜一碟啦!

2.类加载的过程概述

一般的,一个类的加载要经过三个过程,即 加载 => 连接 => 初始化。而每个过程都需要做一些事情,保证类能够正确的加载进内存,让我们可以正确的使用对象。


类加载的过程.png
  • 1.加载
    查找并加载二进制文件到内存
  • 2.连接
    • 2.1验证:确保被加载类的正确性
    • 2.2准备:为类的静态变量(类变量)分配内存,并为其初始化为默认值,基本数据类型是其默认值,引用数据类型是null。
    • 2.3解析:把类中的符号引用转换为直接引用。
  • 3.初始化
    为类的静态变量赋予正确的初始值。这里的初始值,和连接中的初始值,不是同一个初始值,这里的初始值,是我们自己为该静态变量显式的赋予初始值。
    public static int counter1 = 10 // 将10赋值给counter1就是显示的初始化

3.类加载分析

3.1加载

类的加载指的是类加载器将类的.class文件中的二进制数据读入到内存中,将其放在运行时数 据区的方法区内,然后在堆区创建一个 java.lang.Class对象,用来封装类在方法区内的数据结构,类的加载的最终产品是位于堆区中的 Class对象。Class对象封装了类在方法区内的数据结构 ,并且向Java程序员提供了访问方法区内 的数据结构的接口。Java中的反射机制就是操作堆内存中的java.lang.Class对象。

3.2连接

类被加载后,就进入连接阶段。连接就是 将已经读入到内存的类的二进制数据合并 到虚拟机的运行时环境中去。

3.2.1类的验证

验证就是对Class文件的语法,文法,格式规范进行验证。放置恶意用户对Class文件进行修改,破坏程序的执行。
验证主要包含以下几个步骤。

  • 1类文件的结构检查
    确保类文件遵从Java类文件的固定格式。
  • 2语义检查
    确保类本身符合Java语言的语法规范,比如验证final的类不能被继承,final修饰的方法,子类不能重写等。
  • 3字节码验证
    确保字节码流可以被Java虚拟机安全地执行,字节码流代表Java方法(包括实例方法和静态方法),他是由被称作操作吗的单字节执行组成的序列,每个操作码后都跟随一个或多个操作数(类似汇编语言)。字节码验证步骤会检查每个操作码是否合法,即是否有着合法的操作数。
  • 4二进制兼容性的验证
    确保相互引用的类之间的协调一致,例如,Study类的getoStudy()方法调用Student里的studyEnglish()方法,Java虚拟机在验证Worker类的时候会检查方法去内是否存在Student类的StudyEnglish()方法,加入不存在(比如用Student类用Jdk1.6编译,Study类Jdk1.5编译),就会抛出NoSuchMethodError错误。

3.2.2类的准备

在准备阶段,Java虚拟机为类的静态变量分配内存,并设置默认的初始值。例如下面的Sample类,在类的准备阶段,将int类型的静态变量a分配4个子节的内存空间,并赋予默认值0,为long类型的静态变量b分配8个子节的内存空间,并赋予0

public class Sample {
  private static int a = 1;
  private static long b;
  static {
     b = 2;
  }
}

3.2.3类的连接

在类的解析阶段,Java虚拟机会把类的而精致数据种的符号引用替换为直接引用。例如Study类的gotoStudy方法会引用Student的studyEnglish()方法

public void gotoStudy() {
  student.studyEnglish();
}

在Study类的二进制数据中,包含对Student类studyEnglish()方法的符号引用,它由方法的全名和相关的描述符构成,在解析阶段,Java虚拟机会把这些符号引用用一个指针替换,该指针指向Student类studyEnglish()方法在方法区内的内存位置,这个指针就是直接引用。

3.3初始化

在初始化阶段,java虚拟机执行类的初始化语句,为类的静态变量赋予初始值。在程序中静态变量初始化由两种途径:(1)在静态变量的声明处进行初始化 (2)在静态代码块中进行初始化。例如在以下代码中静态变量a,b就被显示的初始化,而静态变量c没有被显式初始化,它将保持默认值0。

public class Sample {
  private static int a = 1;
  private static long b;
  private static long c;
  static {
     b = 2;
  }
}

3.3.1类初始化步骤

  1. 加入这个类未被加载和连接,那就先进行加载和连接。
  2. 加入这个类存在直接的父类,并且这个父类没有初始化,那么就先初始化父类。
  3. 假如类中存在初始化语句,那就依此执行这些初始化语句。

3.3.2类初始化的时机

而在Java中Class文件的加载还是有条件的并不是,想怎么加载就怎么加载,这样的话可就乱了套了。因此JVM对Class文件的加载时机做了说明。

3.3.2.1Java程序对类的使用分为两种方式。

  1. 主动使用(6种方式)
    所有的Java虚拟机加载Class文件,必须在每个类或接口被Java程序“首次主动使用”时才初始化他们。
    • 创建类的实例。
    • 初始化一个类的子类。
    • 访问某个类或接口的静态变量,或者对该静态变量赋值
    • 调用类的静态方法
    • 反射,如 Class.forName("com.test.user")
    • Java虚拟机启动时被标明为启动类的类,就是通过java命令执行包含main方法的类,如 java Test
// 1.创建类的实例
User user = new User();
        
// 2.初始化一个类的子类
Class Father {}
Class Son extends Father {}
Son son = new Son();
        
// 3.访问类/接口的静态变量,或者对该静态变量赋值
String var1 = StaticClassTest.COUNTER1;
        
// 4.调用类的静态方法
StaticClassTest.method1();
        
// 5.反射
Class<?> aClass = Class.forName("com.test.jvm.AJvm.classLoaderSeq.context.Son");
  1. 被动使用
    除了以上六种情况,其他使用Java类的方 式都被看作是对类的被动使用,都不会导 致类的初始化

3.3.2.2一些注意事项

  • 1.接口的初始化
    当Java虚拟机初始化一个类的时候,要求它的父类都已经被初始化,但这个规则不适用于接口。

    • 在初始化一个类时,并不会初始化它所实现的接口。
    • 在初始化一个接口的时候,并不会初始化它的父接口。

    因此,一个父接口并不会它的子接口或者实现类初始化而初始化,只有程序首次使用特定接口的静态变量。才会导致该接口的初始化。

  • 2.编译时常量
    当一个类中变量被 final static 修饰成为静态常量时,我们再去主动调用该静态常量时,类的初始化的过程就是另一番的结果。

class Test1 {
    static final int cnt = 6 /3;
    static final int times = new Random().nextInt(100);
    static {
        System.out.println("Test Const ClassLoader!");
    }
}
public class ConstClassLoaderTest {
    public static void main(String[] args) {
        System.out.println("value=" + Test1.cnt);
    }
}

输出结果value=2,根据我们前面学习的知识点,应对类进行初始化,也就是说先输出静态代码块的内容再输出 value=2,因为cnt被final修饰,因此程序的运行结果会有些不一样。
对于静态常量cnt来说,java在编译阶段就可以确定该变量的具体数值 因此不需要将该类进内存。而我们把这种静态变量叫做编译时常量。
当把代码修改成这样是程序的运行结果又会不一样。

public class ConstClassLoaderTest {
    public static void main(String[] args) {
        System.out.println("value=" + Test1.times);
    }
}

运行结果

Test Const ClassLoader!
value=41

对于静态常量times来说,java在编译阶段无法确定该变量的具体数值,需要在运行时才能确定, 需要将该类加载进内存进行,初始化后确定该常量的具体数值。

  • 3.只有当程序访问的静态变量或静态方法确 实在当前类或当前接口中定义时,才可以 认为是对类或接口的主动使用
    如何理解这句话呢?我们还是看代码说话。
class Parent1 {
    static int cnt1 = 1;
    static {
        System.out.println("Parent1初始化!");
    }
    static void doSomeThing() {
        System.out.println("Parent1.doSomeThng()!");
    }
}

class Son1 extends Parent1 {
    static {
        System.out.println("Son1初始化!");
    }
}

public class TestClassLoader {
    public static void main(String[] args) {
        System.out.println(Son1.cnt1);
        Son1.doSomeThing();
    }
}

输出结果

Parent1初始化!
cnt1=1
Parent1.doSomeThng()!

为什么Son1的静态代码块没有执行呢?
因为cnt1是从父类继承下来的。并非在当前类(Son类)定义的静态成员/方法,因此Son的静态代码不会执行。

4.结果分析

看完了这些内容我们再分析一个刚开始的那个类的执行结果。

class Singleton {
    private static Singleton singleton = new Singleton(); //1
    public static int counter1;                           //2
    public static int counter2 = 0;                       //3

    private Singleton() {
        counter1++;
        counter2++;
    }

    public static Singleton getInstance() {
        return singleton;
    }
}

public class ClassLoaderClient {
    public static void main(String[] args) {
        Singleton singleton = Singleton.getInstance();
        System.out.println("counter1 = " + singleton.counter1);
        System.out.println("counter2 = " + singleton.counter2);
    }
}
  1. 由"java虚拟机会加载被声明为启动类的类"这条规则可以知道,JVM启动时首先会把ClassLoaderClient类加载进内存。
  2. 程序执行ClassLoaderClient.main()方法的第一条语句Sington.getInstance()获取Singtone类的一个唯一实例。但是getInstance()方法是静态方法,所以JVM会将Sington类加载进内存。会经历加载 => 连接 => 初始化
  3. [连接]中的[准备阶段],会对Sington中静态变量!静态变量!静态变量!进行默认的初始化,赋值情况如下。
private static Singleton singleton = null;
public static int counter1 = 0;
public static int counter2 = 0;  
  1. 然后在初始化阶段对程序进行默认初始化,此时代码中的第一行调用构造函数对Sington实例进行初始化。结果就是
public static int counter1 = 1;
public static int counter2 = 1;  
  1. 最后执行第2,3行代码,counter1未对其进行赋值,所以保持其构造方法对它的赋值1,counter2 则进行了显式的赋值,此时 counter2为0

因此最终结果是。

// 输出结果
counter1 = 1
counter2 = 0

现在我们再来分析第二种情况,将第1行代码和第2,3行代码对调。

public static int counter1;                           
public static int counter2 = 0;                       
private static Singleton singleton = new Singleton(); 

其实前三步的结果是一样的就是从第四部开始有些不一样了。

  • 在初始化阶段,类的初始化顺序和静态变量/静态代码的声明顺序是保持一致的,因此程序的执行流程是这样的。
    1. counter1保持它的默认初始值0
    2. counter2被显式的赋值为0(注意:是初始化阶段的赋值,并非准备阶段的默认值)
    3. 调用new Singleton()构造方法对counter1赋值为1,counter2赋值1

因此最终结果是

// 输出结果
counter1 = 1
counter2 = 1
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 219,366评论 6 508
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,521评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 165,689评论 0 356
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,925评论 1 295
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,942评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,727评论 1 305
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,447评论 3 420
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,349评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,820评论 1 317
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,990评论 3 337
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,127评论 1 351
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,812评论 5 346
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,471评论 3 331
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 32,017评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,142评论 1 272
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,388评论 3 373
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 45,066评论 2 355

推荐阅读更多精彩内容

  • 原文链接:http://iaspecwang.iteye.com/blog/1931043 一.概述 定义:虚拟机...
    晴天哥_王志阅读 6,780评论 1 35
  • 代码编译的结果从本地机器码转变为字节码,是存储格式发展的一小步,确实编译语言发展的一大步。 虚拟机把描述类的数据从...
    胡二囧阅读 956评论 0 0
  • 命运不会亏欠谁,看开了,谁的头顶都有一汪蓝天;看淡了,谁的心中都有一片花海。只有春绿冬黄,你才能感受自然的交替;只...
    罗掌柜real阅读 413评论 0 0
  • 早上7点多打电话给老爸,告诉他我等下会去到他那里,修理下微信掉线。听到老爸欢喜的声音:好的,我等着。心里好庆幸,自...
    朱红霞_7c4f阅读 217评论 1 3
  • 今天星期日,做完作业后我给自己洗手帕,我先把手帕浸湿,接着我给它擦上肥皂,然后揉一揉,再拧一下,再在清水里漂洗了下...
    赵丽丽丫阅读 222评论 0 0