Java 函数调用是传值还是传引用? 从字节码角度来看看!

本文是网友KailunTalk文章的精简版, 他从字节码的角度解释了Java 函数调用中传递参数的方式, 充分体现了一个程序员深度挖掘,了解底层的精神, 原文地址:https://my.oschina.net/kailuncen/blog/915043

1传值还是传地址?

少废话,先看代码:

0?wx_fmt=png

function1会把车的颜色改为blue

function2 创建了一个新的黑色的车car2, 并且把新车赋值给了输入参数car。

继续看测试类TestReference

0?wx_fmt=png


经过process.function1的处理后,输出结果是:

0?wx_fmt=png

这是很容易理解的, 车的颜色从red被改成了blue。

如果修改一下TestReference, 让它去调用process.function2(car) , 会有什么效果呢? 有经验的程序员可能立刻就能给出答案:

0?wx_fmt=png

在main函数中的那个红色的车根本没有受到影响。

为什么会这样呢?  其实在Java函数调用的过程当中,对于对象类型的参数,Java传递的是这个对象引用的copy,   这个引用的copy和原引用都指向堆上的同一个对象。

在function1中, 虽然使用的是原有引用的copy,但是操作的却是堆中的对象, 于是把这个颜色值改成了blue .

在function2中把这个copy指向了新对象 car2, 那main函数中原有的引用呢? 还是指向堆中的老的对象, 所以没有改变。

2如何实现函数调用

理解到这里,一般来说就够了,但是对于一个刨根问底人,肯定要继续挖掘一下,深入到字节码层次去看看。

首先得理解一下JVM是怎么实现函数调用的, 其实也很简单,JVM把每个函数都封装成一个叫做“帧(Frame)”的东西, 在这个Frame当中,最重要的两个东西就是局部变量表和操作数栈。

0?wx_fmt=png

Java 的计算都是基于栈, 在函数执行过程中会不停地入栈、出栈,计算。 有些中间结果和局部变量就会暂时存放到局部变量表中。

那当main函数调用function2的时候会是什么状况呢?

首先,main函数的Frame 会作为一个元素被压入JVM的栈中(又是栈! 所以函数帧通常称为栈帧), function2的栈帧也会作为一个元素压入栈中:

0?wx_fmt=png

执行完function2 以后,它的栈帧就会退出,接着执行main函数。

3深入字节码

接下来就有难度了,需要深入字节码了。

先使用javap -verbose TestReference.class , 在输出的结果中能看到main函数的各种信息:

0?wx_fmt=png

(点击看大图)

虽然很长,但每行字节码后面有注释, 能大概看个明白。

第0行:创建Process对象

第7行:astore_1 ,把process对象的引用放到了索引为1的局部变量表中

第8-14行:创建了Car 对象(颜色为red)

第17行:astore_2, 把car对象的引用放到了索引为2的局部变量表中


第25行: aload_1, 把局部变量表中索引为1的对象引用(process对象)放到了操作数栈的栈顶

第26行: aload_2, 又把局部变量表中索引为2的对象引用(car 对象)放到了操作数栈的栈顶

(备注:上面说第x行是为了方便,其实是不正确的,正确的说法是偏移量)

到第26行为止,main函数栈帧是这样的:

0?wx_fmt=png

图中的 prcess ref , car ref 表示对两个对象的引用

可能有人要问了,为什么要把car ref, process ref 放到栈顶呢?

还是那句话,java 是基于栈来执行的,由于function2需要两个参数,一个是this(就是process ref) ,一个是car (car ref) ,所以需要把他们两个家伙放到栈顶,形成新栈帧的时候会把他俩传递过去, 并且把这个两个值从栈中清除。

关键的一步来了, 第27行,调用function2!

Java函数栈变成这个样子了:

0?wx_fmt=png

注意局部变量表, 从main中复制过来两个值,一个是this(process ref) 另外一个就是 car ref。

main 的frame还在,只是我们没画出来。

再看看function2的代码:

0?wx_fmt=png

第0-6 行: 创建了一个新的car 对象(颜色为black), 暂时记做car2 ref

第9行: astore_2 , 把car2 ref 存放到了局部变量表的索引为2的位置

第10行:aload_2,  把car 2 ref 放到了栈顶

第11行: astore_1 , 关键的一行, 把 car2 ref 放到了索引为1的位置, 相当于把传递进来的参数car ref 给覆盖掉了

0?wx_fmt=png

现在请问: 在main 栈帧局部变量表中的 car ref受到影响了吗?

答案肯定是:没有!

当function2 执行完, 从JVM栈中退出,接着执行main frame:

0?wx_fmt=png

car ref 所指向的仍然那个有着red 颜色的对象 ,  没有任何变化 !

这篇文章没有涉及基本类型,实际上也是类似的, 总结一下就是:Java 的参数传递,是通过Copy参数的值来进行的,这个值可能是一个基本类型, 也可能是一个引用。

你看到的只是冰山一角, 更多精彩文章,请移步《码农翻身文章精华

有心得想和大家分享? 欢迎投稿 ! 我的联系方式:微信:liuxinlehan  QQ: 3340792577


码农翻身

用故事讲述技术本质

0?wx_fmt=jpeg

微信号:coderising

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值