Java boolean语义上仅true/false，但JVM层无原生支持：局部变量和栈中按int处理（占4字节slot），对象字段通常1字节并参与紧凑排列，boolean[]实为byte[]，不采用位存储主因是原子性、缓存行及工程成本权衡。
Java 的 boolean 类型在语言层简洁明确——只有 true 和 false；但在 JVM 层，它没有原生指令、没有固定大小、也没有统一存储方式。这种“语义干净、实现灵活”的落差，正是其特殊性的根源。
局部变量和操作数栈中按 int 处理
字节码不为 boolean 设计专属指令。编译器将 true 编译为 iconst_1，false 编译为 iconst_0，后续用 iload、istore、ifne 等整型指令操作。这意味着：
- 在局部变量表或操作数栈中，它占用 1 个 32 位 slot（即逻辑上“占 4 字节”）
- 但 JIT 可能全程将其保留在寄存器中，实际不分配内存
- 写入值为 2 的字节码虽可通过工具强行注入，JVM 运行时仍会当作
true处理（非零即真）
对象字段中通常占 1 字节，但受对齐与重排影响
HotSpot 将 boolean 字段按 1 字节对齐，但不会孤立分配——它参与字段紧凑排列（-XX:+CompactFields 默认开启）：
- 多个
boolean或byte字段常被塞进同一字节空隙（如 8 个boolean可能共用 1 字节） - 但每个字段仍有独立偏移地址，无法用
Unsafe直接读取某一位 - 若前一个字段是
long（8 字节），后面紧跟boolean，可能插入最多 7 字节填充以对齐下一个字段
boolean[] 数组底层就是 byte[]
JVM 规范只要求 boolean[] 支持索引访问和逻辑操作，并未强制位存储。HotSpot 直接复用 byte[] 实现：
- 每个元素占 1 字节（0 表示
false，1 表示true） -
new boolean[1000]实际分配约 1000 字节数据区 + 对象头（12 字节）+ 对齐填充（常见补至 16 或 32 字节倍数） - JNI 层自动转为
jboolean*（即unsigned char*），不是位指针 - 序列化框架（如 Kryo、Protobuf）只认语义，仍按字节数组序列化，不压缩
为什么不用位存储？是权衡，不是限制
位图（bit array）技术完全可行，但 JVM 选择不采用，原因很实际：
- 原子性风险：同一字节中多个位被不同线程修改，无法保证单个
boolean的 CAS 操作 - 缓存行效率：位操作常需读-改-写整字节/字，易引发 false sharing
- 工程成本：复用
byte[]可直接继承 GC、内存布局、反射、序列化等全部已有机制 - 真正需要紧凑存储时，应使用
BitSet（内部用long[]+ 位运算）或手动封装
