java引用传递和值传递的区别(2者基本区别解析)-昊阳知识网

/ 今日科技快讯 /

近日，当当网副总裁称，李国庆进入公司抢走当当网公章，已经报警。李国庆回应称，接管当当网公司公章、财务章只是第一步，下一步将组班子，第三步就是进驻当当。

https://juejin.im/user/5b172e3e51882513e905909f

/ 前言 /

先从一道面试题说起：

以下程序输出结果是什么：publicclassPoint{privateintx;privateinty;publicPoint(intx,inty){this.x=x;this.y=y;}publicvoidsetLocation(intx,inty){this.x=x;this.y=y;}privatestaticvoidmodifyPoint(Pointp1,Pointp2){PointtmpPoint=p1;p1=p2;p2=tmpPoint;p1.setLocation(5,5);p2=newPoint(5,5);}publicstaticvoidmain(String[]args){Pointp1=newPoint(0,0);Pointp2=newPoint(0,0);modifyPoint(p1,p2);System.out.println(“[” p1.x “,” p1.y “],[” p2.x “,” p2.y “]”);}}

查看答案[0,0],[5,5]

/ 值与引用 /

为了纠正值传递和引用传递的一些误解，此处探讨的并不是值类型和引用类型，而是赋值操作时对各部分的名称。

以上面面试题为例，有Point p1 = new Point(0, 0);

值与引用就是以上这些，而值传递和引用传递，和这些一点关系也没有。

/ 值传递与引用传递 /

我们可以找到网上资料对值传递的定义，大多是这样的:

在方法调用时，传入方法内部的是实参引用的拷贝，因此对形参的任何操作都不会影响到实参。

这句话本身对值传递的定义是比较准确的，但由于概念盲区造成的前后矛盾，让我们理解起来产生了歧义，概况起来歧义有三：

既然传递的是引用，那么应该是引用传递才对，为什么叫值传递；引用本身也是值，本质就是个指针，所以所有传递都是值传递；大部分会被上述概念的后半句“形参的任何操作都不会影响到实参”误导，因为我们很容易就可以做到使用形参改变实参，比如上述面试题中的p1.setLocation(5, 5);或下面代码：

publicstaticvoidmain(String[]args){List<String>colorList=newArrayList<>();colorList.add(“BLUE”);colorList.add(“RED”);colorList.add(“GRAY”);System.out.println(colorList);removeFirst(colorList);System.out.println(colorList);}privatestaticvoidremoveFirst(ListcolorList){if(!colorList.isEmpty())colorList.remove(0);}//[BLUE,RED,GRAY]//[RED,GRAY]

很多时候我们对值传递有疑惑，本质原因是没有弄明白值传递和引用传递到底是在描述什么，我们错以为它们的名字是自解释的：传递的是值就是值传递，传递的是引用就是引用传递，Java是值传递意味着java在方法调用时传递的是值。这就是我们上面说的概念盲区，对值传递和引用转递的正确解释其实是这样的：

值传递（Call by value）和引用传递（Call by reference），描述的是函数调用时参数的求值策略（Evaluation strategy），是对调用函数时，求值和取值方式的描述，而非传递的内容。

值与引用描述了两种内存分配方式，值在堆上分配，引用在栈上分配（在这里要区分值类型和引用类型）。而值传递和引用传递描述的则是参数求值策略，两者之间不存在任何依赖关系。

理清了值传递和引用传递所描述的具体内容，我们现在来看关于Java值传递概念的第三点歧义：形参的任何操作都不会影响到实参。以上述colorList 代码为例，我们已经知道值传递这种求值策略在函数调用时会把实参引用的拷贝传入函数内，所以在调用removeFirst() 方法时有：

这样看来，关于“形参的任何操作都不会影响到实参”确实是不严谨的，那么这句话在什么情况下生效呢，我们将removeFirst() 方法改成如下代码：

privatestaticvoidremoveFirst(ListcolorList){//if(!colorList.isEmpty())colorList.remove(0);if(!colorList.isEmpty())colorList=colorList.subList(1,colorList.size());}//再次运行的结果为：//[BLUE,RED,GRAY]//[BLUE,RED,GRAY]

在这个新的removeFirst()方法中有：

按照值传递的求值策略规定，传入实参引用的拷贝这一步没变。在“值与引用”小节中我们说到赋值操作符的实际工作是将引用指向值，在这个removeFirst() 方法中我们将形参colorList’ 的引用做了重赋值操作，所以现在它指向了一个新的实例ColorList [ RED, GRAY] ，但是随着removeFirst() 方法执行完毕后退出，形参colorList’也会被回收，而实参colorList指向的ColorList [BLUE, RED, GRAY] 并没有发生改变（变的是形参指向的实例，但是在方法退出后，方法参数colorList’ 就会被回收，而它指向的实例也就会变成垃圾对象）。

关于值传递概念的三点歧义就解释完毕了，我们在这里可以给出java值传递一个正确完整的概念了：

java 使用的是一种名为值传递的求值策略，这种策略在传值过程中会复制实参的引用，并将这份拷贝传入到方法形参中，所以对形参的任何重赋值操作都不会对实参产生影响。

在下一小节中我们会解析开篇的面试题，如果你对Java值传递仍然理解不好，我会在下一节中分享一个技巧帮助你更彻底的弄明白Java值传递。

/ 面试题解析 /

回到开篇的面试题，在modifyPoint()方法中，头三行代码使用了一个临时变量tmpPoint 互换了形参p1 和p2 的值，所以在方法内部，形参p1 实际上指向了实参p2 ，形参p2 指向了实参p1 ：

PointtmpPoint=p1;p1=p2;p2=tmpPoint;

关于Java的值传递策略，有一种比较取巧的理解，就是完全可以把函数的传参过程等同于赋值操作符=来理解，我们在调用modifyPoint(p1,p2)时，可以理解在方法内部有形参p1’=实参p1，形参p2’=实参p2，这样我们在方法里操作的p1’和p2’实际只是个临时变量，它的生命周期仅限于方法里。

在形参p1’与形参p2’互换后，堆栈信息简易表示为：