Java虚拟机如何在运行时知道每一块内存存储数据的类型的?
- 知道Java中int占4个字节,short占2个字节,引用类型在64位机器上占4个字节(不开启指针压缩是8个字节,指针压缩是默认开启的),那JVM如何在运行时知道某一块内存存的值的类型是int还是short或者其他基础类型,亦或者是引用的地址?比如以int为例,4个字节只够存储int数据本身,并没有多余的空间存储数据的类型!
public class Apple extends Fruit{
private int color;
private String name;
private Apple brother;
private long create_time;
public void test() {
int color = this.color;
String name = this.name;
Apple brother = this.brother;
long create_time = this.create_time;
}
}
很简单的一个Apple类,继承于Fruit,有一个test方法,将类成员变量赋值给方法本地变量,还是老套路,javac,javap 查看字节码
javac Fruit.java Apple.java
javap -verbose Apple.class
// 输出Apple字节码
public class com.company.alloc.Apple extends com.company.alloc.Fruit
minor version: 0
major version: 52
flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
#1 = Methodref #9.#25 // com/company/alloc/Fruit."<init>":()V
#2 = Fieldref #8.#26 // com/company/alloc/Apple.color:I
#3 = Fieldref #8.#27 // com/company/alloc/Apple.name:Ljava/lang/String;
#4 = Fieldref #8.#28 // com/company/alloc/Apple.brother:Lcom/company/alloc/Apple;
#5 = Fieldref #8.#29 // com/company/alloc/Apple.create_time:J
// 省略......
{
// 省略......
public void test();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=4, locals=6, args_size=1
0: aload_0
1: getfield #2 // Field color:I
4: iconst_1
5: iadd
6: istore_1
7: aload_0
8: getfield #3 // Field name:Ljava/lang/String;
11: astore_2
12: aload_0
13: getfield #4 // Field brother:Lcom/company/alloc/Apple;
16: astore_3
17: aload_0
18: getfield #5 // Field create_time:J
21: ldc2_w #6 // long 3l
24: lsub
25: lstore 4
27: return
// 省略......
}
我们重点看Apple类的test方法,我已经添加了注释
// 加载Apple对象本身到栈
0: aload_0
// 获取字段,#2 对应常量池中的序列,
// #2 = Fieldref #8.#26 // com/company/alloc/Apple.color:I
// 存储的类型是int类型
1: getfield #2 // Field color:I
// 加载1这个常量进栈
4: iconst_1
// 执行加法
5: iadd
// 将栈顶的值存到本地变量表1的位置
6: istore_1
// 加载Apple对象本身到栈
7: aload_0
// 获取字段,#3 对应常量池中的序列,
8: getfield #3 // Field name:Ljava/lang/String;
// 将栈顶的值存到本地变量表2的位置
11: astore_2
// .......
可以看到对于对象的成员变量,会存在一个常量池,保存该对象所属类的所有字段的索引表,根据这个常量池可以查询到变量的类型,而字节码指令对于操作各种类型都有专门的指令,比如存储int是istore,存储对象是astore,存储long是lstore,所以指令是编译期已经确定了,虚拟机只需要根据指令执行就行,根本不关心它操作的这个地址是什么类型的,所以也就不用额外的字段去存类型了,解答我们前面提的问题!
Java数据类型有哪些
在Java中数据类型分为二大类。
- 基础数据类型(primitive type)
- 引用类型 (reference type)
基础数据类型
Java中基础数据类型有8种,分别是byte(1), sho