在閱讀UE4源碼的時候發現一個有趣的問題,
UnrealEngine/SceneViewExtension.h-97-ISceneViewExtension
UnrealEngine/SceneViewExtension.h-230-FSceneViewExtensionBase
ISceneViewExtension
是一個抽象類,但是它的子類FSceneViewExtensionBase
並沒有實現它的純虛函數,以前學習的時候,純虛函數的規則是派生類必須去override,所有沒有得到一個合理的解釋。
class ENGINE_API FSceneViewExtensionBase : public ISceneViewExtension, public TSharedFromThis<FSceneViewExtensionBase, ESPMode::ThreadSafe>
{
};
有如下解釋:
C++規定,當一個成員函數被聲明為虛函數后,其派生類中的同名函數都自動成為虛函數。因此在派生類重新聲明該虛函數時,可以加virtual,也可以不加,但習慣上一般在每一層聲明該函數時都加virtual,使程序更加清晰。如果在派生類中沒有對基類的虛函數重新定義,則派生類簡單地繼承其直接基類的虛函數。
下面復制一份虛函數詳解的文章,方便記錄學習:
純虛函數
首先:強調一個概念
定義一個函數為虛函數,不代表函數為不被實現的函數。
定義他為虛函數是為了允許用基類的指針來調用子類的這個函數。
定義一個函數為純虛函數,才代表函數沒有被實現。
定義純虛函數是為了實現一個接口,起到一個規范的作用,規范繼承這個類的程序員必須實現這個函數。
定義
純虛函數也可以叫抽象函數,一般來說它只有函數名、參數和返回值類型,不需要函數體。
純虛函數是一種特殊的虛函數,它的一般格式如下(C++格式):
struct Abstract {
virtual void f() = 0; // pure virtual
}; // "Abstract" is abstract
在許多情況下,在基類中不能對虛函數給出有意義的實現,而把它聲明為純虛函數,它的實現留給該基類的派生類去做。這就是純虛函數的作用。
引入原因
1、為了方便使用多態特性,我們常常需要在基類中定義虛擬函數。
2、在很多情況下,基類本身生成對象是不合情理的。例如,動物作為一個基類可以派生出老虎、孔雀等子類,但動物本身生成對象明顯不合常理。
為了解決上述問題,引入了純虛函數的概念,將函數定義為純虛函數(方法:virtual ReturnType Function()= 0;) ,則編譯器要求在派生類中必須予以重寫 以實現多態性。同時含有純虛擬函數的類稱為抽象類,它不能生成對象 。這樣就很好地解決了上述兩個問題。
聲明了純虛函數的類是一個抽象類。所以,用戶不能創建類的實例,只能創建它的派生類的實例。
純虛函數最顯著的特征
它們必須在繼承類中重新聲明函數(不要后面的=0,否則該派生類也不能實例化),而且它們在抽象類中往往沒有定義。
定義純虛函數的目的在於,使派生類僅僅只是繼承函數的接口。
純虛函數的意義,讓所有的類對象(主要是派生類對象)都可以執行純虛函數的動作,但類無法為純虛函數提供一個合理的默認實現。所以類純虛函數的聲明就是在告訴子類的設計者,"你必須提供一個純虛函數的實現,但我不知道你會怎樣實現它" 。
何時使用純虛函數?
(1)當想在基類中抽象出一個方法,且該基類只做能被繼承,而不能被實例化;
(2)這個方法必須在派生類(derived class)中被實現;
如果滿足以上兩點,可以考慮將該方法申明為pure virtual function.
相似概念
抽象類的介紹
抽象類是一種特殊的類,它是為了抽象和設計的目的為建立的,它處於繼承層次結構的較上層。
(1)抽象類的定義:稱帶有純虛函數的類為抽象類。
(2)抽象類的作用:抽象類的主要作用是將有關的操作作為結果接口組織在一個繼承層次結構中,由它來為派生類提供一個公共的根,派生類將具體實現在其基類中作為接口的操作。所以派生類實際上刻畫了一組子類的操作接口的通用語義,這些語義也傳給子類,子類可以具體實現這些語義,也可以再將這些語義傳給自己的子類。
(3)使用抽象類時注意:
抽象類只能作為基類來使用,其純虛函數的實現由派生類給出。如果派生類中沒有重新定義純虛函數,而只是繼承基類的純虛函數,則這個派生類仍然還是一個抽象類 。如果派生類中給出了基類純虛函數的實現,則該派生類就不再是抽象類了,它是一個可以建立對象的具體的類。
抽象類是不能定義對象的。
2.虛函數的介紹
(1)虛函數的定義:是在基類中被聲明為virtual,並在派生類中重新定義的成員函數,可實現成員函數的動態重載。
(2)虛函數的使用方法:
a.在基類用virtual聲明成員函數為虛函數。這樣就可以在派生類中重新定義此函數,為它賦予新的功能,並能方便地被調用。在類外定義虛函數時,不必再加virtual。
b.在派生類中重新定義此函數,要求函數名、函數類型、函數參數個數和類型全部與基類的虛函數相同,並根據派生類的需要重新定義函數體。
C++規定,當一個成員函數被聲明為虛函數后,其派生類中的同名函數都自動成為虛函數。因此在派生類重新聲明該虛函數時,可以加virtual,也可以不加,但習慣上一般在每一層聲明該函數時都加virtual,使程序更加清晰。如果在派生類中沒有對基類的虛函數重新定義,則派生類簡單地繼承其直接基類的虛函數。
c.定義一個指向基類對象的指針變量,並使它指向同一類族中需要調用該函數的對象。
d.通過該指針變量調用此虛函數,此時調用的就是指針變量指向的對象的同名函數。
通過虛函數與指向基類對象的指針變量的配合使用,就能方便地調用同一類族中不同類的同名函數,只要先用基類指針指向即可。如果指針不斷地指向同一類族中不同類的對象,就能不斷地調用這些對象中的同名函數。
需要說明;有時在基類中定義的非虛函數會在派生類中被重新定義,如果用基類指針調用該成員函數,則系統會調用對象中基類部分的成員函數;如果用派生類指針調用該成員函數,則系統會調用派生類對象中的成員函數,這並不是多態性行為(使用的是不同類型的指針),沒有用到虛函數的功能。
總結
1、純虛函數聲明如下:virtual void funtion1()=0;
純虛函數一定沒有定義 ,純虛函數用來規范派生類的行為,即接口。包含純虛函數的類是抽象類,抽象類不能定義實例,但可以聲明指向實現該抽象類的具體類的指針或引用。
2、虛函數聲明如下:virtual ReturnType FunctionName(Parameter)
虛函數必須實現 ,如果不實現,編譯器將報錯,錯誤提示為:
error LNK*** *: unresolved external symbol "public: virtual void __thiscall ClassName::virtualFunctionName(void)"
3、對於虛函數(不是純虛函數)來說,父類和子類都有各自的版本。由多態方式調用的時候動態綁定。
4、實現了純虛函數的子類,該純虛函數在子類中就變成了虛函數,子類的子類即孫子類可以覆蓋該虛函數,由多態方式調用的時候動態綁定 。
5、虛函數是C++中用於實現多態(polymorphism)的機制(重要) 。核心理念就是通過基類訪問派生類定義的函數。
6、在有動態分配堆上內存的時候,析構函數必須是虛函數,但沒有必要是純虛的。
7、友元不是成員函數,只有成員函數才可以是虛擬的 ,因此友元不能是虛擬函數。但可以通過讓友元函數調用虛擬成員函數來解決友元的虛擬問題。
8、析構函數應當是虛函數,將調用相應對象類型的析構函數,因此,如果指針指向的是子類對象,將調用子類的析構函數,然后自動調用基類的析構函數 。
相關參考
virtual 函數說明符 - cppreference.com
Derived classes - cppreference.com
【C++學習筆記】 純虛函數詳解,絕不純屬虛構! - 沐歌愛編程 - 博客園 (cnblogs.com)