使用javap深入理解Java整型常量和整型变量的区别

我下图代码第五行和第九行分别定义了一个整型变量和一个整型常量：

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_bytecode_instruction_listings

咱们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的原创技术文章，请关注公众号"汪子熙"或者扫描下面二维码:

使用javap深入理解Java整型常量和整型变量的区别相关推荐

怎么来理解java类和对象的区别
对象在需求中的使用在具体问题中如何使用面向对象去分析问题,和如何使用面向对象. 以把大象装冰箱为例进行分析: 在针对具体的需求,可以使用名词提炼的办法进行分析,寻找具体的对象. 需求:把大象装冰箱里 ...
深入理解Java虚拟机--中
深入理解Java虚拟机--中第6章类文件结构 6.2 无关性的基石无关性的基石:有许多可以运行在各种不同平台上的虚拟机,这些虚拟机都可以载入和执行同一种平台无关的字节码(ByteCode),从而 ...
java long类型赋值_Java语言编程第22讲——如何理解“Java是强类型语言”
强类型语言,即Strongly Typed Language,从字面上理解,就是Java语言对类型要求很严格. Java语言对类型要求有哪些呢? 1.变量必须先声明类型,然后使用例如: int i; ...
从一个class文件深入理解Java字节码结构
前言我们都知道,Java程序最终是转换成class文件执行在虚拟机上的,那么class文件是个怎样的结构,虚拟机又是如何处理去执行class文件里面的内容呢,这篇文章带你深入理解Java字节码中的结 ...
理解Java枚举类型
(参考资料:深入理解java enum) 1.原理:对编译后的class文件javap反编译可以看出,定义的枚举类继承自java.lang.Enum抽象类且通过public static final定 ...
《深入理解Java虚拟机》笔记4——类文件结构
代码编译的结果从本地机器码转变为字节码,是存储格式发展的一小步,却是编程语言发展的一大步. 由于最近十年内虚拟机以及大量建立在虚拟机之上的程序语言如雨后春笋般出现并蓬勃发展,将我们编写的程序编译成二进 ...
深入理解Java Class文件格式
首先, 让我们回顾一下关于class文件格式的之前两篇博客的主要内容. 在深入理解Java Class文件格式(一) 中, 讲解了class文件在整个java体系结构中的位置和作用, 讲解了clas ...
深入理解 Java 锁与线程阻塞
相信大家对线程锁和线程阻塞都很了解,无非就是 synchronized, wait/notify 等, 但是你有仔细想过 Java 虚拟机是如何实现锁和阻塞的呢?它们之间又有哪些联系呢?如果感兴趣的话 ...
一分钟理解Java包装类型
转载自一分钟理解Java包装类型 Java 一直标榜自己是一个纯粹的面向对象语言,自作聪明的为所有的值类型都提供相应的引用类型(不明白这两个概念,看之前的<一分钟理解传值和传引用>)比 ...

使用javap深入理解Java整型常量和整型变量的区别

使用javap深入理解Java整型常量和整型变量的区别相关推荐

最新文章

热门文章