JVM的“无关性”
议论JVM的无关性，次要有一下两个：
- 平台无关性：任何操作系统都能运行Java代码
- 语言无关性：JVM能运行除Java以外的其余代码
Java源代码首先须要应用Java编译期编译成.class文件，而后由JVM执行.class文件，从而程序开始运行。
JVM只意识.class文件，它不关怀是何种语言生成了.class文件，只有.class文件合乎JVM的标准就能运行。目前曾经有JRuby、Jython、Scala等语言可能在JVM上运行。它们有各自的语法规定，不过它们的编译器都能将各自的源码编译成合乎JVM标准的.class文件，从而可能借助JVM运行它们。
Java语言中的各种变量、关键字和运算符号的语义最终都由多条字节码命令组合而成的，因而字节码命令所能提供的语义形容能力必定会比Java语言自身更加弱小。因而，有一些Java语言自身无奈无效反对的语言个性，不代表字节码自身无奈无效反对。
Class文件构造
class文件是二进制文件，它的内容具备严格的标准，文件中没有任何的空格，全都是间断的0/1。Class文件中的所有内容被分为两种类型：无符号数、表。
- 无符号数：无符号数示意Class文件中的值，这些值没有任何类型，但有不同的长度。u1，u2，u4，u8别离代表1/2/4/8字节的无符号数。
- 表：由多个无符号数或者其余表作为数据项形成的复合数据累心。
Class文件具体由以下几个形成：
- 魔数
- 版本信息
- 常量池
- 拜访标记
- 类索引、父类索引、接口索引汇合
- 字段表汇合
- 办法表汇合
- 属性表汇合
魔数
Class文件的头4个字节称为魔数，用来示意这个Class文件的类型。
Class文件的魔数应用16进制示意的“CAFE BABE”
魔数相当于文件后缀名，只不过后缀名容易被批改，不平安，因而在Class文件中标识文件类型比拟适合。
版本信息
紧接着魔数的4个字节是版本信息，5-6字节示意次版本号，7-8字节示意主版本号，它们示意以后Class文件中应用的是哪一个版本的JDK。
高版本的JDK能向下兼容以前版本的Class文件，但不能运行当前版本的Class文件，即便文件格式并未产生任何变动，虚拟机也必须拒绝执行超过其版本号的Class文件。
常量池
版本信息之后就是常量池，常量池中寄存两种类型的常量：
- 字面值常量
字面值常量就是咱们在程序中定义的字符串、被final润饰的值。
- 符号援用
符号援用就是咱们定义的各种名字：类和接口的全限定名、字段的名字和描述符、办法的名字和描述符。
常量池的特点
- 常量池中常量数量不固定，因而常量池结尾搁置一个u2类型的无符号数，用来存储以后常量池的容量。
- 常量池的每一项常量都是一个表，示意开始的第一位是一个u1类型的标记位（tag），代表以后这个常量属于哪种常量类型。
常量池中常量类型
| 类型 | tag | 形容 |
|---|---|---|
| CONSTANT_utf8_info | 1 | UTF-8 编码的字符串 |
| CONSTANT_Integer_info | 3 | 整型字面量 |
| CONSTANT_Float_info | 4 | 浮点型字面量 |
| CONSTANT_Long_info | 5 | 长整型字面量 |
| CONSTANT_Double_info | 6 | 双精度浮点型字面量 |
| CONSTANT_Class_info | 7 | 类或接口的符号援用 |
| CONSTANT_String_info | 8 | 字符串类型字面量 |
| CONSTANT_Fieldref_info | 9 | 字段的符号援用 |
| CONSTANT_Methodref_info | 10 | 类中办法的符号援用 |
| CONSTANT_InterfaceMethodref_info | 11 | 接口中办法的符号援用 |
| CONSTANT_NameAndType_info | 12 | 字段或办法的符号援用 |
| CONSTANT_MethodHandle_info | 15 | 示意办法句柄 |
| CONSTANT_MethodType_info | 16 | 标识办法类型 |
| CONSTANT_InvokeDynamic_info | 18 | 示意一个动静办法调用点 |
对于 CONSTANT_Class_info（此类型的常量代表一个类或者接口的符号援用），它的二维表构造如下：
| 类型 | 名称 | 数量 |
|---|---|---|
| u1 | tag | 1 |
| u2 | name_index | 1 |
tag是标记位，用于辨别常量类型；name_index是一个索引值，它指向常量池中的一个CONSTANT_Utf8_info类型常量，此常量代表这个类（或接口）的全限定名，这里name_index值若为0x0002，也即是指向了常量池中的第二项常量。
CONSTANT_Utf8_info常量的构造如下：
| 类型 | 名称 | 数量 |
|---|---|---|
| u1 | tag | 1 |
| u2 | length | 1 |
| u1 | bytes | length |
tag是以后常量的类型：length示意这个字符串的长度；bytes是这个字符串的内容（采纳缩略的UTF8编码）
拜访标记
在常量池完结之后，紧接着的两个字节代表拜访标记，这个标记用于辨认一些类或者接口档次的访问信息，包含：这个类是Class还是接口：是否定义为public类型；是否被abstract/final润饰。
类索引、父类索引、接口索引汇合
类索引和父类索引都是一个u2类型的数据，而接口索引汇合是一组u2类型的数据的汇合，Class文件中由这三项数据来确定类的继承关系。类索引用于确定这个类的全限定名，父类的索引用于确定父类的全限定类名。
因为Java不容许多重继承，所以父类索引只有一个，除了java.lang.Object之外，所有的Java类都有父类，因而除了java.lang.Object外，所有Java类的父类索引都不为0。一个类可能实现了多个接口，因而用接口索引汇合来形容。这个汇合第一项为u2类型的数据，示意索引表的容量，接下来就是接口的名字索引。
类索引和父类索引用两个u2类型的索引值示意，它们各自指向一个类型为CONSTANT_Class_info的类描述符常量，通过该常量总的索引值能够找到定义在CONSTANT_Utf8_info类型的常量中的全限定名字符串。
字段表汇合
字段表汇合存储本类波及到的成员变量，包含实例变量和类变量，但不包含办法中的局部变量。
每个字段表只示意一个成员变量，本类中的所有成员变量形成了字段表汇合。字段表构造如下：
| 类型 | 名称 | 数量 | 阐明 |
|---|---|---|---|
| u2 | access_flags | 1 | 字段的拜访标记，与类稍有不同 |
| u2 | name_index | 1 | 字段名字的索引 |
| u2 | descriptor_index | 1 | 描述符，用于形容字段的数据类型。 根本数据类型用大写字母示意； 对象类型用“L 对象类型的全限定名”示意。 |
| u2 | attributes_count | 1 | 属性表汇合的长度 |
| u2 | attributes | attributes_count | 属性表汇合，用于寄存属性的额定信息，如属性的值。 |
字段表汇合中不会呈现从父类（或接口）中继承而来的字段，但有可能呈现本来Java代码中不存在的字段，譬如在内部类中为了放弃对外部类的拜访性，会主动增加指向外部类实例的字段。
办法表汇合
办法表构造与属性表相似。
volatile关键字和transition关键字不能润饰办法，所以办法表的拜访标记中没有ACC_VOLATILE和ACC_TRANSIENT标记。
办法表的属性表汇合中有一张Code属性表，用于存储以后办法通过编译器编译后的字节码指令。
属性表汇合
每一个属性对应一张属性表，属性表的构造如下：
| 类型 | 名称 | 数量 |
|---|---|---|
| u2 | attribute_name_index | 1 |
| u4 | attribute_length | 1 |
| u1 | info | attribute_length |
发表回复