类字节码：揭开Java虚拟机运行机制的神秘面纱

概述计算机是不能直接运行java代码的必须要先运行java虚拟机再由java虚拟机运行编译后的java代码。因为在cpu层面看来计算机中所有的操作都是一个个指令的运行汇集而成的java是高级语言只有人类才能理解其逻辑计算机是无法识别的所以java代码必须要先编译成字节码文件jvm才能正确识别代码转换后的指令并将其运行。Java代码间接翻译成字节码储存字节码的文件再交由运行于不同平台上的JVM虚拟机去读取执行从而实现一次编写到处运行的目的。Java字节码文件class文件本质上是一个以8位字节为基础单位的二进制流各个数据项目严格按照顺序紧凑的排列在class文件中。jvm根据其特定的规则解析该二进制数据从而得到相关信息。Class文件的结构属性反编译字节码文件javac 生成字节码文件javap 反编译字节码文件javap用法-help --help -? 输出此用法消息 -version 版本信息 -v -verbose 输出附加信息 -l 输出行号和本地变量表 -public 仅显示公共类和成员 -protected 显示受保护的/公共类和成员 -package 显示程序包/受保护的/公共类 和成员 (默认) -p -private 显示所有类和成员 -c 对代码进行反汇编 -s 输出内部类型签名 -sysinfo 显示正在处理的类的 系统信息 (路径, 大小, 日期, MD5 散列) -constants 显示最终常量 -classpath path 指定查找用户类文件的位置 -cp path 指定查找用户类文件的位置 -bootclasspath path 覆盖引导类文件的位置反编译//Main.java public class Main { private int m; public int inc() { return m 1; } }对以上例子输入命令javap -verbose -p Main.class查看输出内容:Classfile /E:/JavaCode/TestProj/out/production/TestProj/com/rhythm7/Main.class Last modified 2018-4-7; size 362 bytes MD5 checksum 4aed8540b098992663b7ba08c65312de Compiled from Main.java public class com.rhythm7.Main minor version: 0 major version: 52 flags: ACC_PUBLIC, ACC_SUPER Constant pool: #1 Methodref #4.#18 // java/lang/Object.init:()V #2 Fieldref #3.#19 // com/rhythm7/Main.m:I #3 Class #20 // com/rhythm7/Main #4 Class #21 // java/lang/Object #5 Utf8 m #6 Utf8 I #7 Utf8 init #8 Utf8 ()V #9 Utf8 Code #10 Utf8 LineNumberTable #11 Utf8 LocalVariableTable #12 Utf8 this #13 Utf8 Lcom/rhythm7/Main; #14 Utf8 inc #15 Utf8 ()I #16 Utf8 SourceFile #17 Utf8 Main.java #18 NameAndType #7:#8 // init:()V #19 NameAndType #5:#6 // m:I #20 Utf8 com/rhythm7/Main #21 Utf8 java/lang/Object { private int m; descriptor: I flags: ACC_PRIVATE public com.rhythm7.Main(); descriptor: ()V flags: ACC_PUBLIC Code: stack1, locals1, args_size1 0: aload_0 1: invokespecial #1 // Method java/lang/Object.init:()V 4: return LineNumberTable: line 3: 0 LocalVariableTable: Start Length Slot Name Signature 0 5 0 this Lcom/rhythm7/Main; public int inc(); descriptor: ()I flags: ACC_PUBLIC Code: stack2, locals1, args_size1 0: aload_0 1: getfield #2 // Field m:I 4: iconst_1 5: iadd 6: ireturn LineNumberTable: line 8: 0 LocalVariableTable: Start Length Slot Name Signature 0 7 0 this Lcom/rhythm7/Main; } SourceFile: Main.java字节码文件信息开头的7行信息包括:Class文件当前所在位置最后修改时间文件大小MD5值编译自哪个文件类的全限定名jdk次版本号主版本号。然后紧接着的是该类的访问标志ACC_PUBLIC, ACC_SUPER访问标志的含义如下:常量池Constant pool意为常量池。主要存放的是两大类常量字面量(Literal)和符号引用(Symbolic References)。字面量类似于java中的常量概念如文本字符串final常量而符号引用则属于编译原理方面的概念包括以下三种:类和接口的全限定名(Fully Qualified Name)字段的名称和描述符号(Descriptor)方法的名称和描述符常量池与运行时常量池常量池就是一张表如上图中的constant pool虚拟机指令根据这张常量表找到要执行的类名、方法名、参数类型、字面量信息运行时常量池常量池是*.class文件中的当该类被加载以后JVM才进行的动态链接也就是说在运行期转换后它的常量池信息就会放入运行时常量池并把里面的符号地址变为真实地址#1 Methodref #4.#18 // java/lang/Object.init:()V #4 Class #21 // java/lang/Object #7 Utf8 init #8 Utf8 ()V #18 NameAndType #7:#8 // init:()V #21 Utf8 java/lang/Object第一个常量是一个方法定义指向了第4和第18个常量。以此类推查看第4和第18个常量。最后可以拼接成第一个常量右侧的注释内容:java/lang/Object.init:()V这段可以理解为该类的实例构造器的声明由于Main类没有重写构造方法所以调用的是父类的构造方法。此处也说明了Main类的直接父类是Object。 该方法默认返回值是V, 也就是void无返回值。第二个常量同理可得:#2 Fieldref #3.#19 // com/rhythm7/Main.m:I #3 Class #20 // com/rhythm7/Main #5 Utf8 m #6 Utf8 I #19 NameAndType #5:#6 // m:I #20 Utf8 com/rhythm7/Main此处声明了一个字段m类型为I, I即是int类型。关于字节码的类型对应如下对于数组类型每一位使用一个前置的 [ 字符来描述如定义一个java.lang.String[][] 类型的维数组将被记录为 [[Ljava/lang/Strin方法表集合在常量池之后的是对类内部的方法描述在字节码中以表的集合形式表现private int m; descriptor: I flags: ACC_PRIVATE此处声明了一个私有变量m类型为int返回值为intpublic com.rhythm7.Main(); descriptor: ()V flags: ACC_PUBLIC Code: stack1, locals1, args_size1 0: aload_0 1: invokespecial #1 // Method java/lang/Object.init:()V 4: return LineNumberTable: line 3: 0 LocalVariableTable: Start Length Slot Name Signature 0 5 0 this Lcom/rhythm7/Main;这里是构造方法Main()返回值为void, 公开方法。code内的主要属性为:stack: 最大操作数栈JVM运行时会根据这个值来分配栈帧(Frame)中的操作栈深度,此处为1locals: 局部变量所需的存储空间单位为Slot, Slot是虚拟机为局部变量分配内存时所使用的最小单位为4个字节大小。方法参数(包括实例方法中的隐藏参数this)显示异常处理器的参数(try catch中的catch块所定义的异常)方法体中定义的局部变量都需要使用局部变量表来存放。值得一提的是locals的大小并不一定等于所有局部变量所占的Slot之和因为局部变量中的Slot是可以重用的。args_size: 方法参数的个数这里是1因为每个实例方法都会有一个隐藏参数thisattribute_info: 方法体内容0,1,4为字节码行号该段代码的意思是将第一个引用类型本地变量推送至栈顶然后执行该类型的实例方法也就是常量池存放的第一个变量也就是注释里的java/lang/Object.)V, 然后执行返回语句结束方法。LineNumberTable: 该属性的作用是描述源码行号与字节码行号(字节码偏移量)之间的对应关系。可以使用 -g:none 或-g:lines选项来取消或要求生成这项信息如果选择不生成LineNumberTable当程序运行异常时将无法获取到发生异常的源码行号也无法按照源码的行数来调试程序。LocalVariableTable: 该属性的作用是描述帧栈中局部变量与源码中定义的变量之间的关系。可以使用 -g:none 或 -g:vars来取消或生成这项信息如果没有生成这项信息那么当别人引用这个方法时将无法获取到参数名称取而代之的是arg0, arg1这样的占位符。start 表示该局部变量在哪一行开始可见length表示可见行数Slot代表所在帧栈位置Name是变量名称Signature 类型签名方法体内的内容是将this入栈获取字段#2并置于栈顶, 将int类型的1入栈将栈内顶部的两个数值相加返回一个int类型的值。字节码的好处编译型与解释型采用字节码的好处java程序通过编译器编译成字节码文件也就是计算机可以识别的二进制。java虚拟机就是将字节码文件解释成二进制段。采用字节码的最大好处是可以实现一次编译到处运行也就是java的与平台无关性编译型编译型语言open in new window 会通过编译器open in new window将源代码一次性翻译成可被该平台执行的机器码。一般情况下编译语言的执行速度比较快开发效率比较低。常见的编译性语言有 C、C、Go、Rust 等等。解释型解释型语言open in new window会通过解释器open in new window一句一句的将代码解释interpret为机器代码后再执行。解释型语言开发效率比较快执行速度比较慢。常见的解释性语言有 Python、JavaScript、PHP 等等。Java 语言“编译与解释并存”这是因为 Java 语言既具有编译型语言的特征也具有解释型语言的特征。因为 Java 程序要经过先编译后解释两个步骤由 Java 编写的程序需要先经过编译步骤生成字节码.class 文件这种字节码必须由 Java 解释器来解释执行文章转载自Seven原文链接https://www.cnblogs.com/sevencoding/p/19682267体验地址http://www.jnpfsoft.com/?from001YH