Java JVM数据类型

Java JVM数据类型

  与Java程序语言中的数据类型相似，Java虚拟机可以操作的数据类型可以分为两类：原始类型与引用类型，与之对应，也存在原始值、引用值两种数据类型，他们可用于变量赋值、参数传递、方法返回、运算操作。

  Java虚拟机中的类型检查应该尽可能的在编译期间完成，运行期间无需进行这些操作。虚拟机的字节码指令本身尽可以确定操作数的数值类型，因为无需特意将原始类型与引用类型区分开。

  Java虚拟机是直接支持对象的。这里的对象可以是动态分配的某个类的实例，也可以是某个数组。虚拟机中使用reference来表示对某个对象的引用。每一个对象可以存在多个指向他的引用，对象的操作、传递和检查都通过reference类型的数据来进行。

原始类型与值

  Java虚拟机支持的原始数据类型包括数值类型、boolean类型和returnAddress类型三类。数值类型分为整数类型和浮点数类型两种。
  整数类型包括byte、short、int、long、char，浮点类型包括：float、double。
  boolean类型的值为true、false，默认值为false。最初Java虚拟机对boolean类型和值进行非常有限的支持，这导致Java虚拟机的后续发展出现了许多不必要的问题和麻烦，知道《Java虚拟机规范（第二版）》时，boolean类型才以虚拟机原始类型定义。在Java虚拟机中并没有任何共boolean值专用的字节码指令，Java语言表达式所操作的boolean值，在编译后都使用Java虚拟机中的int类型数据来替代。Java虚拟机直接支持boolean类型的数组，虚拟机中的newarray指令可以直接创建这种数组。boolean类型数组的访问和修改公用byte数组的baload和bastore指令
  returnAddress类型是指向某个操作码的指针，此操作码对应的与Java虚拟机指令相对应。returnAddress类型在Java语言中并无对应的类型，并且无法在程序运行期间修改。

引用类型和值

Java虚拟机中有三种引用类型：类类型、数组类型、接口类型。这些引用类型的值分别指向动态创建的类实例、数组实例和实现了某个接口的类实例或数组实例。
数组类型最外面那一维元素的类型叫做该数组类型的组件类型，一个数组的组件类型也可以是数组。数组的元素类型必须是原声类型、类类型或者接口类型之一。
在引用类型的值中还有一个特殊的值：null，当一个引用不指向任何对象的时候，他的值就用null来表示，一个为null的引用，起初并不具备任何实际的运行时类型，但可以转换为任意的引用类型，默认值为null。