《深入理解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类型作为运算类型。
未完待续...
