今天無意中發現一個關於C++基礎的問題,當時愣是沒理解是什麼原因,現在搞明白了,就寫下來了。先看小程式,先實踐再理論吧,要不大家就睡著了。

  1. #include <iostream> 
  2. using namespace std; 
  3. class Base 
  4. public
  5.       virtual void funtion(int arg = 1){cout<<arg<<endl;}       
  6. }; 
  7. class Derive : public Base 
  8. public
  9.       virtual void funtion(){cout<<"Derive"<<endl;} 
  10.       virtual void funtion(int arg){cout<<"Derive"<<arg<<endl;}       
  11. }; 
  12. int main(int argc, char *argv[]) 
  13.     Base* obj = new Derive(); 
  14.     obj->funtion(); 
  15.     system("pause"); 
  16.     return 0;     

 

上面的程式會出現什麼結果呢?我想會有很多人看到這個地方就會懷疑我程式的正確性了,大呼“你的程式是錯的”,但真的錯嗎?我們可以先執行下程式看下結果。很明顯,結果是呼叫了子類的函式,並且子類中arg引數的值是父類中的值1,執行結果為“Derive 1”。

   下面我就解釋下這種結果的原因,首先我先要說下物件的兩種型別:動態型別和靜態型別。

靜態型別 :指標或者是引用宣告時的型別。

動態型別 :由他實際指向的型別確定。

例如:

  1. Base *pgo=   //pgo靜態型別是Base * 
  2. new Derive; //動態型別是Derive * 
  3. Asterioid *pa = new Asterioid; //pa的靜態型別是 Asterioid * 
  4. //動態型別也是 Asterioid * 
  5. pgo = pa; //pgo靜態型別總指向Base * 
  6. //動態型別指向了 Asterioid * 
  7. Base &rgo = *pa; //rgo的靜態型別是Base 
  8. //動態型別是 Asterioid 

虛擬函式是動態繫結的,而預設引數值是靜態繫結的執行時效率。如果預設引數值是動態繫結的話,那麼編譯器必須提供一整套方案,為執行時的虛擬函式引數確定恰當的預設值。而這樣做,比起C++當前使用的編譯時決定機制而言,將會更復雜、更慢。魚和熊掌不可兼得,C++將設計的中心傾向了速度和簡潔,你在享受效率的快感的同時,如果你忽略本條目的建議,你就會陷入困惑。

   其實對於這個問題在[Effective C++3]中也有提到,其第36條:避免對派生的非虛擬函式進行重定義。下面看下書中的描述:

現在考慮以下的層次結構:B是一個基類,D是由B的公有繼承類,B類中定義了一個公有成員函式mf,由於這裡mf的引數和返回值不是討論的重點,因此假設mf是無引數無返回值的函式。也就是說:

  1. class B { 
  2. public
  3.   void mf(); 
  4. }; 
  5. class D: public B {  }; 
  6. 即使不知道B、D、mf的任何資訊,讓我們宣告一個D的物件x: 
  7. D x;                           // x 是D型別的物件 
  8. B *pB = &x;                       // 指向x的指標 
  9. pB->mf();                         // 通過指標呼叫mf函式 
  10. D *pD = &x;                       // 指向x的指標 
  11. pD->mf();                         // 通過指標呼叫mf函式 

在這裡,如果告訴你pD->mf()pB->mf()可能擁有不同的行為,你一定會感到意外。這也難怪:因為兩次都是在呼叫x物件的成員函式mf,因為兩種情況下都是用了同一函式和同一物件,mf()理所應當應該有一致的行為。難道不是嗎?

 

你說得沒錯,的確“理所應當”。但這一點無法得到保證。在特殊情況下,如果mf是非虛擬函式並且D類中對mf進行了重定義,那麼問題就出現了:

  1. class D: public B { 
  2. public
  3.   void mf();                   // 隱藏了B::mf; 參見第33條 
  4. }; 
  5. pB->mf();                         // 呼叫B::mf 
  6. pD->mf();                         // 呼叫D::mf 

 

此類“雙面行為”的出現,究其原因,是由於諸如B::mfD::mf這樣的非虛擬函式是靜態繫結的(參見第37條)。這也就意味著:由於我們將pB宣告為指向B的指標,那麼通過pB所呼叫的所有非虛擬函式都將呼叫B類中的版本,即使pB指向一個B的派生類的物件也是如此,正如上文示例所示。

 

然而,對於虛擬函式而言,它們在編譯期間採用動態繫結(再次參見第37條),因此它們不會被這個問題困擾。如果mf是虛擬函式,那麼無論通過pB還是pD來呼叫mf都會是對D::mf的呼叫,這是因為pBpD實際上指向同一物件,這個物件是D型別的。

 

如果你正在編寫D類,並且你對由B類繼承而來的mf函式進行了重定義,那麼D類將會表現出不穩定的行為。在特定情況下,任意給定的D物件在呼叫mf函式時可能表現出BD兩種不同的行為,而且決定哪種行為的因素是指向mf的指標的型別,與物件本身沒有任何關係。引用同指標一樣會出現這種莫名其妙的行為。

但是,本文的內容僅僅是從實際角度出發做出的分析,我知道,你真正需要的是對“避免對派生的非虛擬函式進行重定義”這一命題的理論推導。我很樂意效勞。

32條解釋了公有繼承意味著A是一個B,第34條描述了為什麼在類中宣告一個非虛擬函式是對類本身設定的“個性化壁壘”。將上述理論應用到類BD和非虛你函式B::mf上,我們可以得到:

·對B生效的所有東西對D也生效,這是因為所有的D物件都是B物件。

 

·繼承自B的類必須同時繼承mf的介面和實現,這是因為mfB類中的非虛擬函式。

 

現在,如果在D類中對mf進行了重定義,那麼你的設計方案中就出現了一個矛盾。如果D確實需要與B不同的mf實現方案,並且對於所有的B物件,無論這些物件多麼個性化,它們都必須使用B實現版本的mf,於是我們可以很簡單地的出以下的結論:並不是每個D都是一個B。這種情況下,D並非公有繼承自B。然而,如果我們確實需要DB的公有繼承類的話,並且D確實需要與B不同的mf實現版本,那麼mfB的“個性化壁壘”作用就不復存在了。這種情況下,mf應該是虛擬函式。最後,如果每個D確實是一個B,並且mf確實對B起到了“個性化壁壘”的作用,那麼D中並不會真正的重定義mf,它也不應該做出這樣的嘗試。

無論從哪個角度講,我們都必須無條件地禁止對派生的非虛擬函式進行重定義。

如果閱讀本文給你一種似曾相識的感覺,那麼你一定是對閱讀過的第7條還有印象,在那裡,我們解釋了為什麼多型基類的解構函式必須為虛擬函式。如果你違背了第7條的思想(比如,你在多型基類中宣告瞭一個非虛解構函式),那麼你也就同時違背了本條的思想。這是因為在派生類中繼承到的非虛擬函式一定會被重定義。即使派生類中不宣告任何解構函式也是如此,這是因為,對於一些特定的函式,即使你不自己生成它們,編譯器也會自動為你生成它們(參見第5條)。從本質上講,第7條只不過是本條的一個特殊情況,只是因為它十分重要,我們才把它單列出一條來。

銘記在心

·避免在派生類中重定義非虛擬函式。