沒有返回值的建構函式是怎麼完成賦值的?

2022-09-16 02:54:10 字數 1697 閱讀 6626

眾所周知,在j**a裡是不能給建構函式寫返回值的,如果在低版本的編譯器定義乙個構造器寫上返回值可能會報錯,高版本裡面他就是乙個普通的方法。可是如果建構函式沒有返回值,那麼比如test t = new test()我們new乙個物件的時候是怎麼賦值的呢?

寫一段**測試一下:

public  class  test    public  static  void  main  (  string [  ]  args )    }  

反編譯一下看看:

從反編譯的結果看 4: invokespecial #7 // method 「init」��)v,呼叫建構函式,v代表void無返回值,那麼init代表什麼含義?

我在書裡找到這樣一段話:

在 j**a 虛擬機器層面上,j**a 語言中的建構函式是以乙個名為init的特殊例項初始化方法的形式出現的,init這個方法名稱是由編譯器命名的,因為它並非乙個合法的 j**a 方法名字,不可能通過程式編碼的方式實現。 例項初始化方法只能在例項的初始化期間,通過 j**a 虛擬機器的 invokespecial 指令來呼叫, 只有在例項正在構造的時候,例項初始化方法才可以被呼叫訪問。

乙個類或者介面最多可以包含不超過乙個類或介面的初始化方法,類或者介面就是通過這個方法完成初始化的。這個方法是乙個不包含引數的靜態方法,名為clinit。這個名字也是由編譯器命名的,因為它並非乙個合法的 j**a 方法名字,不可能通過程式編碼的方式實現。 類或介面的初始化方法由 j**a 虛擬機器自身隱式呼叫,沒有任何虛擬機器位元組碼指令可以呼叫這個方法,只有在類的初始化階段中會被虛擬機器自身呼叫。

init代表著虛擬機器呼叫建構函式,現在情況很明顯,建構函式返回型別是void,那麼它究竟是怎麼賦值的呢?

我們明白一點,方法的呼叫過程就是棧幀入棧和出棧的過程,棧幀隨著方法的呼叫建立,方法結束銷毀。棧幀的內部包含區域性變數表、運算元棧、動態鏈結等。

區域性變數表表示方法呼叫時候的引數傳遞,當乙個例項方法被呼叫的時候,第0個區域性變數儲存了當前例項方法所在物件的引用(this),後續的其他引數傳遞至1到n的連續位置。

運算元棧用來準備方法呼叫的引數和返回結果。

以上面測試**的方法來看test t = new test() 的呼叫過程:

new 建立test物件,並將其引用值壓入運算元棧頂

dup 複製棧頂數值並將複製值壓入棧頂

invokespecial 使用dup複製的引用並用來初始化,此時棧頂應該只有new建立的原始引用

astore_1 將new建立的引用存入區域性變數表索引為1的位置托福機經怎麼用

return 方法正常返回

從這個過程我們已經看出來了,整個過程最後我們最終拿到了new之後建立的物件引用,並且儲存到區域性變數表中,可以供我們繼續使用。

為什麼建構函式沒有返回值?

意見 1 我認為建構函式隱含的返回值就是this,因為建構函式是在類的物件產生時自動呼叫。建構函式被呼叫也就意味著產生了乙個物件,而this指標是與物件實體相關聯的,所以我認為它返回的就是this。舉例如下 class a a aa 此語句導致類a的建構函式a 被自動呼叫返回乙個首位址,系統就在記憶...

建構函式的返回值

今天看到同學們在討論乙個問題,這個問題是知乎上的乙個問題,問題描述如下 class a int main 這個問題很有意思的,a的建構函式裡面什麼都沒有,那麼返回乙個怎麼樣的物件呢,還是會出錯呢?顯然這個程式是能夠編譯通過的,但是我們該怎麼認識它呢,我們來看看反彙編吧。可以看到 在call呼叫建構函...

建構函式有返回值

function f1 console.log new f1 返回例項,委託原型 console.log new f1 name f1 console.log f1 name uncaught typeerror cannot read property name of undefined cons...