Java中的基本类型

引言

对于Java的基本数据类型，相信不论学习什么编程语言，基本类型一定是一开始就要掌握的。同样的，Java的八大基本类型我们早已烂熟于心，但其中的细节及深挖的知识点也是需要掌握的。

八大类型

Java的基本类型都有对应的值域和默认值。从上表可以看出，byte 、short 、int 、long 、float 以及double 的值域依次扩大，而且前面的值域被后面的值域所包含。因此，小类型向大类型转换，不需要强制转换。另外一点需要注意的是，尽管它们的默认值看起不太一样，但是在内存中都是0。

唯二的无符号类型

在以上的基本类型中，有两个比较特殊的成员，它俩是唯二的无符号类型。在不考虑违反规范的情况下，boolean 类型的取值范围是0或者1。char 类型的取值范围则是‘\u0000'~'\uFFFF'，一共可以表示[0,65535]个字符。其中前256个字符和ASCII码中的字符完全重合。通常我们可以认定char类型的值为非负数数。这种特性十分有用，比如说作为数组索引等。

可以说，char类型的变量、值完全可以参与加、减、乘、除等数学运算，也可以比较大小——实际上都是用该字符对应的编码参与运算。

浮点类型

Java的浮点类型采用IEEE 754浮点数格式。以 float 为例，浮点类型通常有两个 0 ， +0.0F 和 -0.0F 。

前者在Java里是0，后者是符号位为1、其他位均为0的浮点数。尽管它们的内存数值不同，但是在 Java 中 +0.0F == -0.0F 会返回真。

Java还提供了三个特殊的浮点数值：正无穷大、负无穷大和非数，用于表示溢出或出错。

例如，使用一个正数除以0将得到正无穷大，使用一个负数除以0将得到负无穷大，0.0除以0.0或对一个负数开方将得到一个非数。

正负无穷大和非数则用 Double 和 Float 中的常量表示：

        Double d = new Double(Double.POSITIVE_INFINITY);
        Double d1 = new Double(Double.NEGATIVE_INFINITY);
        Double d2 = new Double(Double.NaN);
        Float f = new Float(Float.POSITIVE_INFINITY);
        Float f1 = new Float(Float.NEGATIVE_INFINITY);
        Float f3 = new Float(Float.NaN);

NaN有一个有趣的特性：除了 " != " 始终返回true之外，所有其它比较结果都会返回false。

举例来说，"NaN<1.0F" 返回false，而 "NaN>=1.0F" 同样返回false。对于任意浮点数f，不管它是0还是NaN，" f != NaN " 始终会返回true，而 " f == NaN " 始终会返回false。

以上特性是为了我们在程序里做浮点数比较时，需要考虑的。

Java基本类型大小

Java虚拟机每调用一个Java方法，便会创建一个帧栈。这种帧栈有两个主要的组成部分，分别是局部变量区，以及字节码的操作数栈。

在Java虚拟机规范中，局部变量区等价于一个数组，并且可以用正整数来索引。除了 long 、double 值需要用两个数组单元来存储之外，其他基本类型以及引用类型的值均占用一个数组单元。

也就是说，boolean 、byte 、char 、short 这四种类型，在栈上占用的空间和int是一样的，32位4字节，就像好像每个桶的大小都一样，无论你放的东西有多大，只要小于桶的大小，就可以放下，就要单独占用一个桶。在32位的HotSpot中，这些类型在栈上将占用4个字节；而在64位的HotSpot中，它们将占8个字节。

当然，这种情况仅存在局部变量，而并不会出现存储于堆中的字段或者数组元素上。

对于 byte 、char 以及short 这三种类型的字段或者数组元素，它们在堆上占用的空间分别位1字节、2字节、2字节。也就是说，在堆上或者数组元素上所占的大小和这些类型的值域相吻合。

因此，当我们将一个 int 类型的值，存储到这些类型的字段或者数组时，相当于做了一次隐式的掩码操作。

举例来说，当我们把0xFFFFFFFF(-1)存储到一个声明为char类型的字段里时，由于该字段仅占2字节，那么高两位的字节就会被截取掉，最终存入的是"\uFFF"。

boolean 字段和 boolean 数组则很特殊。在HotSpot中，boolean 字段占用1字节，而 boolean 数组则直接用byte数组来实现。为了保证堆中的 boolean 值是合法的，HotSpot在存储时显式地进行掩码操作，也就是说，只取最后一位的值存入boolean字段或数组中，但是所占大小同样是1字节8位。

其实，说到底，Java虚拟机的算数运算几乎全部依赖于操作数栈。我们需要将堆中的 boolean 、byte 、char 以及 short 加载到操作数栈上，而后将栈上的值当成 int 类型来运算。

对于 boolean 、char 这两个无符号类型来说，加载伴随着零扩展。

举例，char的大小为2字节，在加载时char的值会被复制到int类型的低2字节子上，而高2字节则会用0来填充。

对于 byte、short 这两个类型来说，加载伴随着符号扩展。

举例来说，short的大小为2字节，在加载时short的值同样会被复制到int类型的低2字节上。如果该short值为非负数，即最高位为0，那么该int类型的值的高2字节会用0来填充，否则用1来填充。