C++中的虛擬函式(virtual function)
1.簡介
虛擬函式是C++中用於實現多型(polymorphism)的機制。核心理念就是通過基類訪問派生類定義的函式。假設我們有下面的類層次:
class A
{
public:
virtual void foo() { cout << "A::foo() is called" << endl;}
};
class B: public A
{
public:
virtual void foo() { cout << "B::foo() is called" << endl;}
};
那麼,在使用的時候,我們可以:
A * a = new B();
a->foo(); // 在這裡,a雖然是指向A的指標,但是被呼叫的函式(foo)卻是B的!
這個例子是虛擬函式的一個典型應用,通過這個例子,也許你就對虛擬函式有了一些概念。它虛就虛在所謂“推遲聯編”或者“動態聯編”上,一個類函式的呼叫並不是在編譯時刻被確定的,而是在執行時刻被確定的。由於編寫程式碼的時候並不能確定被呼叫的是基類的函式還是哪個派生類的函式,所以被成為“虛”函式。
虛擬函式只能藉助於指標或者引用來達到多型的效果,如果是下面這樣的程式碼,則雖然是虛擬函式,但它不是多型的:
class A
{
public:
virtual void foo();
};
class B: public A
{
virtual void foo();
};
void bar()
{
A a;
a.foo(); // A::foo()被呼叫
}
1.1 多型
在瞭解了虛擬函式的意思之後,再考慮什麼是多型就很容易了。仍然針對上面的類層次,但是使用的方法變的複雜了一些:
void bar(A * a)
{
a->foo(); // 被呼叫的是A::foo() 還是B::foo()?
}
因為foo()是個虛擬函式,所以在bar這個函式中,只根據這段程式碼,無從確定這裡被呼叫的是A::foo()還是B::foo(),但是可以肯定的說:如果a指向的是A類的例項,則A::foo()被呼叫,如果a指向的是B類的例項,則B::foo()被呼叫。
這種同一程式碼可以產生不同效果的特點,被稱為“多型”。
1.2 多型有什麼用?
多型這麼神奇,但是能用來做什麼呢?這個命題我難以用一兩句話概括,一般的C++教程(或者其它面嚮物件語言的教程)都用一個畫圖的例子來展示多型的用途,我就不再重複這個例子了,如果你不知道這個例子,隨便找本書應該都有介紹。我試圖從一個抽象的角度描述一下,回頭再結合那個畫圖的例子,也許你就更容易理解。
在物件導向的程式設計中,首先會針對資料進行抽象(確定基類)和繼承(確定派生類),構成類層次。這個類層次的使用者在使用它們的時候,如果仍然在需要基類的時候寫針對基類的程式碼,在需要派生類的時候寫針對派生類的程式碼,就等於類層次完全暴露在使用者面前。如果這個類層次有任何的改變(增加了新類),都需要使用者“知道”(針對新類寫程式碼)。這樣就增加了類層次與其使用者之間的耦合,有人把這種情況列為程式中的“bad smell”之一。
多型可以使程式設計師脫離這種窘境。再回頭看看1.1中的例子,bar()作為A-B這個類層次的使用者,它並不知道這個類層次中有多少個類,每個類都叫什麼,但是一樣可以很好的工作,當有一個C類從A類派生出來後,bar()也不需要“知道”(修改)。這完全歸功於多型--編譯器針對虛擬函式產生了可以在執行時刻確定被呼叫函式的程式碼。
1.3 如何“動態聯編”
編譯器是如何針對虛擬函式產生可以再執行時刻確定被呼叫函式的程式碼呢?也就是說,虛擬函式實際上是如何被編譯器處理的呢?Lippman在深度探索C++物件模型[1]中的不同章節講到了幾種方式,這裡把“標準的”方式簡單介紹一下。
我所說的“標準”方式,也就是所謂的“VTABLE”機制。編譯器發現一個類中有被宣告為virtual的函式,就會為其搞一個虛擬函式表,也就是VTABLE。VTABLE實際上是一個函式指標的陣列,每個虛擬函式佔用這個陣列的一個slot。一個類只有一個VTABLE,不管它有多少個例項。派生類有自己的VTABLE,但是派生類的VTABLE與基類的VTABLE有相同的函式排列順序,同名的虛擬函式被放在兩個陣列的相同位置上。在建立類例項的時候,編譯器還會在每個例項的記憶體佈局中增加一個vptr欄位,該欄位指向本類的VTABLE。通過這些手段,編譯器在看到一個虛擬函式呼叫的時候,就會將這個呼叫改寫,針對1.1中的例子:
void bar(A * a)
{
a->foo();
}
會被改寫為:
void bar(A * a)
{
(a->vptr[1])();
}
因為派生類和基類的foo()函式具有相同的VTABLE索引,而他們的vptr又指向不同的VTABLE,因此通過這樣的方法可以在執行時刻決定呼叫哪個foo()函式。
雖然實際情況遠非這麼簡單,但是基本原理大致如此。
1.4 overload和override
虛擬函式總是在派生類中被改寫,這種改寫被稱為“override”。我經常混淆“overload”和“override”這兩個單詞。但是隨著各類C++的書越來越多,後來的程式設計師也許不會再犯我犯過的錯誤了。但是我打算澄清一下:
override是指派生類重寫基類的虛擬函式,就象我們前面B類中重寫了A類中的foo()函式。重寫的函式必須有一致的參數列和返回值(C++標準允許返回值不同的情況,這個我會在“語法”部分簡單介紹,但是很少編譯器支援這個feature)。這個單詞好象一直沒有什麼合適的中文詞彙來對應,有人譯為“覆蓋”,還貼切一些。
overload約定成俗的被翻譯為“過載”。是指編寫一個與已有函式同名但是參數列不同的函式。例如一個函式即可以接受整型數作為引數,也可以接受浮點數作為引數。
2. 虛擬函式的語法
虛擬函式的標誌是“virtual”關鍵字。
2.1 使用virtual關鍵字
考慮下面的類層次:
class A
{
public:
virtual void foo();
};
class B: public A
{
public:
void foo(); // 沒有virtual關鍵字!
};
class C: public B // 從B繼承,不是從A繼承!
{
public:
void foo(); // 也沒有virtual關鍵字!
};
這種情況下,B::foo()是虛擬函式,C::foo()也同樣是虛擬函式。因此,可以說,基類宣告的虛擬函式,在派生類中也是虛擬函式,即使不再使用virtual關鍵字。
2.2 純虛擬函式
如下宣告表示一個函式為純虛擬函式:
class A
{
public:
virtual void foo()=0; // =0標誌一個虛擬函式為純虛擬函式
};
一個函式宣告為純虛後,純虛擬函式的意思是:我是一個抽象類!不要把我例項化!純虛擬函式用來規範派生類的行為,實際上就是所謂的“介面”。它告訴使用者,我的派生類都會有這個函式。
2.3 虛解構函式
解構函式也可以是虛的,甚至是純虛的。例如:
class A
{
public:
virtual ~A()=0; // 純虛解構函式
};
當一個類打算被用作其它類的基類時,它的解構函式必須是虛的。考慮下面的例子:
class A
{
public:
A() { ptra_ = new char[10];}
~A() { delete[] ptra_;} // 非虛解構函式
private:
char * ptra_;
};
class B: public A
{
public:
B() { ptrb_ = new char[20];}
~B() { delete[] ptrb_;}
private:
char * ptrb_;
};
void foo()
{
A * a = new B;
delete a;
}
在這個例子中,程式也許不會象你想象的那樣執行,在執行delete a的時候,實際上只有A::~A()被呼叫了,而B類的解構函式並沒有被呼叫!這是否有點兒可怕?
如果將上面A::~A()改為virtual,就可以保證B::~B()也在delete a的時候被呼叫了。因此基類的解構函式都必須是virtual的。
純虛的解構函式並沒有什麼作用,是虛的就夠了。通常只有在希望將一個類變成抽象類(不能例項化的類),而這個類又沒有合適的函式可以被純虛化的時候,可以使用純虛的解構函式來達到目的。
2.4 虛建構函式?
建構函式不能是虛的。
3. 虛擬函式使用技巧 3.1 private的虛擬函式
考慮下面的例子:
class A
{
public:
void foo() { bar();}
private:
virtual void bar() { ...}
};
class B: public A
{
private:
virtual void bar() { ...}
};
在這個例子中,雖然bar()在A類中是private的,但是仍然可以出現在派生類中,並仍然可以與public或者protected的虛擬函式一樣產生多型的效果。並不會因為它是private的,就發生A::foo()不能訪問B::bar()的情況,也不會發生B::bar()對A::bar()的override不起作用的情況。
這種寫法的語意是:A告訴B,你最好override我的bar()函式,但是你不要管它如何使用,也不要自己呼叫這個函式。
3.2 建構函式和解構函式中的虛擬函式呼叫
一個類的虛擬函式在它自己的建構函式和解構函式中被呼叫的時候,它們就變成普通函式了,不“虛”了。也就是說不能在建構函式和解構函式中讓自己“多型”。例如:
class A
{
public:
A() { foo();} // 在這裡,無論如何都是A::foo()被呼叫!
~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()被呼叫,那麼你就錯了。同樣,在new B的時候,A的建構函式被呼叫,但是在A的建構函式中,被呼叫的是A::foo()而不是B::foo()。
3.3 多繼承中的虛擬函式 3.4 什麼時候使用虛擬函式
在你設計一個基類的時候,如果發現一個函式需要在派生類裡有不同的表現,那麼它就應該是虛的。從設計的角度講,出現在基類中的虛擬函式是介面,出現在派生類中的虛擬函式是介面的具體實現。通過這樣的方法,就可以將物件的行為抽象化。
以設計模式[2]中Factory Method模式為例,Creator的factoryMethod()就是虛擬函式,派生類override這個函式後,產生不同的Product類,被產生的Product類被基類的AnOperation()函式使用。基類的AnOperation()函式針對Product類進行操作,當然Product類一定也有多型(虛擬函式)。
另外一個例子就是集合操作,假設你有一個以A類為基類的類層次,又用了一個std::vector<A *>來儲存這個類層次中不同類的例項指標,那麼你一定希望在對這個集合中的類進行操作的時候,不要把每個指標再cast回到它原來的型別(派生類),而是希望對他們進行同樣的操作。那麼就應該將這個“一樣的操作”宣告為virtual。
現實中,遠不只我舉的這兩個例子,但是大的原則都是我前面說到的“如果發現一個函式需要在派生類裡有不同的表現,那麼它就應該是虛的”。這句話也可以反過來說:“如果你發現基類提供了虛擬函式,那麼你最好override它”。
4.參考資料
[1] 深度探索C++物件模型,Stanley B.Lippman,侯捷譯
[2] Design Patterns, Elements of Reusable Object-Oriented Software, GOF
虛擬函式是C++中用於實現多型(polymorphism)的機制。核心理念就是通過基類訪問派生類定義的函式。假設我們有下面的類層次:
class A
{
public:
virtual void foo() { cout << "A::foo() is called" << endl;}
};
class B: public A
{
public:
virtual void foo() { cout << "B::foo() is called" << endl;}
};
那麼,在使用的時候,我們可以:
A * a = new B();
a->foo(); // 在這裡,a雖然是指向A的指標,但是被呼叫的函式(foo)卻是B的!
這個例子是虛擬函式的一個典型應用,通過這個例子,也許你就對虛擬函式有了一些概念。它虛就虛在所謂“推遲聯編”或者“動態聯編”上,一個類函式的呼叫並不是在編譯時刻被確定的,而是在執行時刻被確定的。由於編寫程式碼的時候並不能確定被呼叫的是基類的函式還是哪個派生類的函式,所以被成為“虛”函式。
虛擬函式只能藉助於指標或者引用來達到多型的效果,如果是下面這樣的程式碼,則雖然是虛擬函式,但它不是多型的:
class A
{
public:
virtual void foo();
};
class B: public A
{
virtual void foo();
};
void bar()
{
A a;
a.foo(); // A::foo()被呼叫
}
1.1 多型
在瞭解了虛擬函式的意思之後,再考慮什麼是多型就很容易了。仍然針對上面的類層次,但是使用的方法變的複雜了一些:
void bar(A * a)
{
a->foo(); // 被呼叫的是A::foo() 還是B::foo()?
}
因為foo()是個虛擬函式,所以在bar這個函式中,只根據這段程式碼,無從確定這裡被呼叫的是A::foo()還是B::foo(),但是可以肯定的說:如果a指向的是A類的例項,則A::foo()被呼叫,如果a指向的是B類的例項,則B::foo()被呼叫。
這種同一程式碼可以產生不同效果的特點,被稱為“多型”。
1.2 多型有什麼用?
多型這麼神奇,但是能用來做什麼呢?這個命題我難以用一兩句話概括,一般的C++教程(或者其它面嚮物件語言的教程)都用一個畫圖的例子來展示多型的用途,我就不再重複這個例子了,如果你不知道這個例子,隨便找本書應該都有介紹。我試圖從一個抽象的角度描述一下,回頭再結合那個畫圖的例子,也許你就更容易理解。
在物件導向的程式設計中,首先會針對資料進行抽象(確定基類)和繼承(確定派生類),構成類層次。這個類層次的使用者在使用它們的時候,如果仍然在需要基類的時候寫針對基類的程式碼,在需要派生類的時候寫針對派生類的程式碼,就等於類層次完全暴露在使用者面前。如果這個類層次有任何的改變(增加了新類),都需要使用者“知道”(針對新類寫程式碼)。這樣就增加了類層次與其使用者之間的耦合,有人把這種情況列為程式中的“bad smell”之一。
多型可以使程式設計師脫離這種窘境。再回頭看看1.1中的例子,bar()作為A-B這個類層次的使用者,它並不知道這個類層次中有多少個類,每個類都叫什麼,但是一樣可以很好的工作,當有一個C類從A類派生出來後,bar()也不需要“知道”(修改)。這完全歸功於多型--編譯器針對虛擬函式產生了可以在執行時刻確定被呼叫函式的程式碼。
1.3 如何“動態聯編”
編譯器是如何針對虛擬函式產生可以再執行時刻確定被呼叫函式的程式碼呢?也就是說,虛擬函式實際上是如何被編譯器處理的呢?Lippman在深度探索C++物件模型[1]中的不同章節講到了幾種方式,這裡把“標準的”方式簡單介紹一下。
我所說的“標準”方式,也就是所謂的“VTABLE”機制。編譯器發現一個類中有被宣告為virtual的函式,就會為其搞一個虛擬函式表,也就是VTABLE。VTABLE實際上是一個函式指標的陣列,每個虛擬函式佔用這個陣列的一個slot。一個類只有一個VTABLE,不管它有多少個例項。派生類有自己的VTABLE,但是派生類的VTABLE與基類的VTABLE有相同的函式排列順序,同名的虛擬函式被放在兩個陣列的相同位置上。在建立類例項的時候,編譯器還會在每個例項的記憶體佈局中增加一個vptr欄位,該欄位指向本類的VTABLE。通過這些手段,編譯器在看到一個虛擬函式呼叫的時候,就會將這個呼叫改寫,針對1.1中的例子:
void bar(A * a)
{
a->foo();
}
會被改寫為:
void bar(A * a)
{
(a->vptr[1])();
}
因為派生類和基類的foo()函式具有相同的VTABLE索引,而他們的vptr又指向不同的VTABLE,因此通過這樣的方法可以在執行時刻決定呼叫哪個foo()函式。
雖然實際情況遠非這麼簡單,但是基本原理大致如此。
1.4 overload和override
虛擬函式總是在派生類中被改寫,這種改寫被稱為“override”。我經常混淆“overload”和“override”這兩個單詞。但是隨著各類C++的書越來越多,後來的程式設計師也許不會再犯我犯過的錯誤了。但是我打算澄清一下:
override是指派生類重寫基類的虛擬函式,就象我們前面B類中重寫了A類中的foo()函式。重寫的函式必須有一致的參數列和返回值(C++標準允許返回值不同的情況,這個我會在“語法”部分簡單介紹,但是很少編譯器支援這個feature)。這個單詞好象一直沒有什麼合適的中文詞彙來對應,有人譯為“覆蓋”,還貼切一些。
overload約定成俗的被翻譯為“過載”。是指編寫一個與已有函式同名但是參數列不同的函式。例如一個函式即可以接受整型數作為引數,也可以接受浮點數作為引數。
2. 虛擬函式的語法
虛擬函式的標誌是“virtual”關鍵字。
2.1 使用virtual關鍵字
考慮下面的類層次:
class A
{
public:
virtual void foo();
};
class B: public A
{
public:
void foo(); // 沒有virtual關鍵字!
};
class C: public B // 從B繼承,不是從A繼承!
{
public:
void foo(); // 也沒有virtual關鍵字!
};
這種情況下,B::foo()是虛擬函式,C::foo()也同樣是虛擬函式。因此,可以說,基類宣告的虛擬函式,在派生類中也是虛擬函式,即使不再使用virtual關鍵字。
2.2 純虛擬函式
如下宣告表示一個函式為純虛擬函式:
class A
{
public:
virtual void foo()=0; // =0標誌一個虛擬函式為純虛擬函式
};
一個函式宣告為純虛後,純虛擬函式的意思是:我是一個抽象類!不要把我例項化!純虛擬函式用來規範派生類的行為,實際上就是所謂的“介面”。它告訴使用者,我的派生類都會有這個函式。
2.3 虛解構函式
解構函式也可以是虛的,甚至是純虛的。例如:
class A
{
public:
virtual ~A()=0; // 純虛解構函式
};
當一個類打算被用作其它類的基類時,它的解構函式必須是虛的。考慮下面的例子:
class A
{
public:
A() { ptra_ = new char[10];}
~A() { delete[] ptra_;} // 非虛解構函式
private:
char * ptra_;
};
class B: public A
{
public:
B() { ptrb_ = new char[20];}
~B() { delete[] ptrb_;}
private:
char * ptrb_;
};
void foo()
{
A * a = new B;
delete a;
}
在這個例子中,程式也許不會象你想象的那樣執行,在執行delete a的時候,實際上只有A::~A()被呼叫了,而B類的解構函式並沒有被呼叫!這是否有點兒可怕?
如果將上面A::~A()改為virtual,就可以保證B::~B()也在delete a的時候被呼叫了。因此基類的解構函式都必須是virtual的。
純虛的解構函式並沒有什麼作用,是虛的就夠了。通常只有在希望將一個類變成抽象類(不能例項化的類),而這個類又沒有合適的函式可以被純虛化的時候,可以使用純虛的解構函式來達到目的。
2.4 虛建構函式?
建構函式不能是虛的。
3. 虛擬函式使用技巧 3.1 private的虛擬函式
考慮下面的例子:
class A
{
public:
void foo() { bar();}
private:
virtual void bar() { ...}
};
class B: public A
{
private:
virtual void bar() { ...}
};
在這個例子中,雖然bar()在A類中是private的,但是仍然可以出現在派生類中,並仍然可以與public或者protected的虛擬函式一樣產生多型的效果。並不會因為它是private的,就發生A::foo()不能訪問B::bar()的情況,也不會發生B::bar()對A::bar()的override不起作用的情況。
這種寫法的語意是:A告訴B,你最好override我的bar()函式,但是你不要管它如何使用,也不要自己呼叫這個函式。
3.2 建構函式和解構函式中的虛擬函式呼叫
一個類的虛擬函式在它自己的建構函式和解構函式中被呼叫的時候,它們就變成普通函式了,不“虛”了。也就是說不能在建構函式和解構函式中讓自己“多型”。例如:
class A
{
public:
A() { foo();} // 在這裡,無論如何都是A::foo()被呼叫!
~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()被呼叫,那麼你就錯了。同樣,在new B的時候,A的建構函式被呼叫,但是在A的建構函式中,被呼叫的是A::foo()而不是B::foo()。
3.3 多繼承中的虛擬函式 3.4 什麼時候使用虛擬函式
在你設計一個基類的時候,如果發現一個函式需要在派生類裡有不同的表現,那麼它就應該是虛的。從設計的角度講,出現在基類中的虛擬函式是介面,出現在派生類中的虛擬函式是介面的具體實現。通過這樣的方法,就可以將物件的行為抽象化。
以設計模式[2]中Factory Method模式為例,Creator的factoryMethod()就是虛擬函式,派生類override這個函式後,產生不同的Product類,被產生的Product類被基類的AnOperation()函式使用。基類的AnOperation()函式針對Product類進行操作,當然Product類一定也有多型(虛擬函式)。
另外一個例子就是集合操作,假設你有一個以A類為基類的類層次,又用了一個std::vector<A *>來儲存這個類層次中不同類的例項指標,那麼你一定希望在對這個集合中的類進行操作的時候,不要把每個指標再cast回到它原來的型別(派生類),而是希望對他們進行同樣的操作。那麼就應該將這個“一樣的操作”宣告為virtual。
現實中,遠不只我舉的這兩個例子,但是大的原則都是我前面說到的“如果發現一個函式需要在派生類裡有不同的表現,那麼它就應該是虛的”。這句話也可以反過來說:“如果你發現基類提供了虛擬函式,那麼你最好override它”。
4.參考資料
[1] 深度探索C++物件模型,Stanley B.Lippman,侯捷譯
[2] Design Patterns, Elements of Reusable Object-Oriented Software, GOF
相關文章
- 【C++基礎】純虛擬函式 - pure virtual functionC++函式Function
- C++繼承三之純虛擬函式pure virtual functionC++繼承函式Function
- C++中的虛擬函式與虛擬函式表 (轉)C++函式
- C++ 中的虛擬函式C++函式
- C++中抽象類、虛擬函式和純虛擬函式C++抽象函式
- [CareerCup] 13.3 Virtual Functions 虛擬函式Function函式
- C++中虛擬函式的作用C++函式
- C++ 虛擬函式C++函式
- C++虛擬函式C++函式
- C++ Virtual函式C++函式
- c++虛擬函式表C++函式
- C++虛擬函式bugC++函式
- 內聯(inline)函式與虛擬函式(virtual)的討論inline函式
- C/C++—— C++中建構函式不能是虛擬函式的原因分析C++函式
- 【C++筆記】虛擬函式(從虛擬函式表來解析)C++筆記函式
- 【C++筆記】虛擬函式(從虛擬函式概念來解析)C++筆記函式
- C++函式中那些不可以被宣告為虛擬函式的函式C++函式
- C++ 介面(純虛擬函式)C++函式
- C++ 虛擬函式表剖析C++函式
- C++ 虛擬函式表解析C++函式
- 詳解C++中的多型和虛擬函式C++多型函式
- 虛擬函式,虛擬函式表函式
- 虛擬函式 純虛擬函式函式
- 【虛擬函式】C++中虛擬函式的作用是什麼?它應該怎麼用呢?[轉]函式C++
- C++多型(上)——虛擬函式、虛表C++多型函式
- C++多型之虛擬函式C++多型函式
- C++虛擬函式解析(轉載)C++函式
- 深入C++成員函式及虛擬函式表C++函式
- C++箴言:避免解構函式呼叫虛擬函式C++箴言函式
- C++ 虛擬函式和虛繼承淺析C++函式繼承
- 我對C++中虛擬函式、純虛擬函式在實現多型中作用的一點淺薄認識 (轉)C++函式多型
- C++虛擬函式學習總結C++函式
- C++繼承二之虛擬函式C++繼承函式
- C++ 繼承、多型、虛擬函式C++繼承多型函式
- C++:純虛擬函式與抽象類C++函式抽象
- C++ Daily 《3》----建構函式可否是虛擬函式C++AI函式
- 介面、虛擬函式、純虛擬函式、抽象類函式抽象
- 虛擬函式函式