構(gòu)造函數(shù)沒(méi)有返回值是怎么賦值的？

眾所周知，在java里是不能給構(gòu)造函數(shù)寫(xiě)返回值的，如果在低版本的編譯器定義一個(gè)構(gòu)造器寫(xiě)上返回值可能會(huì)報(bào)錯(cuò)，高版本里面他就是一個(gè)普通的方法?？墒侨绻麡?gòu)造函數(shù)沒(méi)有返回值，那么比如Test t = new Test()我們new一個(gè)對(duì)象的時(shí)候是怎么賦值的呢？

構(gòu)造函數(shù)有返回值嗎

寫(xiě)一段代碼測(cè)試一下：

public class Test { public Test() {
???????
????} public static void main(String[]?args) {
????????Test?t?= new Test();
????}
}

反編譯一下看看：

Code: 0: new #5 //?class?com/irving/utils/baidu/Test 3:?dup 4:?invokespecial?#6 //?Method?"":()V 7:?astore_1 8: return 

從反編譯的結(jié)果看 4: invokespecial #7 ?// Method "init":()V，調(diào)用構(gòu)造函數(shù)，V代表void無(wú)返回值，那么init代表什么含義？

我在書(shū)里找到這樣一段話：

在 Java 虛擬機(jī)層面上，Java 語(yǔ)言中的構(gòu)造函數(shù)是以一個(gè)名為init的特殊實(shí)例初始化方法的形式出現(xiàn)的，init這個(gè)方法名稱是由編譯器命名的，因?yàn)樗⒎且粋€(gè)合法的 Java 方法名字，不可能通過(guò)程序編碼的方式實(shí)現(xiàn)。實(shí)例初始化方法只能在實(shí)例的初始化期間，通過(guò) Java 虛擬機(jī)的 invokespecial 指令來(lái)調(diào)用， 只有在實(shí)例正在構(gòu)造的時(shí)候，實(shí)例初始化方法才可以被調(diào)用訪問(wèn)。

一個(gè)類或者接口最多可以包含不超過(guò)一個(gè)類或接口的初始化方法，類或者接口就是通過(guò)這個(gè)方法完成初始化的。這個(gè)方法是一個(gè)不包含參數(shù)的靜態(tài)方法，名為clinit。這個(gè)名字也是由編譯器命名的，因?yàn)樗⒎且粋€(gè)合法的 Java 方法名字，不可能通過(guò)程序編碼的方式實(shí)現(xiàn)。類或接口的初始化方法由 Java 虛擬機(jī)自身隱式調(diào)用，沒(méi)有任何虛擬機(jī)字節(jié)碼指令可以調(diào)用這個(gè)方法，只有在類的初始化階段中會(huì)被虛擬機(jī)自身調(diào)用。

init代表著虛擬機(jī)調(diào)用構(gòu)造函數(shù)，現(xiàn)在情況很明顯，構(gòu)造函數(shù)返回類型是void，那么它究竟是怎么賦值的呢？

賦值探究

我們明白一點(diǎn)，方法的調(diào)用過(guò)程就是棧幀入棧和出棧的過(guò)程，棧幀隨著方法的調(diào)用創(chuàng)建，方法結(jié)束銷(xiāo)毀。棧幀的內(nèi)部包含局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接等。

局部變量表表示方法調(diào)用時(shí)候的參數(shù)傳遞，當(dāng)一個(gè)實(shí)例方法被調(diào)用的時(shí)候，第0個(gè)局部變量存儲(chǔ)了當(dāng)前實(shí)例方法所在對(duì)象的引用(this)，后續(xù)的其他參數(shù)傳遞至1到N的連續(xù)位置。

操作數(shù)棧用來(lái)準(zhǔn)備方法調(diào)用的參數(shù)和返回結(jié)果。

以上面測(cè)試代碼的方法來(lái)看Test t = new Test() 的調(diào)用過(guò)程：

1. new 創(chuàng)建Test對(duì)象，并將其引用值壓入操作數(shù)棧頂
2. dup 復(fù)制棧頂數(shù)值并將復(fù)制值壓入棧頂
3. invokespecial 使用dup復(fù)制的引用并用來(lái)初始化，此時(shí)棧頂應(yīng)該只有new創(chuàng)建的原始引用
4. astore_1 將new創(chuàng)建的引用存入局部變量表索引為1的位置
5. return 方法正常返回

從這個(gè)過(guò)程我們已經(jīng)看出來(lái)了，整個(gè)過(guò)程最后我們最終拿到了new之后創(chuàng)建的對(duì)象引用，并且保存到局部變量表中，可以供我們繼續(xù)使用。