昨晚打開論壇,看到有朋友問了一個關於虛函數的問題,因為頭太疼了,所以今天中午起床再看。
問題傳送門:http://www.cppleyuan.com/viewthread.php?tid=7923
C++的一些特性好久沒使用了,導致有些生疏了,所以查了一些資料,回顧了一下。
先來看幾個概念:
重載(overload),重寫(override,也稱覆蓋), 重定義(redefine,也稱隱藏)
(PS:第三個我不確定在英文中是否應該稱為redefine,如有問題,留言告知,謝謝)
一、重載(overload)
指函數名相同,但是它的參數表列個數或順序,類型不同。但是不能靠返回類型來判斷。
(1)相同的范圍(在同一個作用域中) ;
(2)函數名字相同;
(3)參數不同;
(4)virtual 關鍵字可有可無。
(5)返回值可以不同;
二、重寫(也稱為覆蓋 override)
是指派生類重新定義基類的虛函數,特征是:
(1)不在同一個作用域(分別位於派生類與基類) ;
(2)函數名字相同;
(3)參數相同;
(4)基類函數必須有 virtual 關鍵字,不能有 static 。
(5)返回值相同(或是協變),否則報錯;<—-協變這個概念我也是第一次才知道…
(6)重寫函數的訪問修飾符可以不同。盡管 virtual 是 private 的,派生類中重寫改寫為 public,protected 也是可以的
三、重定義(也成隱藏)
(1)不在同一個作用域(分別位於派生類與基類) ;
(2)函數名字相同;
(3)返回值可以不同;
(4)參數不同。此時,不論有無 virtual 關鍵字,基類的函數將被隱藏(注意別與重載以及覆蓋混淆) 。
(5)參數相同,但是基類函數沒有 virtual關鍵字。此時,基類的函數被隱藏(注意別與覆蓋混淆) 。
OK,這里給出一個樣例代碼,是論壇那個問題的代碼做了一些修改,方便理解:
2 #include <complex>
3 using namespace std;
4
5 class Base
6 {
7 public:
8 virtual void a( int x) { cout << " Base::a(int) " << endl; }
9 // overload the Base::a(int) function
10 virtual void a( double x) { cout << " Base::a(double) " << endl; }
11 virtual void b( int x) { cout << " Base::b(int) " << endl; }
12 void c( int x) { cout << " Base::c(int) " << endl; }
13 };
14
15 class Derived : public Base
16 {
17 public:
18 // redefine the Base::a() function
19 void a(complex< double> x) { cout << " Derived::a(complex) " << endl; }
20 // override the Base::b(int) function
21 void b( int x) { cout << " Derived::b(int) " << endl; }
22 // redefine the Base::c() function
23 void c( int x) { cout << " Derived::c(int) " << endl; }
24 };
25
26 int main()
27 {
28 Base b;
29 Derived d;
30 Base* pb = new Derived;
31 // ----------------------------------- //
32 b.a( 1.0); // Base::a(double)
33 d.a( 1.0); // Derived::a(complex)
34 pb->a( 1.0); // Base::a(double), This is redefine the Base::a() function
35 // pb->a(complex<double>(1.0, 2.0)); // clear the annotation and have a try
36 // ----------------------------------- //
37 b.b( 10); // Base::b(int)
38 d.b( 10); // Derived::b(int)
39 pb->b( 10); // Derived::b(int), This is the virtual function
40 // ----------------------------------- //
41 delete pb;
42
43 return 0;
44 }
1.Base類中的第二個函數a是對第一個的重載
2.Derived類中的函數b是對Base類中函數b的重寫,即使用了虛函數特性。
3.Derived類中的函數a是對Base淚中函數a的隱藏,即重定義了。
4.pb指針是一個指向Base類型的指針,但是它實際指向了一個Derived的空間,這里對pd調用函數的處理(多態性)取決於是否重寫(虛函數特性)了函數,若沒有,則依然調用基類。
5.只有在通過基類指針或基類引用 間接指向派生類類型時多態性才會起作用。
6.因為Base類的函數c沒有定義為virtual虛函數,所以Derived類的函數c是對Base::c()的重定義。
網上參考資料:
1.http://sns.linuxpk.com/blog-6583-17085.html
2.http://www.cnblogs.com/xd502djj/archive/2010/09/22/1832912.html
3.http://blog.sina.com.cn/s/blog_6ae7d6b00100pb4v.html
4.http://topic.csdn.net/u/20110227/23/42d93b05-03b1-460b-8521-707117ce5600.html
5.http://www.cnblogs.com/realyan/archive/2011/07/14/2106339.html
6.http://topic.csdn.net/u/20081023/18/122ac3bd-8ad2-4e6e-8624-090f22c82139.html
個人博客原文鏈接:http://www.wutianqi.com/?p=3171