读《深入理解Java虚拟机》- 笔记04

《深入理解Java虚拟机：JVM高级特性与最佳实践》第2版

第6章 类文件结构

32. 常量池中主要存放两大类常量：字面量和符号引用

字面量（Java代码层面的概念）：文本字符串、声明为final的常量值等。

符号引用（编译原理的概念）：类和接口的全限定名、字段的名称和描述符、方法的名称和描述符。

描述符举例：

字段：“Ljava/lang/String” 表示String；

方法："()Ljava/lang/String;"表示String f()，L代表对象类型。

33. 符号引用的作用

当虚拟机运行时，从常量池获得对应的符号引用，再在类创建时或运行时解析、翻译到具体的内存地址中。简而言之用来找对应内存地址。

34. 变量或方法名的最大长度由常量CONSTANT_Utf8_info描述，其最大值为65535。

变量或方法名的最大长度是64KB（64*1000个英文字符）。

35. 接口索引集合

描述一个类实现了哪些接口，这些被实现的接口按 implements 语句（如果这个类本身是一个接口，则应当是extends语句，接口可以多继承）后的接口顺序从左到右排列在接口索引集合中。

36. 方法特征签名

Java代码的方法特征签名只包括了方法名称、参数顺序、参数类型；

相比之下，字节码的特征签名范围更大，还包括方法返回值以及受查异常表。

37. 泛型（伪泛型）

C#泛型无论在程序源码中、编译后的IL中（IntermediateLanguage，中间语言，这时候泛型是一个占位符）或是运行期的CLR中都是切实存在的。List与List就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型被称为真实泛型。 

Java语言中的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经被替换为原生类型 （RawType，也称为裸类型，也即没有了后面的参数），并且在相应的地方插入了强制转型代码。因此对于运行期的Java语言来说，ArrayList与ArrayList就是同一个类。所以说泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型被称为伪泛型。

38. Signature属性

可选的，可以出现于类、属性表和方法表结构的属性表中。在JDK1.5以后，如果泛型签名包含了类型变量或参数化类型，则Signature属性会为它记录泛型签名信息。

39. 字节码指令

Java虚拟机的指令由一个字节长度、代表某种特定操作含义的数字（称为操作数Opcode）以及跟随其后的零至多个代表此操作所需参数（称为操作数Operands）构成。

40. 大部分指令都不支持整数类型byte、char和short，也不支持boolean。

编译器会在编译器或运行期将byte和short类型的数据带符号扩展（Sign-Extend）为相应的int类型数据；将boolean和char类型数据零位扩展（Zero-Extend）为相应的int类型的字节码指令来处理。

相类似地，在处理boolean、byte、short和char类型的数组时，也会转为使用相应的int类型作为运算类型。

---

未完待续...

读《深入理解Java虚拟机》- 笔记01

读《深入理解Java虚拟机》- 笔记02

读《深入理解Java虚拟机》- 笔记03