JVM中boolean无原生指令，单值按int处理占4字节，字段占1字节对齐，boolean[]底层为byte数组每元素占1字节，规范不强制位存储。
Java 的 boolean 类型在语言层很干净——只有 true 和 false 两个值；但在 JVM 层，它没有专属指令、没有固定大小、也没有统一存储方式。规范和实现之间存在明显 gap，理解这个 gap 才能避开常见陷阱。
JVM 规范：只定义语义，不规定存储
JVM 规范明确指出：
- 没有专用于 boolean 的字节码指令（如 bload、bstore）；
- 所有单个 boolean 表达式（变量、参数、返回值）都映射为 int 类型处理，true → 1，false → 0；
- boolean[] 是唯一被“直接支持”的布尔结构，但规范只要求它支持索引访问和逻辑操作，不强制空间效率，也不要求按位存储。
HotSpot 实际实现：按场景分而治之
Oracle HotSpot（主流 JVM）的落地方式如下：
-
局部变量或操作数栈中：作为
int存储，占 4 字节（实际可能被寄存器优化，不落地）； -
对象字段中：按 1 字节对齐，但字段重排后常与其他小字段共享填充空间（例如
byte+boolean可能共用 1 字节）； -
boolean[] 数组：底层复用
byte[]结构，每个元素占 1 字节（不是 1 bit），值为0或1； -
JNI 层传递：自动转为
jboolean*（即unsigned char*），仍是字节级，非位级指针。
为什么不能直接用位图替代 boolean[]？
这不是技术做不到，而是设计取舍：
- JVM 规范没要求位存储，实现方无需承担额外复杂度；
- 位操作会破坏原子性（如多线程并发修改同一字节中的不同位）、影响缓存行对齐、增加 JNI 转换开销；
- 复用
byte[]复用已有内存管理、GC、序列化逻辑，成本更低； - 真需要紧凑位存储时，应使用
BitSet或手动用long[]+ 位运算实现，而非依赖boolean[]。
开发中容易踩的坑
这些误区源于混淆语言语义与 JVM 实现：
- 用
Unsafe直接读写boolean字段会出错——底层是按byte或int访问，无位偏移支持； - 以为
new boolean[1000]只占约 1KB：实际含对象头（12B）、长度字段（4B）、对齐填充（可能额外 4B），总内存远超 1000 字节； - 试图靠减少
boolean字段数量来省内存：字段对齐和重排的影响通常比类型本身更大； - 期望序列化框架（如 Protobuf/Kryo）自动压缩
boolean[]：它们只认语义，不改 JVM 底层布局，仍按字节数组序列化。
