通过指针的c++函数调用可以访问隐藏的基类成员函数吗？

Question

我有如下代码:

#include <iostream>
using namespace std;

class Base
{
public:
        virtual int f(int i);   // _ZN4Base1fEi
};

int Base::f(int i)
{
        cout << "Base f()" << endl;
}

class Derived:public Base
{
public:
        // (change) int f(int p);
        int f(int *p);
};
// (change) int Derived::f(int p)
int Derived::f(int *p)
{
        cout << "Derived f()" << endl;
}

int main(void)
{
        Base b;
        Derived d;

        Base *pa, *pb;

        pa = &b;
        pb = &d;

        pa->f(1);   // Base f()
        pb->f(1);   // Base f()
        //d.f(1);   // compile error!
        return 0;
}

如果我使用 (change)代码，输出将是

Base f()
Derived f()

所以 (change)代码重载 Base::f() ，对于函数调用，我认为编译器应该生成如下内容:

(*pa->vptr[1])(pa, 1)    // access vtbl to get function address
(*pb->vptr[1])(pb, 1)

这是因为编译器知道 Base::f()和 Derived::f()是虚函数，对吧？因此它生成访问 vtbl 的代码。但如果不使用 (change)代码，两次调用 f()将访问 Base::f() ，这是否意味着它仍然生成与上面相同的内容来访问 vtbl？如果是这样，我可以假设生成代码的过程如下:对于通过指针调用的函数，首先检查指针的引用类型( pa 或 pb )，然后想到 f()作为<reference type>::f() (Base::f() 这里)，发现它是一个虚函数并生成代码。这将导致另一个问题，Derived::f()隐藏 Base::f()在class Derived ，这就是为什么 d.f(1)是一个错误。但是pb->f(1)可以访问Base::f() , 和 pb指向 Derived d , 这是否意味着 pb->f(1)可以访问隐藏的Base::f() ？所以隐藏机制不适用于通过指针调用函数？

谢谢

Answer 1

This is because compiler knows that Base::f() and Derived::f() are virtual functions, right?

不完全是。编译器知道 Base::f() 是虚拟的，如果 Derived::f() 是虚拟的，在这种情况下是否隐藏它是无关紧要的。你创造了坏榜样，并让自己感到困惑。看看这个函数:

void f( Base *p )
{
     p->f(1);
}

并尝试回答您自己的问题。也尝试回答这个问题:

1 编译器是否知道 p 指向 Base 还是 Derived？

2 如果没有，它将如何生成调用 f() 的代码？

So hide mechanism doesn't working for function call via pointer?

隐藏机制是编译时概念，用于解析方法调用。您通过指向 Base * 的指针调用 f()，因此编译器不关心它是否隐藏在 Derived 中，它生成代码以通过Base指针调用虚方法。

实际上，在您的情况下，优化器可能会消除虚拟表解析，因为它知道实际类型，但结果将完全相同。而且与“隐藏机制”完全无关