摘要:我下图代码第五行和第九行分别定义了一个整型变量和一个整型常量程序员都知道两者的区别。下面我们就用将文件反编译出来然后深入研究里整型变量和整型常量的区别。
我下图代码第五行和第九行分别定义了一个整型变量和一个整型常量:
static final int number1 = 512;
static int number3 = 545;
Java程序员都知道两者的区别。
下面我们就用javap将.class文件反编译出来然后深入研究Java里整型变量和整型常量的区别。
使用命令行javap -c constant.ConstantFolding查看.class文件反编译出来的字节码:
结果:
这些字节码指令的说明,在wikipedia里有说明:
wiki: https://en.wikipedia.org/wiki...
咱们Java程序员不需要把它们都背下来,只需要把这个网页收藏起来,要用的时候当成字典来用就行:
sipush 545: 将整数545放置到栈上
putstatic #16:
将栈上的值545赋给当前类的静态字段里。
那么putstatic #16里的#16代表什么含义?
我们再用javap -v 参数反编译,就能看到这个类的常量池(Constant pool). 大家看下图蓝色高亮的一行:
constant/ConstantFolding.number3:I
说明#16代表类constant.ConstantFolding的成员number3,类型为I。
至此,这两行字节码指令联合起来,实际对应了我们写的Java代码:
static int number3 = 545;
我们继续分析javap反编译出来的字节码。
aload_0: 将序号为0的本地变量的引入加载到栈上
invokespecial: 调用对象实例上的成员方法,如果有返回值,方法的返回值存储到栈上。具体调用的方法由#标识,可在常量池中查询到对应的方法名。
ldc: 将常量池上代号为#<数字>的常量的值从常量池加载到栈上。
我们从下图的常量池列表能发现,序号为#29的常量318976正是整型常量number1(512)和整型常量(623)的积。由此可以看出, number1 * number2这个表达式,因为参与运算的两个操作数通过STATIC和FINAL修饰成为了整型常量,因此其积在编译期就能得到,所以编译器在编译时就计算出来,存储在变量池里,序号为#29。
那么整型变量做乘法运算,对应的字节码又是什么样的呢?
从下图序号为3的code开始:
getstatic #16: 将类的静态成员#16加载到栈上。#16对应的成员为number3,值为545。
getstatic #18: 将类的静态成员#18加载到栈上。#18对应的成员为number4,值为619。
imul: 执行栈上两个整数的乘法运算。
istore_2: 将结果保存到局部变量2里。
此时,我们Java代码里的int product2 = number3 * number4就执行完了。
大家看到的剩下的蓝色字节码,都对应了下面这行打印语句。
System.out.println("Value: " + product1 + " , " + product2);
从这些字节码也能看出,Java里我们直接用加号进行字符串拼接操作,Java编译器在编译时,自动使用了StringBuilder进行优化。
既然整型变量的乘积需要打印出来,因此字节码的iload_2将之前用istore_2保存在局部变量2中的计算结果又加载到栈上,这样乘积结果最后就能输出了。
希望通过这个简单的例子,大家能学会用javap去深入理解一些Java和JVM的细节。
要获取更多Jerry的原创技术文章,请关注公众号"汪子熙"或者扫描下面二维码:
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/71812.html
摘要:本文首发于深入浅出区块链社区原文链接智能合约语言教程系列地址类型介绍原文已更新,请读者前往原文阅读现在的中文文档,要么翻译的太烂,要么太旧,决定重新翻译下。枚举类型应至少有一名成员。 本文首发于深入浅出区块链社区原文链接:智能合约语言 Solidity 教程系列2 - 地址类型介绍原文已更新,请读者前往原文阅读 现在的Solidity中文文档,要么翻译的太烂,要么太旧,决定重新翻译下。...
摘要:目录往期博客课堂篇初识常量池简单理解字符串常量池静态常量池大整型常量池为什么要了解垃圾收集和内存分配如何判断对象已死引用计数算法可达性分析算法之后引用的扩充回收方法区垃圾收集算法分代收集理论标记清除标记复制标记整理对象分 ...
摘要:数据的存储前言数据类型汇总整型家族浮点型家族自定义类型指针类型。整型家族注在之后的标准规定,将类型数据划分为整型家族,因为字符在内存中会将其转化为码值进行存储。 ...
摘要:结构型模式适配器模式桥接模式装饰模式组合模式外观模式享元模式代理模式。行为型模式模版方法模式命令模式迭代器模式观察者模式中介者模式备忘录模式解释器模式模式状态模式策略模式职责链模式责任链模式访问者模式。 主要版本 更新时间 备注 v1.0 2015-08-01 首次发布 v1.1 2018-03-12 增加新技术知识、完善知识体系 v2.0 2019-02-19 结构...
摘要:文章来自原文在给开发者的源码系列的第三篇文章,我们打算扩展上一篇文章来帮助理解内部是怎么工作的。进入在的核心代码中,变量被称为。要转换一个为值,就调用函数。有了这个东西,我们可以看到函数马上调用函数。 文章来自:http://www.hoohack.me/2016/02/12/phps-source-code-for-php-developers-part3-variables-ch...
阅读 840·2021-11-15 17:58
阅读 3640·2021-11-12 10:36
阅读 3778·2021-09-22 16:06
阅读 955·2021-09-10 10:50
阅读 1324·2019-08-30 11:19
阅读 3308·2019-08-29 16:26
阅读 927·2019-08-29 10:55
阅读 3340·2019-08-26 13:48