下面3個小問題都是我認為C++ Beginner應該能夠解答或辨別清楚的。希望我們能通過題目挖掘更多的信息，而不僅僅局限在解題。我最喜歡說的話：能力有限，所以作為拋磚引玉，希望共同討論，指出錯誤。

另外，我都是碰到一個覺得有必要記錄的問題，就寫下來說說，所以每一篇內容可能不是單一主題。

1、先來看一道簡單題目。有下面這個繼承類：

 
 

  
  
class Person 
  
  
{ 
  
  
public: 
  
  
void Walk() //普通人的“走” 
  
  
{ 
  
  
cout << "Person::Walk I am an Ordinary People." << endl; 
  
  
}; 
  
  
}; 
  
  
 
  
  
class Student : public Person 
  
  
{ 
  
  
public: 
  
  
void Walk() //學生的“走” 
  
  
{ 
  
  
cout << "Student::Walk I am a student." << endl; 
  
  
}; 
  
  
}; 
 
 

你沒看錯Walk()是非虛函數(shù)。請解釋下面代碼：

 
 

  
  
Student s; 
  
  
Person* pp = &s; 
  
  
pp->Walk(); 
  
  
 
  
  
Student* ps= &s; 
  
  
ps->Walk(); 
 
 

結果是這樣的：

分析：Walk()是非虛函數(shù)，被靜態(tài)綁定所限制，所以pp、ps是什么類型就決定了調用的版本。這里，我還要說明的一點是：明白接口繼承和實現(xiàn)繼承。聲明一個non-virtual函數(shù)的目的是為了令derived class繼承函數(shù)的接口及一份強制性實現(xiàn)。所以，絕不要重新定義繼承而來的non-virtual函數(shù)。

2、下面這個問題實質上也是靜態(tài)綁定與動態(tài)綁定的問題，但看起來不那么明顯。

 
 

  
  
class Shape 
  
  
{ 
  
  
public: 
  
  
enum ShapeColor{Red, Green, Blue}; //形狀顏色 
  
  
 
  
  
virtual void Draw(ShapeColor color = Red) const = 0; 
  
  
}; 
  
  
 
  
  
class Circle : public Shape 
  
  
{ 
  
  
public: 
  
  
virtual void Draw(ShapeColor color) const 
  
  
{ 
  
  
cout << "I am Circle::Draw. "; 
  
  
cout << "My color = " << color << endl; 
  
  
} 
  
  
}; 
  
  
 
  
  
class Rectangle : public Shape 
  
  
{ 
  
  
public: 
  
  
virtual void Draw(ShapeColor color = Green) const //缺省的參數(shù)值被更改了 
  
  
{ 
  
  
cout << "I am Rectangle::Draw. "; 
  
  
cout << "My color = " << color << endl; 
  
  
} 
  
  
}; 
 
 

我主要想說兩個問題。

（1）當你下面這樣調用時，請解釋會發(fā)生什么情況。

 
 

  
  
Circle cr; //(1) 編譯不通過 
  
  
cr.Draw(); 
  
  
Shape *ps = &cr; //(2) 
  
  
ps->Draw(); 
 
 

沒錯，(1)通過對象調用而不指定參數(shù)是錯誤的，而(2)的結果是這樣的：color = 0代表Red這你應該是知道的。

分析：通過對象調用是靜態(tài)綁定，一定要指定參數(shù)值，因為靜態(tài)綁定這個函數(shù)不從base class繼承缺省參數(shù)值。動態(tài)綁定卻可以從base class繼承參數(shù)值。注意，這里我就不強調動態(tài)綁定和靜態(tài)綁定的概念了，但下面這個一定是靜態(tài)綁定：

 
 

  
  
Circle cr; 
  
  
Circle *ps = &cr; //這還是靜態(tài)綁定，靜態(tài)類型Circle *，編譯不通過 
  
  
ps->Draw(); 
 
 

（2）第二個我想說的問題，請解釋下面的調用結果。

 
 

  
  
Shape* ps1 = new Rectangle; 
  
  
ps1->Draw(); 
  
  
Shape* ps2 = new Circle; 
  
  
ps2->Draw(); 
 
 

是這樣令人可喜的結果：

你是說，你在Rectangle中已經將Draw的缺省值改為1（Green）了，怎么沒效果？

分析：Rectangle::Draw的缺省參數(shù)值為GREEN，但ps2的靜態(tài)類型為Shape*，所以此調用的缺省參數(shù)值來自Shape class。

如果你非要讓Rectangle::Draw的參數(shù)有所改變，可以這樣調用（提供參數(shù)）：

 
 

  
  
Shape* ps4 = new Rectangle; 
  
  
ps4->Draw(Shape::Green); 
  
  
Shape* ps5 = new Circle; 
  
  
ps5->Draw(Shape::Green); 
 
 

這個問題是想提醒你：virtual函數(shù)是動態(tài)綁定，缺省參數(shù)值是靜態(tài)綁定。所以，不應該重新定義這個缺省參數(shù)值。

3、多重繼承為什么會含有多個虛表指針而不是一個？

這道題是我看一位同學面試經驗時，面試官提的，我試著回答一下，不知道在不在點子上，還請補充和指正。

答：多重繼承下，因為編譯器對一個derived class實現(xiàn)了n-1個虛表，n表示上一層base class的個數(shù)，當然假設每個base class都有至少有一個virtual函數(shù)，否則編譯器是不會為其添加vptr和vtbl了。所以說有多少個虛表，自然就有多少個指針指向，而不是一個。

這樣說我不知道合理不合理，可能面試官要問的點是“為什么需要多個虛表？一個虛表行不行？”

這個屬于編譯器廠商做的事情，標準并未規(guī)范。C++的父親就做出過這樣的一款編譯器原型，通過增大vtbl的體積，每個slot上不只有一個指針，還有一個offset，用來調整this指針的指向。

這樣做的弊端是：所有vtbl中的虛函數(shù)指針都包含這樣一個offset，并且假設不需要調整this指向，調用時還是要做offset的加法操作，盡管offset此時為0。另外，vtbl中每個slot體積的膨脹。這些都是效率問題。

實際上，用來調整this的指向用的比較多的是trunk技術，必須以匯編編寫才能獲得高效率。另外，sun編譯器就是把多個虛表連鎖為1個，每個表格中含有下一個表格的指針（通過offset方式），這樣就需要一個指針就好了。

理解能力有限，不知道問的是不是這么一回事？

網(wǎng)站欄目：C++中幾個值得分析的小問題
文章網(wǎng)址：http://uogjgqi.cn/article/dhgjeop.html