JVM之java的基本类型(一)

JVM之java的基本类型

boolean类型

在java的语言规范中，boolean类型的值只有两种可能，分别用true和false来表示，但是显然，这两种类型无法被JVM直接使用的。在java的虚拟机规范中，boolean类型被映射成int类型，具体的来说，true被映射成1，false被映射成0。这样一来，在编译成的class文件中，就看不出boolean类型的痕迹了。
换言之，对于java虚拟机来说，如果把字节码中的boolean类型的局部变量赋值为0和1之外的也是合法的。那么问题来了，当我们修改字节码中一个布尔类型的值为2时，他究竟为true还是false呢。其实这要分情况讨论了。

boolean a = 2;//这会直接报错，我们需要在字节码中进行修改。
if(a){
	System.out.println("A hello world");
}
if(a==true){
	System.out.println("B hello world");
}

那么究竟是会输出什么呢。
答案是A hello world
因为在JVM中，boolean的体现是0和1，所以其实a是和0和1进行比较的，第一个if在JVM中会被翻译成ifeq，也就是如果a的值为0，那么就不打印，显然a的值为2，所以会打印。
而第二个值是和1进行比较，显然2!=1，所以不会打印。

java的其它基本类型

java的基本类型都有对应的值域和默认值，尽管他们的默认值看起来不一样，但在内存中都是0。
在这些基本类型中，boolean和char是唯二的无符号类型，通常我们认为char的值为非负数。
在boolean类型的例子中，我们可以把2存储到boolean中，那么同样的，byte，char，short的局部变量是否也可以存储超过他们范围的数值呢，答案是可以的，但是会有一些麻烦，例如char存储了负数，当然在正常使用编译器的情况下是不会出现这种问题的。

浮点数

Java的浮点类型采用IEEE 754浮点数格式，以float为例，浮点类型通常有2个0，+0.0和-0.0。前者在Java中是0，后者是符号位为1，其他均为0的浮点数，在内存中等同于十六进制整数0x8000000，尽管他们内存数值不同，但是在Java中+0.0F==-0.0F会返回true。
有了上述的定义后，在Java中就有了正无穷和负无穷的概念了，正无穷就是任意正浮点数(不含+0.0F)除以+0.0F得到的数值，负无穷就是任何正浮点数除以-0.0F得到的数值。在Java中，正无穷和负无穷是有确切的值的，在内存中分别等于0x7F800000和0xFF800000。
那么问题又来了，0x7F800001又表示什么呢？这个数值表示的是NaN，not a Number。不但如此，[0x7F800001,0x7FFFFFFF]和[0xFF800001,0xFFFFFFFF]对应的都是NaN，一般我们通过计算得出的NaN，在内存中对应0x7FC00000。这个数值我们称之为标准的NaN，NaN有一个有趣的特性，就是除了!=始终返回ture之外，其他的都返回flase。