深入理解JVM 一字节码详解

今天继续总结JVM,计划本周完成这个系列的整理、总结。
本节内容枯燥,胆小者勿入!

Write Once,Run Anywhere——byteCode

byteCode 平台无关
java通过存储编译后的字节码,并将字码加载到JVM中,实现了java语言的跨平台。字节码是平台中立的代码存储格式,任意一个平台只要安装了JRE(跟平台有关),那么程序就是可以运行的。
这里写图片描述

byteCode 语言无关
除此之外,更值得注意的是字节码不仅是平台无关的,也同样是语言无关的,并不是说只有java语言才能生成byteCode,byteCode比java语言有着更强的描述性,而且JVM不与语言进行绑定,所以其他语言(Jython,groovy等),也是可以通过编译为byteCode运行在JVM中的。
这里写图片描述

Class文件

类文件 {
   0xCAFEBABE,小版本号,大版本号,常量池大小,常量池数组,
   访问控制标记,当前类信息,父类信息,实现的接口个数,实现的接口信息数组,域个数,
   域信息数组,方法个数,方法信息数组,属性个数,属性信息数组
}

一个byteCode文件(.class)一定对应一个java接口或者类,但是一个java接口或者类不一定对应一个.class文件,也有可能只在内存中生成。

一个class文件是一个以Byte为基础单位的二进制流,各项数据、指令紧凑的排列,中间没有任何分隔符、间隙。

这里写图片描述

javap -verbose 执行后的可视byteCode:

public class com.zs.jvm.byteCode.TestClass
  minor version: 0
  major version: 51
  flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
   #1 = Class              #2             // com/zs/jvm/byteCode/TestClass
   #2 = Utf8               com/zs/jvm/byteCode/TestClass
   #3 = Class              #4             // java/lang/Object
   #4 = Utf8               java/lang/Object
   #5 = Utf8               m
   #6 = Utf8               I
   #7 = Utf8               <init>
   #8 = Utf8               ()V
   #9 = Utf8               Code
  #10 = Methodref          #3.#11         // java/lang/Object."<init>":()V
  #11 = NameAndType        #7:#8          // "<init>":()V
  #12 = Utf8               LineNumberTable
  #13 = Utf8               LocalVariableTable
  #14 = Utf8               this
  #15 = Utf8               Lcom/zs/jvm/byteCode/TestClass;
  #16 = Utf8               inc
  #17 = Utf8               ()I
  #18 = Fieldref           #1.#19         // com/zs/jvm/byteCode/TestClass.m:I
  #19 = NameAndType        #5:#6          // m:I
  #20 = Utf8               SourceFile
  #21 = Utf8               TestClass.java
{
  public com.zs.jvm.byteCode.TestClass();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #10                 // Method java/lang/Object."<init>":()V
         4: return
      LineNumberTable:
        line 3: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcom/zs/jvm/byteCode/TestClass;

  public int inc();
    descriptor: ()I
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
         0: aload_0
         1: getfield      #18                 // Field m:I
         4: iconst_1
         5: iadd
         6: ireturn
      LineNumberTable:
        line 7: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       7     0  this   Lcom/zs/jvm/byteCode/TestClass;
}

byteCode只存在两种数据类型:无符号数字 与 表。
无符号数字:
基本的数据类型,以u1、u2、u4、u8来分别代表1个字节,2个字节、4个字节,8个字节的无符号数字。无符号数字用来描述数字、索引引用、数据值、UTF-8编码的字符串值。

表:由无符号数字或者表构成的复合数据类型。表通常以”_info”结尾。class文件本质上就是一个表,如下图
这里写图片描述
从头到尾一项项来看:
magic:
一个4byte的无符号数字,用来确认当前文件是否是class格式文件,是否可以被jvm接收。
minor_version、major_version:
用来判断当前编译的byteCode所属JDK版本号,JDK向下兼容.
constant_pool_count:
用来记录常量池中数据类型的个数。最大值为22(1-22),也就是说常量池总共有21中数据类型。
constant_pool:
常量池 通常存储两种数据:
字面量(litera),如字符串,final常量等
符号引用(Symblic Reference),如类、接口的全限定名称、字段的名称和描述、方法的名称和描述。

常量池中的21项常量

access_flag:
用来描述类或接口的访问类型、修饰符等。方法内部也会有这个字段用来描述方法的修饰关键字
这里写图片描述

this class、super_class、interfaces_count、interfaces
这几个无符号数字,用来描述当前class所属的类型、父类、接口等继承与实现信息

* 字段段表集合 field_info fields*
这个表用于描述接口或类中声明的变量,但不包括方法中的局部变量。
field_info具体结构,如下:

这里写图片描述

access_flags与之前说过,只是这里的access_flag针对成员变量(类级别的变量),用来描述这个方法是否使用了final、static、volatile等关键字修饰。
name_index\descriptor_index这两个都是对ConstantPool的引用。

name_index:用来描述成员变量的简单名称,如int indexOf(…)这个方法,name_index在常量池中对应的描述字符串为:“indexOf”

descriptor_index:参数列表、返回值等。
这里写图片描述

对于数组类型,每一维度将使用一个前置的“[”字符来描述,如一个定义为“java.lang.String[][]”类型的二维数组,
将被记录为:“[[Ljava/lang/String;”,一个整型数组“int[]”将被记录为“[I”。

如:

int indexOf(char[]source,int sourceOffset,int sourceCount,char[]target,int targetOffset,int
targetCount,int fromIndex)

描述为:([CII[CIII)I。
注意顺序:“参数列表 返回类型”

方法表集合 method_info methods
与字段表集合类似,结构如下:
这里写图片描述

attribute_info后文详细描述。

https://kastor.opaak.org/articles/69-0xcafebabe-java-class-file-format-an-overview.htmlo

属性表集合 attribute_info
class文件本身、方法表(methods_info)、属性表(fields_info)都可以携带属性表(attribute_info),用来描述某些信息。

attribute_info属性表预定义属性如下(不完全):
这里写图片描述
这里写图片描述

属性表结构:
这里写图片描述

待续。。。

展开阅读全文
©️2020 CSDN 皮肤主题: 点我我会动 设计师: 上身试试 返回首页
实付0元
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值