為什麼C 不能有虛建構函式,卻可以有虛析構函式

2021-06-17 17:24:48 字數 2181 閱讀 2837

class b; 

class d : public b 

1. 從儲存空間角度,虛函式對應乙個指向vtable虛函式表的指標,這大家都知道,可是這個指向vtable的指標其實是儲存在物件的記憶體空間的。問題出來了,如果建構函式是虛的,就需要通過 vtable來呼叫,可是物件還沒有例項化,也就是記憶體空間還沒有,怎麼找vtable呢?所以建構函式不能是虛函式。

2. 從使用角度,虛函式主要用於在資訊不全的情況下,能使過載的函式得到對應的呼叫。建構函式本身就是要初始化例項,那使用虛函式也沒有實際意義呀。所以建構函式沒有必要是虛函式。虛函式的作用在於通過父類的指標或者引用來呼叫它的時候能夠變成呼叫子類的那個成員函式。而建構函式是在建立物件時自動呼叫的,不可能通過父類的指標或者引用去呼叫,因此也就規定建構函式不能是虛函式。

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

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

5. 當乙個建構函式被呼叫時,它做的首要的事情之一是初始化它的vptr。因此,它只能知道它是「當前」類的,而完全忽視這個物件後面是否還有繼承者。當編譯器為這個建構函式產生**時,它是為這個類的建構函式產生**——既不是為基類,也不是為它的派生類(因為類不知道誰繼承它)。所以它使用的vptr必須是對於這個類的vtable。而且,只要它是最後的構造函式呼叫,那麼在這個物件的生命期內,vptr將保持被初始化為指向這個vtable, 但如果接著還有乙個更晚派生的建構函式被呼叫,這個建構函式又將設定vptr指向它的 vtable,等.直到最後的建構函式結束。vptr的狀態是由被最後呼叫的建構函式確定的。這就是為什麼構造函式呼叫是從基類到更加派生類順序的另乙個理由。但是,當這一系列構造函式呼叫正發生時,每個建構函式都已經設定vptr指向它自己的vtable。如果函式呼叫使用虛機制,它將只產生通過它自己的vtable的呼叫,而不是最後的vtable(所有建構函式被呼叫後才會有最後的vtable)。

c++的動態繫結使用vtable(虛成員函式表)來實現。vtable支援執行時查詢,使系統可以將某一函式名繫結到vtable的特定入口位址。

例如上段**的虛函式表為:

虛成員函式       入口位址      虛成員函式            入口位址

b::m1              0x7723              d::m1                      0x99a7          //重定義的

b::m20x23b4         d::m2               0x23b4         //完全繼承

由於系統執行虛函式時,要從物件的vtable找到函式入口位址,而且vtable是儲存於物件的記憶體空間中。假如物件沒有例項化,就找不到vtable。因此,建構函式不能是vittual。

但是,析構函式一般都需要加上virtual,假如定義base *b = new deriver; deriver是base的子類,並且~base()不為virtual。那麼當物件被登出時,系統只會呼叫~base(),而不會呼叫~deriver(),因為b是base型別,已被靜態繫結析構函式。如果基類或子類用new建立了記憶體空間,就必須通過析構函式銷毀。因此必須使用vitual析構函式,實現動態繫結。

另外:從另乙個角度也可以看出建構函式不能為虛函式,1,虛函式的作用在於通過父類的指標或者引用呼叫它的時候能夠變成呼叫子類的那個成員函式。而建構函式是在建立物件時自動呼叫的,不可能通過父類或者引用去呼叫,因此就規定建構函式不能是虛函式。

2,建構函式不需要是虛函式,也不允許是虛函式,因為建立乙個物件時我們總是要明確指定物件的型別,儘管我們可能通過實驗室的基類的指標或引用去訪問它

但析構卻不一定,我們往往通過基類的指標來銷毀物件。這時候如果析構函式不是虛函式,就不能正確識別物件型別從而不能正確呼叫析構函式

為什麼C 不能有虛建構函式,卻可以有虛析構函式

class b class d public b 有天參加某大公司筆試,遇到這個問題,回來重新翻看c 教材和網上找答案,才恍然大悟。答案如下 c 的動態繫結使用vtable 虛成員函式表 來實現。vtable支援執行時查詢,使系統可以將某一函式名繫結到vtable的特定入口位址。例如上段 的虛函式表...

建構函式為什麼不能是虛建構函式

class a private int value 為什麼建構函式不能是虛函式呢?這裡你需要知道乙個概念,那就是虛函式表vtbl,每乙個擁有虛成員函式的類都有乙個指向虛函式表的指標。物件通過虛函式表裡儲存的虛函式位址來呼叫虛函式。那虛函式表指標是什麼時候初始化的呢?當然是建構函式。當我們通過new來...

介面為什麼不能有建構函式

下面比較一下兩者的語法區別 1.抽象類可以有構造方法,介面中不能有構造方法。2.抽象類中可以有普通成員變數,介面中沒有普通成員變數 3.抽象類中可以包含非抽象的普通方法,介面中的所有方法必須都是抽象的,不能有非抽象的普通方法。抽象類中的抽象方法的訪問型別可以是public,protected和 預設...