Java虚拟机（十四）--类变量解析

在ClassFileParser:parseClassFile()函数中，解析完常量池、父类和接口之后，就会调用parse_fields（）函数解析类变量信息。
在解析前，会定义一个变量fac，这是一个结构体类型，用于存储各种字段的数量。

struct FieldAllocationCount{
	unsigned int static_oop_count; //引用类型
	unsigned int static_byte_count; //字节类型
	unsigned int static_short_count; //短整型
	unsigned int static_word_count; //双字类型
	unsigned int static_double_count; //浮点型
	unsigned int nonstatic_oop_count;
	unsigned int nonstatic_byte_count;
	unsigned int nonstatic_short_count;
	unsigned int nonstatic_word_count;
	unsigned int nonstatic_double_count;
}

jvm内部的类型比Java本身要少。

统计完各种字段的数量之后，计算每个变量的偏移量。

	计算偏移量与静态变量的存储机制和访问机制有关，对于jdk1.6而言，静态变量存储在Java类在
jvm中所对应的镜像类mirror中。当Java代码访问静态变量时，最终jvm也是通过偏移量来访问的。

先拿到起始偏移量，然后根据各种静态类型变量的偏移量计算总偏移量。计算顺序是：

1. static_oop
2. static_double
3. static_word
4. static_short
5. static_byte

再拿到非静态字段的起始偏移量（需要加上父类非静态字段的字节总数），计算出各种类型的非静态字段的偏移量。然后计算出非静态变量所需要的内存空间大小（需要对齐补白空间）。
最后，计算每个字段具体的偏移量。

---

内存对齐：如果一个变量的内存起始地址正好等于其长度的整数倍，则这种内存分配就被称作自然对齐。
为什么要内存对齐？现代计算机中内存按照字节划分的，也即内存的粒度细分到存储单元，而一个存储单元恰恰包含8个比特，也就是1字节。理论上讲似乎对任何类型的变量的访问可以从任何地址开始。但是，实际上各个硬件平台在对存储空间的处理上有很大的不同。一些平台对某些特定类型的数据只能从特定地址开始存取。例如有些架构的CPU在访问一个没有对齐的变量时会发生错误，那么在这种架构下进行编程就必须保证字节对齐。
即使有些平台支持非对齐内存位置的数据读写，硬件不会抛出异常，但是最常见的是，如果不按照平台要求对数据存放对齐，会在存储效率上有损失。
高级语言，编译器或者虚拟机会自动对齐，不需要开发者考虑。

jvm为了保证内存对齐，不仅使用了补白，还使用了字段重排。

重排策略：

• 相同类型的字段组合在一起
• 按照double->word->short->byte-oop的顺序依次分配

---

计算变量偏移量时，如果虚拟机开启了指针压缩，那么对象头后面的4个字节也可能存储类变量（int,short,byte,oop）。

任何对象都是以8字节为粒度对齐的。如果父类字段没有用完8字节或者jvm开启了指针压缩策略时，会填充（int,short,byte,oop）。

父类的私有变量也会存储在子类的内存空间，只是子类不能直接使用。

Java类在堆内存中的内存空间主要由非静态字段占据，Hotspot解析Java类非静态字段和分配堆内存空间主要有以下几步：

1. 解析常量池，统计Java类中非静态字段的总数量，按照5大类型分别统计
2. 计算Java类字段的起始偏移量，其实偏移位置从父类继承的字段域末尾开始
3. 按照分配策略，计算每一个类型的其实偏移量
4. 以5大类型的起始偏移量为基准，计算每一个大类型下各个具体字段的偏移量
5. 计算Java类在堆内存中所需要的内存空间。

经过以上五步，Java类的全部字段信息以及偏移量都会保存到instanceKlass中。创建实例对象时，虚拟机会从instanceKlass中读取Java类所需要的堆内存大小并分配对象的内存空间。