02 | Java的基本类型
该思维导图由 AI 生成，仅供参考
荧光笔
直线
曲线- 深入了解
- 翻译
- 解释
- 总结
本文深入探讨了Java基本类型在Java虚拟机中的实现，重点关注了boolean类型在内存中的映射，以及整数类型和浮点类型的特性。文章首先介绍了boolean类型在Java虚拟机中被映射为整数类型，true被映射为1，false被映射为0。接着详细讨论了整数类型和浮点类型的取值范围、特性以及在程序中的应用。特别是对于浮点类型，文章详细介绍了IEEE 754浮点数格式，包括+0.0F、-0.0F、正无穷、负无穷和NaN的定义及特性。此外，还提到了在程序中进行浮点数比较时需要考虑的特性。文章还涉及了基本类型在栈帧和堆中的占用大小以及存取操作时的掩码操作。总的来说，本文通过具体的例子和技术细节，深入浅出地介绍了Java基本类型在Java虚拟机中的实现，对于想要深入了解Java基本类型的读者来说，是一篇值得阅读的文章。
《深入拆解 Java 虚拟机》，新⼈⾸单¥59
全部留言(125)
- 最新
- 精选
丨落灬小莫当替换为2的时候无输出 当替换为3的时候打印HelloJava及HelloJVM 猜测是因为将boolean 保存在静态域中,指定了其类型为'Z',当修改为2时取低位最后一位为0,当修改为3时取低位最后一位为1 则说明boolean的掩码处理是取低位的最后一位作者回复: 对的！
2018-07-2313339
Kyle老师，文中看你说到： “也就是说，boolean、byte、char、short 这四种类型，在栈上占用的空间和 int 是一样的，和引用类型也是一样的。因此，在 32 位的 HotSpot 中，这些类型在栈上将占用 4 个字节；而在 64 位的 HotSpot 中，他们将占 8 个字节。” 但是我记得boolean在内存中占1字节，char占2字节，这里是什么个意思？作者回复: 你说的是在堆里的情况。在解释器栈上是不一样的。至于原因吗，主要是变长数组不好控制，所以就选择浪费一些空间，以便访问时直接通过下标来计算地址。
2018-07-23269
LC老师可以讲下ASM、Unsafe和CAS的底层原理吗？这块儿一直是个拦路虎，谢谢！作者回复: ASM你指的是那个字节码工程包吗？是的话那就是一个提供了字节码抽象的工具，允许用Java代码来生成或者更改字节码。JDK里也会用到ASM，用来生成一些适配器什么的。我印象中代码覆盖工具JaCoCo也是用ASM来实现的。 Unsafe就是一些不被虚拟机控制的内存操作的合集。具体想要了解哪个API？ CAS可以理解为原子性的写操作，这个概念来自于底层CPU指令。Unsafe提供了一些cas的Java接口，在即时编译器中我们会将对这些接口的调用替换成具体的CPU指令。
2018-07-23358
曲东方Unsafe.putBoolean和Unsafe.puByte是native实现 putBoolean和putByte也是通过宏SET_FIELD模板出的函数 #define SET_FIELD(obj, offset, type_name, x) \ oop p = JNIHandles::resolve(obj); \ *(type_name*)index_oop_from_field_offset_long(p, offset) = truncate_##type_name(x) unsafe.cpp中定义宏做truncate #define truncate_jboolean(x) ((x) & 1) #define truncate_jbyte(x) (x) #define truncate_jshort(x) (x) #define truncate_jchar(x) (x) #define truncate_jint(x) (x) #define truncate_jlong(x) (x) #define truncate_jfloat(x) (x) #define truncate_jdouble(x) (x) 综上：unsafe.Put*不会对值做修改 ------------------------------------------------------------------------------------ getBoolean和getByte也是通过宏GET_FIELD模板出的函数 #define GET_FIELD(obj, offset, type_name, v) \ oop p = JNIHandles::resolve(obj); \ type_name v = *(type_name*)index_oop_from_field_offset_long(p, offset) 综上，unsafe.Get*不会对值做修改 ------------------------------------------------------------------------------------ 验证： unsafe.putByte(foo, addr, (byte)2); // 设置为: 2 System.out.println(unsafe.getByte(foo, addr)); // 打印getByte: 2 System.out.println(unsafe.getBoolean(foo, addr)); // 打印getBoolean: true unsafe.putByte(foo, addr, (byte)1); // 设置为: 1 System.out.println(unsafe.getByte(foo, addr)); // 打印getByte: 1 System.out.println(unsafe.getBoolean(foo, addr)); // 打印getBoolean: true ------------------------------------------------------------------------------------ 疑问： if(foo.flag)判断，使用getfield Field flag:"Z"，执行逻辑等于：0 ！= flag if(foo.getFlag())判断，使用invokevirtual Method getFlag:"()Z"，执行逻辑等于： 0 != （(flag) & 1） 求大神帮忙解答 -------------------------- 附getFlag jasm码： public Method getFlag:"()Z" stack 1 locals 1 { aload_0; getfield Field flag:"Z"; ireturn; } https://gist.github.com/qudongfang/49635d86882c03e49cff2b0f7d833805作者回复: 研究得非常深入！ Unsafe.putBoolean会做掩码，另外方法返回也会对boolean byte char short进行掩码
2018-07-23238
Geek_dde3ac你好，在内存中都是0，那么是如何区别是哪种类型数据的呢？作者回复: 内存中是不做区分的。Java程序想要把它解读成什么类型，它就是什么类型。
2018-07-23233
落叶飞逝的恋其实那个boolean的true虚拟机里面为1，也就是if(true==吃了没)其实可以替换成if(1==2)这样理解吧作者回复: 对的！
2018-07-2421
dong感觉"吃饭了"例子，弄得有点饶了。也有些地方语句的起承转合不是很通顺，个人理解。作者回复: 谢谢建议
2018-07-2718
别处以下两个引至本文内容： 1、在 Java 虚拟机规范中，boolean 类型则被映射成 int 类型。 2、在 HotSpot 中，boolean 字段占用一字节， 问题：一个是int类型，一个是一个字节(32位系统的话就是byte类型)，是没讲透还是错误？作者回复: 多谢指出。严格来说，前者指的是计算的时候被映射成int类型，后者指的是存储到堆中是一个字节。
2018-07-2416- Invincible、为什么我不能让boolvalue＝2或者3……
作者回复: 因为javac不支持这种操作，它把boolean是用int实现的这种虚拟机的实现细节给隐藏起来了，从而使得在语言层面没有这种会引起歧义的值。
2018-11-2912 
星星long，double，float三种类型存入操作数栈有做转化操作吗？还是做浮点运算会有特殊处理，本文没有提及呀。作者回复: 同样会加载至操作数栈上，但都当成各自类型来计算，而不是像其他几种，被当成int来计算
2018-09-256
