1 Java 虚拟机中的 boolean 类型

在 Java 虚拟机规范中，boolean 类型则被映射成 int 类型（不仅是 bolean，还有 byte、char、short）。具体来说，“true” 被映射为 整数 1，而 “false” 被映射为整数 0。

public class Foo {
  public static main(String[] args) {
    boolean 吃过饭没 = 2; // 编译器报错，要通过字节码更改为2
    if (boolean) System.out.printf("吃过了"); // 打印了
    if (true == 吃过饭没) System.out.printf("真吃了"); // 并不打印
  }
}

将原本声明为 boolean 类型的局部变量，赋值为除了 0、1 之外的整数值，在 Java 虚拟机看来是“合法”的。

2 java 的基本类型

类型

值域

默认值

虚拟机内部符号

boolean

{false, true}

false

Z

byte

[-128, 127]

0

B

short

[-32768, 32767]

0

S

char

[0, 65535]

‘/u0000’

C

int

[-2^31, 2^31-1]

0

I

long

[-2^63, 2^63-1]

0L

J

float

~[-3.4E38, 3.4E38]

+0.0F

F

double

~[-1.8E308, 1.8E308]

+0.0D

D

尽管他们的默认值看起来不一样，但在内存中都是 0。

boolean 和 char 是唯二的无符号类型。

Java 的浮点类型采用 IEEE 754 浮点数格式。以 float 为例，浮点类型通常有两个 0，+0.0F 以及 -0.0F。尽管它们的内存数值不同，但是在 Java 中 +0.0F == -0.0F 会返回真。

3 Java 基本类型的大小

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

boolean、byte、char、short 这四种类型，在 栈 上占用的空间和 int 是一样 的，和引用类型也是一样的。因此，在 32 位的 HotSpot 中，这些类型在栈上将占用 4 个 字节；而在 64 位的 HotSpot 中，他们将占 8 个字节。

但它们在 堆 上占用的空间分跟这些类型的值域相吻合。

当我们将一个 int 类型的值，存储到这些类型的字段或数组时，相当于做了一次隐式的掩码操作。举例来说，当我们把 0xFFFFFFFF(-1) 存储到一个声明为 char 类型的字段 里时，由于该字段仅占两字节，所以高两位的字节便会被截取掉，最终存入“\uFFFF”。

在 HotSpot 中，boolean 字段占用一字节， 而 boolean 数组直接用 byte 数组来实现。为了保证堆中的 boolean 值是合法的，只取最后一位的值存入 boolean 字段 或数组中。

将堆中的 boolean、byte、char 以及 short 加载到操作数栈上，而后将栈上的值当成 int 类型来运算。这时就要涉及扩展，对于无符号类型来说直接填补 0，对于有符号类型来说填补符号位。

笔记整理于