析構函式為什麼是虛函式而建構函式不行

2021-08-25 17:00:01 字數 1552 閱讀 6569

1,從儲存空間角度

虛函式對應乙個vtable,這大家都知道,可是這個vtable其實是儲存在物件的記憶體空間的。問題出來了,如果建構函式是虛的,就需要通過 vtable來呼叫,可是物件還沒有例項化,也就是記憶體空間還沒有,無法找到vtable,所以建構函式不能是虛函式。

2,從使用角度

虛函式主要用於在資訊不全的情況下,能使過載的函式得到對應的呼叫。建構函式本身就是要初始化例項,那使用虛函式也沒有實際意義呀。所以建構函式沒有必要是虛函式。

虛函式的作用在於通過父類的指標或者引用來呼叫它的時候能夠變成呼叫子類的那個成員函式。而建構函式是在建立物件時自動呼叫的,不可能通過父類的指標或者引用去呼叫,因此也就規定建構函式不能是虛函式。

3、建構函式不需要是虛函式,也不允許是虛函式,因為建立乙個物件時我們總是要明確指定物件的型別,儘管我們可能通過實驗室的基類的指標或引用去訪問它。但析構卻不一定,我們往往通過基類的指標來銷毀物件。這時候如果析構函式不是虛函式,就不能正確識別物件型別從而不能正確呼叫析構函式。

4、從實現上看,vbtl在構造函式呼叫後才建立,因而建構函式不可能成為虛函式  

從實際含義上看,在呼叫建構函式時還不能確定物件的真實型別(因為子類會調父類的建構函式);而且建構函式的作用是提供初始化,在物件生命期只執行一次,不是物件的動態行為,也沒有太大的必要成為虛函式

5、當乙個建構函式被呼叫時,它做的首要的事情之一是初始化它的v p t r。因此,它只能知道它是「當前」類的,而完全忽視這個物件後面是否還有繼承者。當編譯器為這個建構函式產生**時,它是為這個類的建構函式產生**- -既不是為基類,也不是為它的派生類(因為類不知道誰繼承它)。

所以它使用的v p t r必須是對於這個類的v ta b l e。而且,只要它是最後的構造函式呼叫,那麼在這個物件的生命期內, v p t r將保持被初始化為指向這個v ta b l e, 但如果接著還有乙個更晚派生的建構函式被呼叫,這個建構函式又將設定v p t r指向它的 v ta b l e,等.直到最後的建構函式結束。v p t r的狀態是由被最後呼叫的建構函式確定的。這就是為什麼構造函式呼叫是從基類到更加派生 類順序的另乙個理由。

但是,當這一系列構造函式呼叫正發生時,每個建構函式都已經設定v p t r指向它自己的 v ta b l e。如果函式呼叫使用虛機制,它將只產生通過它自己的v ta b l e的呼叫,而不是最後的v ta b l e(所有建構函式被呼叫後才會有最後的v ta b l e)。

析構函式為什麼是虛函式 

用物件指標來呼叫乙個函式,有以下兩種情況:

如果是虛函式,會呼叫派生類中的版本。

如果是非虛函式,會呼叫指標所指型別的實現版本。

析構函式也會遵循以上兩種情況,因為析構函式也是函式嘛,不要把它看得太特殊。 當物件出了作用域或是我們刪除物件指標,析構函式就會被呼叫。

當派生類物件出了作用域,派生類的析構函式會先呼叫,然後再呼叫它父類的析構函式, 這樣能保證分配給物件的記憶體得到正確釋放。

但是,如果我們刪除乙個指向派生類物件的基類指標,而基類析構函式又是非虛的話, 那麼就會先呼叫基類的析構函式(上面第2種情況),派生類的析構函式得不到呼叫。 

為什麼建構函式不能是虛函式而析構函式可以

首先,虛函式的實現原理是 在定義具有虛函式的類或者繼承類的繼承的時候,會相應建立乙個虛函式表vtable,即每個類都對應乙個需函式表,而在定義類的物件的時候,每個物件都會有乙個指向相應類的虛表指標vptr,vptr指向虛表的入口位址,在呼叫相應的虛函式的時候,根據該入口位址尋找對應的函式。對於建構函...

建構函式 析構函式 虛析構函式

說析構函式之前,先說下建構函式。建構函式用來完成對物件的一系列初始化操作,主要作用有 1.給建立的物件建立乙個識別符號 2.為物件資料成員開闢記憶體空間 3.完成物件資料成員的初始化 當並未顯示的定義建構函式時,會生成乙個預設的建構函式,預設建構函式不能完成物件資料成員的初始化,只能給物件建立一識別...

C 中為什麼析構函式是虛函式

如果基類的析構函式不是虛函式,在特定情況下會導致派生來無法被析構。情況1 用派生類型別指標繫結派生類例項,析構的時候,不管基類析構函式是不是虛函式,都會正常析構 情況2 用基類型別指標繫結派生類例項,析構的時候,如果基類析構函式不是虛函式,則只會析構基類,不會析構派生類物件,從而造成記憶體洩漏。為什...