关于C++ Primer中“通过基类调用被屏蔽的虚函数”

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 继承的虚函数不能通过 D1 对象（或 D1 的引用或指针）调用，因为该函数被 fcn(int) 的定义屏蔽了。

通过基类类型的引用或指针调用函数时，编译器将在基类中查找该函数而忽略派生类：

     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 ，为什么是可以调用的，存在如下疑问：

1） bp2 实际指向的是D1 类型的对象，但是D1 类 中定义了fcn，屏蔽了Base中的fcn，为什么会调用Base中的fcn而不出错？
2） 对于“通过基类类型的引用或指针调用函数时，编译器将在基类中查找该函数而忽略派生类” 这句话，无法理解；对于虚函数，不是应该动态绑定吗？动态绑定的后果就是很有可能调用派生类中重新定义的虚函数；为什么这里讲“忽略派生类”？ 如果忽略了派生类，如何实现动态绑定？

listenxu

UP, 都休假了？

hellioncu

1、D1的fcn跟基类的fcn参数不一样，不能算屏蔽吧
2、 似乎话不对，bp3->fcn();不就是调用的派生类的么

listenxu

回复 3# hellioncu


1、D1的fcn跟基类的fcn参数不一样，不能算屏蔽吧
--->  这个不管是C++ primer还是effective C++ , 都有这样的说法，说是编译器做匹配的时候，首先看的是函数名，只要函数名一样，就算屏蔽了，前提是基类和派生类之间做选择；

2、 似乎话不对，bp3->fcn();不就是调用的派生类的么
--->  这个，我也觉得不对，但是书上就这么写的，头疼

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 的虚函数 fcn，相反，它屏蔽了基类的 fcn。结果 D1 有两个名为 fcn 的函数：类从 Base 继承了一个名为 fcn 的虚函数，类又定义了自己的名为 fcn 的非虚成员函数，该函数接受一个 int 形参。但是，从 Base 继承的虚函数不能通过 D1 对象（或 D1 的引用或指针）调用，因为该函数被 fcn(int) 的定义屏蔽了。

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

以上是中英文版本；

littledick

总是先使用自己类型定义的函数，如果没有才找基类的。
用指针或引用 调用本类型定义的虚函数的时候，才根据vt和rtti决定是哪个实现。
我是这样理解的。

selfrun

listenxu 发表于 2014-07-07 14:09
回复 5# selfrun

看最后一句，你对屏蔽这个词的理解有误,这里的屏蔽是指在D1类,使用D1对象引用或指针时，基类的同名虚函数被屏蔽

listenxu

回复 8# selfrun


    谢谢