Java的boolean类型在JVM中无原生支持，字段占1字节，局部变量按int处理占4字节，boolean[]底层为byte[]，每个元素占1字节；逻辑运算通过整数指令模拟，依赖短路机制与条件跳转实现。
Java 的 boolean 类型表面简单，但底层存储和逻辑运算机制并不直接对应“1位”或“true/false”的直觉。它在 JVM 中没有原生字节码支持，所有操作都通过整数指令模拟，不同上下文（字段、局部变量、数组）的存储方式也各不相同。
boolean 字段：1 字节对齐，值为 0x00 或 0x01
作为类的实例字段或静态字段时，JVM 规范强制要求用 1 个字节（8 位）存储，不能压缩到单 bit。0x00 表示 false，0x01 表示 true。虽然其他非零值（如 0xFF）在读取时也被当作 true，但编译器和字节码验证器会确保写入时只存 0 或 1，以维持语义一致性。
- 这意味着
boolean flag;占用 1 字节，和byte一样，不是“理论上 1 位”意义上的节省 - 多个相邻
boolean字段不会打包——每个都独立占 1 字节，无法像 C 的bitfield那样紧凑布局 - 内存对齐优先于空间压缩，这是 JVM 为访问效率做的权衡
局部变量：按 int 处理，占 1 个 32 位 slot
方法内部的 boolean 局部变量（包括参数）不单独存在，而是被编译器提升为 32 位整数处理。它在局部变量表中占 1 个 slot（32 位），加载指令是 iload_0，条件跳转用 ifne（判断非零）而非专用布尔指令。
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
boolean b = true;实际等价于int b = 1;在字节码层面 -
if (b)编译后是iload_0; ifne L1，即“加载后跳过 if 块当值为 0” - 这种设计复用已有整数指令集，避免为布尔类型新增字节码，简化 JVM 实现
boolean[] 数组：本质是 byte[]，每个元素占 1 字节
虽然 JVM 提供了 baload 和 bastore 专用指令，但底层实现仍是 byte 数组。每个 boolean 元素占用 1 字节，0 表示 false，非零（通常为 1）表示 true。
立即学习“Java免费学习笔记（深入）”；
-
new boolean[1000]实际分配 1000 字节，不是 125 字节（1000 bit） - 不能通过反射或 Unsafe 直接按位读写；想节省空间需手动位运算 +
byte[]或使用第三方库（如 Eclipse Collections 的BooleanBitSet） - 与 C/C++ 的
std::vector<bool>（特化为位存储）有本质区别，Java 不提供语言级位数组支持
逻辑运算：全靠整数指令模拟，短路与非短路要分清
Java 的逻辑运算符 &&、||、! 行为由编译器保障，但底层仍走整数路径：&& 对应条件跳转+延迟求值，&（按位与）则直接计算两个 int 再判零。
-
a && b：先算a，为false（即 0）则跳过b计算；否则再算b -
a & b：无条件计算两边，结果为(a != 0) & (b != 0)→ 再转成 0/1 - 避免常见错误：用
==比较布尔值（如flag == true）既冗余又易误写成=；直接写if (flag)或if (!flag)更安全清晰
