這篇文章帶給大家的內容是關於Java的值傳遞和引用傳遞詳解,有一定的參考價值,有需要的朋友可以參考一下,希望對你有幫助。
本文旨在用最通俗的語言講述最枯燥的基本知識
學過Java基礎的人都知道:值傳遞和引用傳遞是初次接觸Java時的一個難點,有時候記得了語法卻記不得怎麼實際運用,有時候會的了運用卻解釋不出原理,而且坊間討論的話題又是充滿爭議:有的論壇帖子說Java只有值傳遞,有的博客說兩者皆有;這讓人有點摸不著頭腦,下面我們就這個話題做一些探討,對書籍、對論壇博客的說法,做一次考證,以得出信得過的答案。
其實,對於值傳遞和引用傳遞的語法和運用,百度一下,就能出來可觀的解釋和例子數目,或許你看一下例子好像就懂,但是當你參加面試,做一道這個知識點的筆試題時感覺自己會,胸有成熟的寫了答案,卻發現是錯的,或者是你根本不會做。
是什麼原因?
那是因為你對知識點沒有了解透徹,只知道其皮毛。要熟讀一個語法很簡單,要理解一行程式碼也不難,但是能把學過的知識融會貫通,串聯起來理解,那就是非常難了,在此,關於值傳遞和引用傳遞,小編會從以前學過的基礎知識開始,從記憶體模型開始,一步步的引出值傳遞與引用傳遞的本質原理,故篇幅較長,知識點較多,望讀者多有包涵。
我們先來重溫一組語法:
1、形參:方法被呼叫時需要傳遞進來的參數,如: func(int a)中的a,它只有在func被呼叫期間a才有意義,也就是會被分配記憶體空間,在方法func執行完成後,a就會被銷毀釋放空間,也就是不存在了
2、實參:方法被呼叫時是傳入的實際值,它在方法被呼叫前就已經被初始化並且在方法被呼叫時傳入。
舉個栗子:
public static void func(int a){ a=20; System.out.println(a); } public static void main(String[] args) { int a=10;//实参 func(a); }
範例中
int a=10;中的a在被呼叫之前就已經被建立並初始化,在呼叫func方法時,他被當做參數傳入,所以這個a是實參。
而func(int a)中的a只有在func被呼叫時它的生命週期才開始,而在func呼叫結束之後,它也隨之被JVM釋放掉,,所以這個a是形參。
所謂資料類型,是程式語言中對記憶體的一種抽象表達方式,我們知道程式是由程式碼檔案和靜態資源組成,在程式被運行前,這些程式碼存在在硬碟裡,程式開始運行,這些程式碼會被轉成電腦能辨識的內容放到記憶體中被執行。
因此
所以,資料在記憶體中的存儲,是根據資料類型來劃定儲存形式和儲存位置的。
那麼
Java的資料型別有哪些?
基本類型:程式語言中內建的最小粒度的資料類型。它包含四大類八種型別:
4種整數型別:byte、short、int、long
2種浮點數型別:float、double
1種字元型別:char
1種布林類型:boolean
引用類型:引用也叫句柄,引用類型,是程式語言中定義的在句柄中存放著實際內容所在位址的位址值的一種資料形式。它主要包括:
類別
介面
陣列
有了資料類型,JVM對程式資料的管理就規範化了,不同的資料型,它的儲存形式和位置是不一樣的,要想知道JVM是怎麼儲存各種類型的數據,就得先了解JVM的記憶體劃分以及每部分的功能。
Java語言本身是無法操作記憶體的,它的一切都是交給JVM來管理和控制的,因此Java記憶體區域的劃分也就是JVM的區域劃分,在說JVM的記憶體分割之前,我們先來看看Java程式的執行過程,如下圖:
##有圖可以看出:Java程式碼被編譯器編譯成字節碼之後,JVM開闢一片記憶體空間(也叫運行時資料區),透過類別載入器加到到運行時資料區來存儲程式執行期間需要用到的資料和相關信息,在這個資料區中,它由以下幾部分組成:
#1. 虛擬機堆疊2. 堆疊3. 程式計數器4. 方法區5. 本地方法堆疊我們接著來了解每部分的原理以及具體用來儲存程式執行過程中的哪些數據。虚拟机栈是Java方法执行的内存模型,栈中存放着栈帧,每个栈帧分别对应一个被调用的方法,方法的调用过程对应栈帧在虚拟机中入栈到出栈的过程。
栈是线程私有的,也就是线程之间的栈是隔离的;当程序中某个线程开始执行一个方法时就会相应的创建一个栈帧并且入栈(位于栈顶),在方法结束后,栈帧出栈。
下图表示了一个Java栈的模型以及栈帧的组成:
栈帧:是用于支持虚拟机进行方法调用和方法执行的数据结构,它是虚拟机运行时数据区中的虚拟机栈的栈元素。
每个栈帧中包括:
局部变量表:用来存储方法中的局部变量(非静态变量、函数形参)。当变量为基本数据类型时,直接存储值,当变量为引用类型时,存储的是指向具体对象的引用。
操作数栈:Java虚拟机的解释执行引擎被称为"基于栈的执行引擎",其中所指的栈就是指操作数栈。
指向运行时常量池的引用:存储程序执行时可能用到常量的引用。
方法返回地址:存储方法执行完成后的返回地址。
堆是用来存储对象本身和数组的,在JVM中只有一个堆,因此,堆是被所有线程共享的。
3. 方法区:方法区是一块所有线程共享的内存逻辑区域,在JVM中只有一个方法区,用来存储一些线程可共享的内容,它是线程安全的,多个线程同时访问方法区中同一个内容时,只能有一个线程装载该数据,其它线程只能等待。
方法区可存储的内容有:类的全路径名、类的直接超类的权全限定名、类的访问修饰符、类的类型(类或接口)、类的直接接口全限定名的有序列表、常量池(字段,方法信息,静态变量,类型引用(class))等
4. 本地方法栈:本地方法栈的功能和虚拟机栈是基本一致的,并且也是线程私有的,它们的区别在于虚拟机栈是为执行Java方法服务的,而本地方法栈是为执行本地方法服务的。
有人会疑惑:什么是本地方法?为什么Java还要调用本地方法?
5. 程序计数器:线程私有的。
记录着当前线程所执行的字节码的行号指示器,在程序运行过程中,字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令,分支、循环、异常处理、线程恢复等基础功能都需要依赖计数器完成。
从上面程序运行图我们可以看到,JVM在程序运行时的内存分配有三个地方:
堆
栈
静态方法区
常量区
相应地,每个存储区域都有自己的内存分配策略:
堆式:
栈式
静态
我们已经知道:Java中的数据类型有基本数据类型和引用数据类型,那么这些数据的存储都使用哪一种策略呢?
这里要分以下的情况进行探究:
A. 基本数据类型的局部变量
B. 基本数据类型的成员变量
C. 基本数据类型的静态变量
2. 引用数据类型的存储
1. 基本数据类型的存储
我们分别来研究一下:
A.基本数据类型的局部变量
定义基本数据类型的局部变量以及数据都是直接存储在内存中的栈上,也就是前面说到的“虚拟机栈”,数据本身的值就是存储在栈空间里面。
如上图,在方法内定义的变量直接存储在栈中,如
int age=50; int weight=50; int grade=6;
当我们写“int age=50;”,其实是分为两步的:
int age;//定义变量 age=50;//赋值
首先JVM创建一个名为age的变量,存于局部变量表中,然后去栈中查找是否存在有字面量值为50的内容,如果有就直接把age指向这个地址,如果没有,JVM会在栈中开辟一块空间来存储“50”这个内容,并且把age指向这个地址。因此我们可以知道:
我们声明并初始化基本数据类型的局部变量时,变量名以及字面量值都是存储在栈中,而且是真实的内容。
我们再来看“int weight=50;”,按照刚才的思路:字面量为50的内容在栈中已经存在,因此weight是直接指向这个地址的。由此可见:栈中的数据在当前线程下是共享的。
那么如果再执行下面的代码呢?
weight=40;
当代码中重新给weight变量进行赋值时,JVM会去栈中寻找字面量为40的内容,发现没有,就会开辟一块内存空间存储40这个内容,并且把weight指向这个地址。由此可知:
基本数据类型的数据本身是不会改变的,当局部变量重新赋值时,并不是在内存中改变字面量内容,而是重新在栈中寻找已存在的相同的数据,若栈中不存在,则重新开辟内存存新数据,并且把要重新赋值的局部变量的引用指向新数据所在地址。
B. 基本数据类型的成员变量
成员变量:顾名思义,就是在类体中定义的变量。
看下图:
我们看per的地址指向的是堆内存中的一块区域,我们来还原一下代码:
public class Person{ private int age; private String name; private int grade; //篇幅较长,省略setter getter方法 static void run(){ System.out.println("run...."); }; } //调用 Person per=new Person();
同样是局部变量的age、name、grade却被存储到了堆中为per对象开辟的一块空间中。因此可知:基本数据类型的成员变量名和值都存储于堆中,其生命周期和对象的是一致的。
C. 基本数据类型的静态变量
前面提到方法区用来存储一些共享数据,因此基本数据类型的静态变量名以及值存储于方法区的运行时常量池中,静态变量随类加载而加载,随类消失而消失
2. 引用数据类型的存储:上面提到:堆是用来存储对象本身和数组,而引用(句柄)存放的是实际内容的地址值,因此通过上面的程序运行图,也可以看出,当我们定义一个对象时
Person per=new Person();
实际上,它也是有两个过程:
Person per;//定义变量 per=new Person();//赋值
在执行Person per;时,JVM先在虚拟机栈中的变量表中开辟一块内存存放per变量,在执行per=new Person()时,JVM会创建一个Person类的实例对象并在堆中开辟一块内存存储这个实例,同时把实例的地址值赋值给per变量。因此可见:
对于引用数据类型的对象/数组,变量名存在栈中,变量值存储的是对象的地址,并不是对象的实际内容。
前面已经介绍过形参和实参,也介绍了数据类型以及数据在内存中的存储形式,接下来,就是文章的主题:值传递和引用的传递。
值传递:来看个例子:
public static void valueCrossTest(int age,float weight){ System.out.println("传入的age:"+age); System.out.println("传入的weight:"+weight); age=33; weight=89.5f; System.out.println("方法内重新赋值后的age:"+age); System.out.println("方法内重新赋值后的weight:"+weight); } //测试 public static void main(String[] args) { int a=25; float w=77.5f; valueCrossTest(a,w); System.out.println("方法执行后的age:"+a); System.out.println("方法执行后的weight:"+w); }
输出结果:
传入的age:25 传入的weight:77.5 方法内重新赋值后的age:33 方法内重新赋值后的weight:89.5 方法执行后的age:25 方法执行后的weight:77.5
从上面的打印结果可以看到:
a和w作为实参传入valueCrossTest之后,无论在方法内做了什么操作,最终a和w都没变化。
这是什么造型呢?!!
下面我们根据上面学到的知识点,进行详细的分析:
首先程序运行时,调用mian()方法,此时JVM为main()方法往虚拟机栈中压入一个栈帧,即为当前栈帧,用来存放main()中的局部变量表(包括参数)、操作栈、方法出口等信息,如a和w都是mian()方法中的局部变量,因此可以断定,a和w是躺着mian方法所在的栈帧中
如图:
而当执行到valueCrossTest()方法时,JVM也为其往虚拟机栈中压入一个栈,即为当前栈帧,用来存放valueCrossTest()中的局部变量等信息,因此age和weight是躺着valueCrossTest方法所在的栈帧中,而他们的值是从a和w的值copy了一份副本而得,如图:
因而可以a和age、w和weight对应的内容是不一致的,所以当在方法内重新赋值时,实际流程如图:
也就是说,age和weight的改动,只是改变了当前栈帧(valueCrossTest方法所在栈帧)里的内容,当方法执行结束之后,这些局部变量都会被销毁,mian方法所在栈帧重新回到栈顶,成为当前栈帧,再次输出a和w时,依然是初始化时的内容。
因此:
值传递传递的是真实内容的一个副本,对副本的操作不影响原内容,也就是形参怎么变化,不会影响实参对应的内容。
举个栗子:
先定义一个对象:
public class Person { private String name; private int age; public String getName() { return name; } public void setName(String name) { this.name = name; } public int getAge() { return age; } public void setAge(int age) { this.age = age; } }
我们写个函数测试一下:
public static void PersonCrossTest(Person person){ System.out.println("传入的person的name:"+person.getName()); person.setName("我是张小龙"); System.out.println("方法内重新赋值后的name:"+person.getName()); } //测试 public static void main(String[] args) { Person p=new Person(); p.setName("我是马化腾"); p.setAge(45); PersonCrossTest(p); System.out.println("方法执行后的name:"+p.getName()); }
输出结果:
传入的person的name:我是马化腾 方法内重新赋值后的name:我是张小龙 方法执行后的name:我是张小龙
可以看出,person经过personCrossTest()方法的执行之后,内容发生了改变,这印证了上面所说的“引用传递”,对形参的操作,改变了实际对象的内容。
那么,到这里就结题了吗?
不是的,没那么简单,
能看得到想要的效果
是因为刚好选对了例子而已!!!
下面我们对上面的例子稍作修改,加上一行代码,
public static void PersonCrossTest(Person person){ System.out.println("传入的person的name:"+person.getName()); person=new Person();//加多此行代码 person.setName("我是张小龙"); System.out.println("方法内重新赋值后的name:"+person.getName()); }
输出结果:
传入的person的name:我是马化腾 方法内重新赋值后的name:我是张小龙 方法执行后的name:我是马化腾
为什么这次的输出和上次的不一样了呢?
看出什么问题了吗?
按照上面讲到JVM内存模型可以知道,对象和数组是存储在Java堆区的,而且堆区是共享的,因此程序执行到main()方法中的下列代码时
Person p=new Person(); p.setName("我是马化腾"); p.setAge(45); PersonCrossTest(p);
JVM会在堆内开辟一块内存,用来存储p对象的所有内容,同时在main()方法所在线程的栈区中创建一个引用p存储堆区中p对象的真实地址,如图:
当执行到PersonCrossTest()方法时,因为方法内有这么一行代码:
person=new Person();
JVM需要在堆内另外开辟一块内存来存储new Person(),假如地址为“xo3333”,那此时形参person指向了这个地址,假如真的是引用传递,那么由上面讲到:引用传递中形参实参指向同一个对象,形参的操作会改变实参对象的改变。
可以推出:实参也应该指向了新创建的person对象的地址,所以在执行PersonCrossTest()结束之后,最终输出的应该是后面创建的对象内容。
然而实际上,最终的输出结果却跟我们推测的不一样,最终输出的仍然是一开始创建的对象的内容。
由此可见:引用传递,在Java中并不存在。
但是有人会疑问:为什么第一个例子中,在方法内修改了形参的内容,会导致原始对象的内容发生改变呢?
这是因为:无论是基本类型和是引用类型,在实参传入形参时,都是值传递,也就是说传递的都是一个副本,而不是内容本身。
有图可以看出,方法内的形参person和实参p并无实质关联,它只是由p处copy了一份指向对象的地址,此时:
p和person都是指向同一个对象。
因此在第一个例子中,对形参p的操作,会影响到实参对应的对象内容。而在第二个例子中,当执行到new Person()之后,JVM在堆内开辟一块空间存储新对象,并且把person改成指向新对象的地址,此时:
p依旧是指向旧的对象,person指向新对象的地址。
所以此时对person的操作,实际上是对新对象的操作,于实参p中对应的对象毫无关系。
因此可见:在Java中所有的参数传递,不管基本类型还是引用类型,都是值传递,或者说是副本传递。
只是在传递过程中:
如果是對基本資料類型的資料進行操作,由於原始內容和副本都是儲存實際值,並且是在不同的堆疊區,因此形參的操作,不影響原始內容。
如果是對引用類型的資料進行操作,分兩種情況,一種是形參和實參保持指向同一個物件位址,則形參的操作,會影響實參指向的對象的內容。一種是形參被改動指向新的物件位址(如重新賦值引用),則形參的操作,不會影響實參指向的物件的內容。
以上是Java的值傳遞與引用傳遞詳解的詳細內容。更多資訊請關注PHP中文網其他相關文章!