關于C++ Primer中“通過基類調(diào)用被屏蔽的虛函數(shù)”

listenxu

在C++ Primer 15.5.4中有一個例子，看了很久沒有看懂，請教一下大家（分割線中是書中的原話）；
===============================================================
class Base {
     public:
         virtual int fcn();
     };
     class D1 : public Base {
     public:
          // hides fcn in the base; this fcn is not virtual
          int fcn(int); // parameter list differs from fcn in Base
          // D1 inherits definition of Base::fcn()
     };
     class D2 : public D1 {
     public:
         int fcn(int); // nonvirtual function hides D1::fcn(int)
         int fcn();    // redefines virtual fcn from Base
     };
從 Base 繼承的虛函數(shù)不能通過 D1 對象（或 D1 的引用或指針）調(diào)用，因為該函數(shù)被 fcn(int) 的定義屏蔽了。

通過基類類型的引用或指針調(diào)用函數(shù)時，編譯器將在基類中查找該函數(shù)而忽略派生類：

     Base bobj;  D1 d1obj;  D2 d2obj;
     Base *bp1 = &bobj, *bp2 = &d1obj, *bp3 = &d2obj;
     bp1->fcn();   // ok: virtual call, will call Base::fcnat run time
     bp2->fcn();   // ok: virtual call, will call Base::fcnat run time
     bp3->fcn();   // ok: virtual call, will call D2::fcnat run time
===============================================================

對于bp1和bp3，都沒有問題，但是對于bp2 ，為什么是可以調(diào)用的，存在如下疑問：

1） bp2 實際指向的是D1 類型的對象，但是D1 類 中定義了fcn，屏蔽了Base中的fcn，為什么會調(diào)用Base中的fcn而不出錯？
2） 對于“通過基類類型的引用或指針調(diào)用函數(shù)時，編譯器將在基類中查找該函數(shù)而忽略派生類” 這句話，無法理解；對于虛函數(shù)，不是應該動態(tài)綁定嗎？動態(tài)綁定的后果就是很有可能調(diào)用派生類中重新定義的虛函數(shù)；為什么這里講“忽略派生類”？ 如果忽略了派生類，如何實現(xiàn)動態(tài)綁定？

listenxu

UP, 都休假了？

hellioncu

1、D1的fcn跟基類的fcn參數(shù)不一樣，不能算屏蔽吧
2、 似乎話不對，bp3->fcn();不就是調(diào)用的派生類的么

listenxu

回復 3# hellioncu


1、D1的fcn跟基類的fcn參數(shù)不一樣，不能算屏蔽吧
--->  這個不管是C++ primer還是effective C++ , 都有這樣的說法，說是編譯器做匹配的時候，首先看的是函數(shù)名，只要函數(shù)名一樣，就算屏蔽了，前提是基類和派生類之間做選擇；

2、 似乎話不對，bp3->fcn();不就是調(diào)用的派生類的么
--->  這個，我也覺得不對，但是書上就這么寫的，頭疼

selfrun

回復 4# listenxu


    兩本書都沒看過，1的說法，能把原話貼上來么？

listenxu

回復 5# selfrun


    The version of fcn in D1 does not redefine the virtual fcn from Base. Instead, it hides fcn from the base. Effectively, D1 has two functions named fcn: The class inherits a virtual named fcn from the Base and defines its own, nonvirtual member named fcn that takes an int parameter. However, the virtual from the Base cannot be called from a D1 object (or reference or pointer to D1) because that function is hidden by the definition of fcn(int).

D1 中的 fcn 版本沒有重定義 Base 的虛函數(shù) fcn，相反，它屏蔽了基類的 fcn。結果 D1 有兩個名為 fcn 的函數(shù)：類從 Base 繼承了一個名為 fcn 的虛函數(shù)，類又定義了自己的名為 fcn 的非虛成員函數(shù)，該函數(shù)接受一個 int 形參。但是，從 Base 繼承的虛函數(shù)不能通過 D1 對象（或 D1 的引用或指針）調(diào)用，因為該函數(shù)被 fcn(int) 的定義屏蔽了。

=============================================================================================

以上是中英文版本；

littledick

總是先使用自己類型定義的函數(shù)，如果沒有才找基類的。
用指針或引用 調(diào)用本類型定義的虛函數(shù)的時候，才根據(jù)vt和rtti決定是哪個實現(xiàn)。
我是這樣理解的。

selfrun

listenxu 發(fā)表于 2014-07-07 14:09
回復 5# selfrun

看最后一句，你對屏蔽這個詞的理解有誤,這里的屏蔽是指在D1類,使用D1對象引用或指針時，基類的同名虛函數(shù)被屏蔽

listenxu

回復 8# selfrun


    謝謝