正如它在JVMS8中所说：
虽然Java虚拟机定义了布尔类型，但它只提供了非常有限的支持。没有专门用于布尔值运算的Java虚拟机指令。相反，Java编程语言中运算布尔值的表达式被编译为使用Java虚拟机int数据类型的值。
的确，这两种方法：

boolean expr1(boolean a, boolean b) {
    return a || b;
}

int expr2(int a, int b) {
    return ((a != 0) || (b != 0)) ? 1 : 0;
}

将产生相同的字节码（方法签章除外）

boolean expr1(boolean, boolean);
    Signature: (ZZ)Z
    Code:
       0: iload_1       
       1: ifne          8
       4: iload_2       
       5: ifeq          12
       8: iconst_1      
       9: goto          13
      12: iconst_0      
      13: ireturn       

  int expr2(int, int);
    Signature: (II)I
    Code:
       0: iload_1       
       1: ifne          8
       4: iload_2       
       5: ifeq          12
       8: iconst_1      
       9: goto          13
      12: iconst_0      
      13: ireturn

所以，我不明白为什么JVM仍然需要boolean类型？只是为了运行时检查方法签名？