香香甜甜圈前几天在技术群里又看到有人在讨论：为什么 Java 里 boolean 数组通常按 byte 类型存储，而单个 boolean 变量却可能用 int 来处理？这个问题第一眼像是 JVM 规范里的冷知识，但真正把它拆开之后，你会发现它串联起了字节码设计、操作数栈、堆内存布局、JIT 优化，甚至 JNI 层的数据表示。我把这次梳理的过程完整写下来，后端开发、准备面试、或者单纯对 JVM 内存模型感兴趣的人，都可以把这篇文章当作一次底层机制的"全景拆解"来读。
1. 反直觉的现象：boolean 局部变量在字节码里长得像 int
先把结论摆出来：在 Java 语言层，boolean 就是 true/false 的布尔语义；但到了字节码层面，"单个 boolean 变量"的存储和处理方式，和 int 几乎一模一样。为了让你看得清楚，我写了一段极其简单的代码：
java复制public class BooleanDemo {
public boolean test() {
boolean a = true;
boolean b = a & false;
return b;
}
}
用 javac 编译后，再执行 javap -c BooleanDemo，你会看到类似这样的字节码：
code复制public boolean test();
descriptor: ()Z
flags: (0x0001) ACC_PUBLIC
Code:
stack=2, locals=3, args_size=1
0: iconst_1
1: istore_1
2: iload_1
3: iconst_0
4: iand
5: istore_2
6: iload_2
7: ireturn
注意看，变量 a 赋值用的是 iconst_1 加 istore_1，变量 b 的运算用的是 iload_1、iconst_0、iand，最后返回用的是 ireturn。这里没有任何一条指令是专门用来处理 boolean 的。i 开头的指令全部是 int 系指令，也就是说，在局部变量和操作数栈这个范围里，boolean 是直接按 int 来存储和计算的。
1.1 局部变量表里的 Z 只是"源代码符号"
你如果再看 javap -v 的 LocalVariableTable，同样这段代码，变量 a 和 b 的 Signature 写的是 Z，这是 JVM 规范里 boolean 的类型描述符。但这仅仅是给调试器看的信息，不代表运行时真的用了一个 1 字节的 boolean 单元。真正决定存储大小的，是局部变量槽（local variable slot）的规格：每个槽是 32 位宽度，也就是 4 个字节。byte、short、char、boolean 这些类型，在进入局部变量槽以后，都会按 int 的规则参与运算。
这也是为什么很多人第一次看到字节码时会觉得"不对劲"：明明写的是 boolean，为什么底层全是 int 指令？这不是 JVM 实现偷懒，而是 JVM 规范刻意设计成这样的。
1.2 字节码里根本没有 boolean 版的 load/store
你翻遍 JVM 指令集，找不到 bload、bstore 这类用于"单个 boolean 局部变量"的指令。和 boolean/byte 相关的只有一组数组指令：baload、bastore。注意这里的 b 前缀，代表 byte 和 boolean 共用这一对指令，因为数组里的元素确实是按 1 个字节存的。
可以这样区分：**单独一个 boolean 变量在栈上和操作数栈中