Java的call by value_call by value or reference ?

Java中参数传递是传值还是传引用呢？很多人遇到这个问题都会马上给你抛出这个例子：

对方不想和你说话并向你抛了一段代码

class Entry{

Integer value;

public Entry(Integer v){

this.value = v;

}

@Override

public String toString() {

return "Entry[value=" + value + "]";

}

}

public class CallByDemo{

public static void swap(int a,int b){

int temp = a;

a = b;

b = a;

}

public static void swap(Entry e1,Entry e2){

Integer temp = e1.value;

e1.value = e2.value;

e2.value = temp;

}

public static void main(String[] args) {

int a = 1;

int b = 2;

System.out.println("before:a="+a+",b="+b);

swap(a,b);

System.out.println("after :a="+a+",b="+b);

Entry e1 = new Entry(new Integer(1000));

Entry e2 = new Entry(new Integer(2000));

System.out.println("before:e1="+e1+"e2="+e2);

swap(e1,e2);

System.out.println("after :e1="+e1+"e2="+e2);

}

}

运行结果:

before:a=1,b=2

after :a=1,b=2

before:e1=Entry[value=1000]e2=Entry[value=2000]

after : e1=Entry [value=2000 ]e2=Entry[value=1000]

然后言之凿凿地抛出这个结论：

当参数为基本类型时为传值

当参数为对象引用类型为传引用

好像没有毛病啊，但是如果我把swap(Entry e1,Entry e2)改成这样呢？

public static void swap(Entry e1,Entry e2){

Entry temp = e1;//Integer temp = e1.value;

e1 = e2; //e1.value = e2.value;

e2 = temp;//e2.value = temp;

}

再次运行发现结果变成了这样：

before:a=1,b=2

after :a=1,b=2

before:e1=Entry[value=1000]e2=Entry[value=2000]

after : e1=Entry [value=1000 ]e2=Entry[value=2000]

什么？怎么会这样？

为了解释这个问题，我们不妨看一下Java运行时内存结构:

Java Run-Time Data Areas

Java堆 (Java Heap)

作用：存放几乎所有的对象实例和数组

组成

新生代(Young Generation)

Eden区：存放新创建的对象或短期的对象

Survivor区：存放GC后的幸存的或中期的对象

老年代(Old Generation)：存放GC多次后始终存在或者长期的对象及Survivor区放不下的大对象

永久代(Permanent Generation)：永久代在JDK8中被完全地移除

是否线程共享：是

Java虚拟机栈(JVM Stacks)

作用：存放栈帧

组成：栈帧

是否线程共享：线程私有的，生命周期和线程的相同

栈帧(Stack Frame)

- 作用：方法在执行的时候，都会有一个栈帧创建出来，用于存储局部变量表、操作数栈、动态链接、方法出口等信息

- 组成：

- 局部变量表(Local Variables)：存放编译时可知的各种基本数据类型、对象引用

- 操作数栈(Operand Stacks)：供方法调用时进行各种运算

- 动态链(Dynamic Linking)：

- 方法出口

方法区(Method Area)

作用：存放被虚拟机加载的类的结构信息(如：字段和方法数据、方法的字节码、运行时常量池等)、常量，静态变量及类、实例、接口初始化时用到的特殊方法。

组成：方法区是堆的逻辑组成部分(有人称之为永久代 Permanent Generation)

是否线程共享：是

本地方法栈(Native Method Stacks)

作用：存放本地方法调用时的栈帧

组成：栈帧

是否线程共享：线程私有的，生命周期和线程的相同

虚拟机执行Native方法时使用，不同的虚拟机有不同的实现方法，HotSpot虚拟机的本地方法栈和虚拟机栈合二为一。

PC寄存器/程序计数器(pc Register)

作用：保存JVM正在执行方法的字节码指令的地址,如果该方法为native本地方法则为undefined

组成：一块至少能够保存一个本地指针或者returnAddress的值的内存空间

是否线程共享：每个线程都有一个独立的程序计数器，各个线程之间计数器互不影响，独立存储

OK，我们再来分析一下上面的问题：

内存结果分析

其实呢，Java采用的是传值(call by value)，形参只是实际参数的一个拷贝，形参不能修改实参的内容。

当值为基本数据类型时，swap(int,int)方法中的局部变量a,b接收传入的值并保存在与该方法对应的栈帧的局部变量表中。而main方法中的a,b保存在main方法对应的栈帧的局部变量表中，修改swap方法中的a,b对main方法中的a,b没有任何影响，所以交换失败。

当值为引用类型时，传入方法的也是它的一个拷贝，当然这个拷贝有点特殊，它是Java Heap中的对象(Entry_e1、Entry_e2)的一个引用。该引用也保存在对应的栈帧的局部变量表中，修改swap方法中的e1,e2的引用指向对main方法中的e1,e2没有任何影响，所以交换失败。但局部变量e1,e2可以通过引用改变Heap中的对象的状态，如第一段代码中在swap中的局部变量可以通过引用来修改Heap中的对象的value属性，从而达到交换属性中的目的。

此外，需要注意的是Java中的某些类如：String、基本类型的包装类、BigInteger、BigDecimal是不可变的，即无法修改其内容。

最后总结一句：Java是方法调用是值传递！