根据字节码探讨java自增运算符的原理
public class Test { static int x, y; public static void main(String args[]) {
x++;
myMethod();
System.out.println(x + y + ++x);
} public static void myMethod() {
y = x++ + ++x;
}
}
如果以上代码的结果你很自信能做对,那么本文或许对你帮助不大,但仍然可以看下java底层的实现.在最后将给出以上代码的结果以及解析.
本文中的例子主要针对以下情况:
①x=y++
②x=++y
③x=x++
④x=++x
a:x,y为形参
b:x,y为成员变量
废话不多说,直接上代码
代码1(①+b):
public class Test { static int x,y;
public static void main(String args[]){
test();
} public static void test(){
x = y++;
System.out.println(x+""+y);
}
}
结果:01
test()字节码:
0: getstatic #3 // Field y:I
3: dup
4: iconst_1
5: iadd
6: putstatic #3 // Field y:I
9: putstatic #4 // Field x:I
12: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
15: getstatic #4 // Field x:I
18: invokevirtual #6 // Method java/io/PrintStream.println:(I)V
21: return
解释:
0:y(值)入操作栈
3:得到y(值)的一个快照y'(值)
(个人认为相当于是将栈顶元素也就是y(值)复制了一份,然后将复制得到的y'(值)入操作栈,现在操作栈中有y(值)和y'(值))
4:常量1入操作栈
5:常量1和y'(值)弹出栈,进行加操作,并将结果s入栈
6:将结果s弹出栈,赋给y(变量)(此时y==1)
9:将y(值)弹出栈,赋给x(变量)(此时x==0)
因为y(值)入操作栈之后没有修改,所以x依旧是0,而y变成了1
代码2(②+b):
public class Test { static int x,y;
public static void main(String args[]){
test();
} public static void test(){
x = ++y;
System.out.println(x+""+y);
}
}
结果11
test()字节码:
0: getstatic #3 // Field y:I
3: iconst_1
4: iadd
5: dup
6: putstatic #3 // Field y:I
9: putstatic #4 // Field x:I
12: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
15: getstatic #4 // Field x:I
18: invokevirtual #6 // Method java/io/PrintStream.println:(I)V
21: return
解释:
0:y(值)入操作栈
3:常量1入操作栈
4:常量1和y(值)弹出栈,进行加操作,并将结果s入栈
5:得到栈顶元素也就是s的快照s',并入操作栈
6:将s'弹出栈,并赋给y(变量)(此时y==1)
9:将s弹出栈,并赋给x(变量)(此时x==1)
代码3(③+b):
public class Test { static int x;
public static void main(String args[]){
test();
} public static void test(){
x = x++;
System.out.println(x);
}
}
结果:0
test()字节码:
0: getstatic #3 // Field x:I
3: dup
4: iconst_1
5: iadd
6: putstatic #3 // Field x:I
9: putstatic #3 // Field x:I
12: getstatic #4 // Field java/lang/System.out:Ljava/io/PrintStream;
15: getstatic #3 // Field x:I
18: invokevirtual #5 // Method java/io/PrintStream.println:(I)V
21: return
解释:
0:x(值)入操作栈
3:得到x(值)的快照x',入操作栈
4:常量1入操作栈
5:常量1和x'弹出操作栈,进行加操作,将结果s入操作栈
6:将s弹出栈,并赋给x(变量)(此时x==1)
9:将x(值)弹出栈,并赋给x(变量)(此时x的值被覆盖,x==0)
代码4(④+b):
public class Test { static int x;
public static void main(String args[]){
test();
} public static void test(){
x = ++x;
System.out.println(x);
}
}
结果:1
test()字节码:
0: getstatic #3 // Field x:I
3: iconst_1
4: iadd
5: dup
6: putstatic #3 // Field x:I
9: putstatic #3 // Field x:I
12: getstatic #4 // Field java/lang/System.out:Ljava/io/PrintStream;
15: getstatic #3 // Field x:I
18: invokevirtual #5 // Method java/io/PrintStream.println:(I)V
21: return
解释:
0:x(值)入操作栈
3:常量1如入操作栈
4:常量1和x(值)弹出操作栈,进行加操作,并将结果s入操作栈
5:得到栈顶元素s的快照s',入操作栈
6.将s'弹出操作栈,并赋给x(变量)(此时x==1)
9:将s弹出操作栈,并赋给x(变量)(此时x==1)
代码5(①+a):
public class Test { public static void main(String args[]){
test(0,0);
} public static void test(int x,int y){
x = y++;
System.out.println(x+""+y); } }
结果:01
test()字节码:
0: iload_1
1: iinc 1, 1
4: istore_0
5: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
8: new #4 // class java/lang/StringBuilder
11: dup
12: invokespecial #5 // Method java/lang/StringBuilder."<init>":()V
15: iload_0
16: invokevirtual #6 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;
19: ldc #7 // String
21: invokevirtual #8 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
24: iload_1
25: invokevirtual #6 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;
28: invokevirtual #9 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;
31: invokevirtual #10 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
34: return
解释:
0:将本地变量区的y(值)入操作栈
1:将本地变量y加1(y==1)
4:将0中的y(值)弹出栈,并赋给本地变量区的x(x==0)
代码6(②+a):
public class Test { public static void main(String args[]){
test(0,0);
} public static void test(int x,int y){
x = ++y;
System.out.println(x+""+y);
}
}
结果:11
test()字节码:
0: iinc 1, 1
3: iload_1
4: istore_0
5: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
8: new #4 // class java/lang/StringBuilder
11: dup
12: invokespecial #5 // Method java/lang/StringBuilder."<init>":()V
15: iload_0
16: invokevirtual #6 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;
19: ldc #7 // String
21: invokevirtual #8 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
24: iload_1
25: invokevirtual #6 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;
28: invokevirtual #9 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;
31: invokevirtual #10 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
34: return
解释:
0:将本地变量y加1(此时y==1)
3:将本地变量y(值)入操作栈
4:将y(值)弹出操作栈,并赋给x(此时x==1)
代码7(③+a):
public class Test { public static void main(String args[]){
test(0);
} public static void test(int x){
x = x++;
System.out.println(x);
}
}
结果:0
test()字节码:
0: iload_0
1: iinc 0, 1
4: istore_0
5: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
8: iload_0
9: invokevirtual #4 // Method java/io/PrintStream.println:(I)V
12: return
解释:
0:本地变量x(值)入操作栈
1:本地变量x加1(此时x==1)
4:将x(值)弹出栈,并赋给本地变量x(此时x==0)
代码8(④+a):
public class Test { public static void main(String args[]){
test(0);
} public static void test(int x){
x = ++x;
System.out.println(x);
}
}
结果:1
test()字节码:
0: iinc 0, 1
3: iload_0
4: istore_0
5: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream;
8: iload_0
9: invokevirtual #4 // Method java/io/PrintStream.println:(I)V
12: return
解释:
0:本地变量x加1(此时x==1)
3:本地变量x(值)入操作栈
4:将x(值)弹出操作栈,并赋给x(此时x==1)
事实上i++和++i在底层的实现都是先自增,区别在于返回值.i++返回自增前的值,++i返回自增后的值
现在来看看一开始那段代码的结果和解析:
结果:11
myMethod()字节码:
0: getstatic #2 // Field x:I
3: dup
4: iconst_1
5: iadd
6: putstatic #2 // Field x:I
9: getstatic #2 // Field x:I
12: iconst_1
13: iadd
14: dup
15: putstatic #2 // Field x:I
18: iadd
19: putstatic #5 // Field y:I
22: return
解释:
0:变量x(值)入操作栈(栈状态:x0)
3:得到栈顶元素x(值)的快照x'(值),并入操作栈(栈状态:x0->x0')
4:常量1入操作栈(栈状态:x0->x0'->1)
5:常量1和x'(值)弹出操作栈,进行加操作,将结果s0入操作栈(栈状态:x0->s0)
6:弹出s0,并赋给x(变量)(栈状态:x0,此时x(变量)==2)
9:将修改后的x(值)入操作栈(栈状态:x0->x1)
12:常量1入操作栈(栈状态:x0->x1->1)
13:常量1和X1(值)弹出操作栈,进行加操作,将结果s1入操作栈(栈状态:x0->s1)
14:得到栈顶元素s1(值)的快照s1'(值),并入操作栈(栈状态:x0->s1->s1')
15:弹出s1'并赋给x(变量)(栈状态:x0->s1)
18:s1和x0弹出栈,进行加操作,将结果s2入栈(栈状态:s2)
19:弹出s2,并赋给y(变量)
所以在myMethod之后x的值为经过两次自增后的值,为x+2==3,而y的值为x0+s1,其中x0为最初传进来的值==1,s1是x经过两次自增后的值==3,所以y==4
x==3,y==4
最后输出的结果就是3+4+4==11
转载请注明出处:http://www.cnblogs.com/vinozly/p/5401698.html
根据字节码探讨java自增运算符的原理的更多相关文章
- 从字节码看java中 this 的隐式传参
从字节码看java中 this 隐式传参具体体现(和python中的self如出一辙,但是比python中藏得更深),也发现了 static 与 非 static 方法的区别所在! static与非s ...
- 从字节码看java类型转换【 深入理解 (T[]) new Object[size] 】
我们都知道,java中对类型的检查是很严格的,所以我们平操作时,也往往很小心. 如题: (T[]) new Object[size],这种写法是一般我们是不会干的!但是有点经验的同学,还是会遇到这样写 ...
- 透过字节码分析java基本类型数组的内存分配方式。
我们知道java中new方式创建的对象都是在堆中创建的,而局部变量对应的值存放在栈上.那么java中的int [] arr={1,2,3}是存放在什么地方的呢,int []arr = new int[ ...
- 通过字节码分析java中的switch语句
在一次做题中遇到了switch的问题,由于对switch执行顺序的不了解,在这里简单的通过字节码的方式理解一下switch执行顺序(题目如下): public class Ag{ static pub ...
- 通过字节码分析Java方法的静态分派与动态分派机制
在上一次[https://www.cnblogs.com/webor2006/p/9723289.html]中已经对Java方法的静态分派在字节码中的表现了,也就是方法重载其实是一种静态分派的体现,这 ...
- 通过字节码分析Java异常处理机制
在上一次[https://www.cnblogs.com/webor2006/p/9691523.html]初步对异常表相关的概念进行了了解,先来回顾一下: 其源代码也贴一下: 下面来看一下jclas ...
- 透过字节码分析Java动态代理机制。
一.创建动态代理代码 1.创建接口 public interface Subject { void request(); } 2.创建接口实现类 public class RealSubject im ...
- 字节首推Java成长笔记:(原理+应用+源码+调优全都有)直接复盘
今天这篇文章我为了帮助小伙伴们快速构建Java技术栈,这份笔记包含了Java技术点的答案,面经,笔记,希望大家看完可以在短期内容快速面试复盘,达到事半功倍! 本来想将文件上传到开源网站上去,但是文件太 ...
- python字节码,java字节码,十六进制相互转换
下面是互相转换的代码: 有想要了解更多关于python知识的请在下方评论或私信小编
随机推荐
- jrtplib的使用
JRTPLIB库的使用 文档: http://research.edm.uhasselt.be/jori/jrtplib/documentation/index.html 一些介绍: http://d ...
- Android性能优化:谈话Bitmap内存管理和优化
最近除了那些忙着项目开发的事情,目前正在准备我的论文.短的时间没有写博客,今晚难得想总结.只要有一点时间.因此,为了凑合用,行.唠叨罗嗦,直接进入正题. 从事Android自移动终端的发展,想必是常常 ...
- NHibernate中使用memcache二级缓存
在NHibernate中使用memcache二级缓存 一.Windows下安装Memcache 1. 下载 http://jehiah.cz/projects/memcached-win32/ ...
- AR9331中Linux内核启动中与IRQ中断相关的文件
先列出框架,具体后继再来分析. 首先是lds文件,该文件设置了各个section在FLASH或RAM中的先后顺序. 位于~/openwrt1407/build_dir/target-mips_34kc ...
- DDD分层架构之我见
DDD分层架构之我见 前面介绍了应用程序框架的一个重要组成部分——公共操作类,并提供了一个数据类型转换公共操作类作为示例进行演示.下面准备介绍应用程序框架的另一个重要组成部分,即体系架构支持.你不一定 ...
- Ubuntu加上一个命令搜索路径/etc/ environment
编辑~/.bashrc文件,然后在最后加上你想设置的目录就可以了. 这样做之后就可以在终端中执行你想要的程序了,不过如果你使用其它程序在后台调用的话可能还是会调用不到,因为这个设置是针对bash有效的 ...
- Oracle笔试题库 附参考答案
1. 下列不属于ORACLE的逻辑结构的是(C) 区 段 数据文件 表空间 2. 下面哪个用户不是ORACLE缺省安装后就存在的用户(A) A . SYSDBA B. SYSTEM C. SCOTT ...
- Entity Framework,TransactionScope 混合使用的问题讨论
using (var ts = new TransactionScope()) { string connStr = "Data Source=.;Initial Catalog=Test; ...
- Python3.4入门之ifelse错误解决方案
笔者用的是Python3.4 开始接触到ifelse语句 发现这样---C:\Users\Administrator>python e:\Python34\ifelse.py--去执行的时候老是 ...
- 使用Repository模式构建数据库访问层
使用Repository模式构建数据库访问层 使用ASP.NET Web Api构建基于REST风格的服务实战系列教程[二]——使用Repository模式构建数据库访问层 系列导航地址http:// ...