C++ virtual member function FAQ

【1】? 虛成員函數(shù)和非虛成員函數(shù)調(diào)用方式有什么不同？
??? 非虛成員函數(shù)是靜態(tài)確定的。也就是說，該成員函數(shù)（在編譯時）被靜態(tài)地選擇，該選擇基于指向?qū)ο蟮闹羔槪ɑ蛞茫┑念愋汀?相比而言，虛成員函數(shù)是動態(tài)確定的（在運行時）。也就是說，成員函數(shù)（在運行時）被動態(tài)地選擇，該選擇基于對象的類型，而不是指向該對象的指針/引用的類型。這被稱作“動態(tài)綁定/動態(tài)聯(lián)編”。大多數(shù)的編譯器使用以下的一些的技術(shù)，也就是所謂的“VTABLE”機制：
???? 編譯器發(fā)現(xiàn)一個類中有被聲明為virtual的函數(shù)，就會為其搞一個虛函數(shù)表，也就是VTABLE。VTABLE實際上是一個函數(shù)指針的數(shù)組，每個虛函數(shù)占用這個數(shù)組的一個slot。一個類只有一個VTABLE，不管它有多少個實例。派生類有自己的VTABLE，但是派生類的VTABLE與基類的VTABLE有相同的函數(shù)排列順序，同名的虛函數(shù)被放在兩個數(shù)組的相同位置上。在創(chuàng)建類實例的時候，編譯器還會在每個實例的內(nèi)存布局中增加一個vfptr字段，該字段指向本類的VTABLE。通過這些手段，編譯器在看到一個虛函數(shù)調(diào)用的時候，就會將這個調(diào)用改寫，在分發(fā)一個虛函數(shù)時，運行時系統(tǒng)跟隨對象的 v-pointer找到類的 v-table，然后跟隨v-table中適當?shù)捻椪业椒椒ǖ拇a。
??? 以上技術(shù)的空間開銷是存在的：每個對象一個額外的指針（僅僅對于需要動態(tài)綁定的對象），加上每個方法一個額外的指針（僅僅對于虛方法）。時間開銷也是有的：和普通函數(shù)調(diào)用比較，虛函數(shù)調(diào)用需要兩個額外的步驟（得到v-pointer的值，得到方法的地址）。由于編譯器在編譯時就通過指針類型解決了非虛函數(shù)的調(diào)用，所以這些開銷不會發(fā)生在非虛函數(shù)上。

【2】 析構(gòu)函數(shù)也可以是虛的，甚至是純虛的，但是構(gòu)造函數(shù)不能是虛的
???? 純虛的析構(gòu)函數(shù)并沒有什么作用，是虛的就夠了。通常只有在希望將一個類變成抽象類（不能實例化的類），而這個類又沒有合適的函數(shù)可以被純虛化的時候，可以使用純虛的析構(gòu)函數(shù)來達到目的。構(gòu)造函數(shù)不能是虛的（為什么？因為在一個構(gòu)造函數(shù)調(diào)用期間，虛機制并不工作），但是你可以可能通過虛函數(shù) virtual clone()（對于拷貝構(gòu)造函數(shù)）或虛函數(shù) virtual create()（對于默認構(gòu)造函數(shù)），得到虛構(gòu)造函數(shù)產(chǎn)生的效果。如下：
class Shape {
?public:
?? virtual ~Shape() { }???????????????? // 虛析構(gòu)函數(shù)
?? virtual void draw() = 0;???????????? // 純虛函數(shù)
?? virtual void move() = 0;
?? // ...
?? virtual Shape* clone()? const = 0;?? // 使用拷貝構(gòu)造函數(shù)
?? virtual Shape* create() const = 0;?? // 使用默認構(gòu)造函數(shù)
?};
?
?class Circle : public Shape {
?public:
?? Circle* clone()? const { return new Circle(*this); }
?? Circle* create() const { return new Circle();????? }
?? // ...
?};
??? 在 clone() 成員函數(shù)中，代碼 new Circle(*this) 調(diào)用 Circle 的拷貝構(gòu)造函數(shù)來復制this的狀態(tài)到新創(chuàng)建的Circle對象。在 create()成員函數(shù)中，代碼 new Circle() 調(diào)用Circle的默認構(gòu)造函數(shù)。
用戶將它們看作“虛構(gòu)造函數(shù)”來使用它們：
?void userCode(Shape& s)
?{
?? Shape* s2 = s.clone();
?? Shape* s3 = s.create();
?? // ...
?? delete s2;??? // 在此處，你可能需要虛析構(gòu)函數(shù)
?? delete s3;
?}
??? 這個函數(shù)將正確工作，而不管 Shape 是一個Circle，Square，或是其他種類的 Shape，甚至它們還并不存在。

【3】 構(gòu)造函數(shù)和析構(gòu)函數(shù)中的虛函數(shù)調(diào)用
??? 一個類的虛函數(shù)在它自己的構(gòu)造函數(shù)和析構(gòu)函數(shù)中被調(diào)用的時候，它們就變成普通函數(shù)了，不“虛”了。也就是說不能在構(gòu)造函數(shù)和析構(gòu)函數(shù)中讓自己“多態(tài)”。例如：
class A
{
public:
??? A() { foo();}??????? // 在這里，無論如何都是A::foo()被調(diào)用！
??? ~A() { foo();}?????? // 同上
??? virtual void foo();
};

class B: public A
{
public:
??? virtual void foo();
};

void bar()
{
??? A * a = new B;
??? delete a;
}
??? 如果你希望delete a的時候，會導致B::foo()被調(diào)用，那么你就錯了。同樣，在new B的時候，A的構(gòu)造函數(shù)被調(diào)用，但是在A的構(gòu)造函數(shù)中，被調(diào)用的是A::foo()而不是B::foo()。為什么會有這樣的規(guī)定呢，原因如下：
??? 當基類被構(gòu)造時，對象還不是一個派生類的對象，所以如果 Base::Base()調(diào)用了虛函數(shù) virt()，則 Base::virt() 將被調(diào)用，即使 Derived::virt()（派生類重寫該虛函數(shù)）存在。
??? 同樣，當基類被析構(gòu)時，對象已經(jīng)不再是一個派生類對象了，所以如果 Base::~Base()調(diào)用了virt()，則 Base::virt()得到控制權(quán)，而不是重寫的 Derived::virt() 。
??? 當你可以想象到如果 Derived::virt() 涉及到派生類的某個成員對象將造成的災難的時候，你很快就能看到這種方法的明智。詳細來說，如果 Base::Base()調(diào)用了虛函數(shù) virt()，這個規(guī)則使得 Base::virt()被調(diào)用。如果不按照這個規(guī)則，Derived::virt()將在派生對象的派生部分被構(gòu)造之前被調(diào)用，此時屬于派生對象的派生部分的某個成員對象還沒有被構(gòu)造，而 Derived::virt()卻能夠訪問它。這將是災難。

【4】私有private的虛函數(shù)是否具有多態(tài)性？
??? 考慮下面的例子：
class A
{
public:
??? void foo() { bar();}
private:
??? virtual void bar() { ...}
};

class B: public A
{
private:
??? virtual void bar() { ...}
};
??? 在這個例子中，雖然bar()在A類中是private的，但是仍然可以出現(xiàn)在派生類中，并仍然可以與public或者protected的虛函數(shù)一樣產(chǎn)生多態(tài)的效果。并不會因為它是private的，就發(fā)生A::foo()不能訪問B::bar()的情況，也不會發(fā)生B::bar()對A::bar()的override不起作用的情況。
??? 這種寫法的語意是：A告訴B，你最好override我的bar()函數(shù)，但是你不要管它如何使用，也不要自己調(diào)用這個函數(shù)。