0

考虑一下:

class B {
    void f() { vf(); };
    virtual void vf();
};

class D: public B{
    virtual void vf();
};

我认为在 C++ 中的实现B::f()是这样的:

f(B *this) {
    *(this->vptr[index])(this);
}

下面的例子中是D::vf()通过虚机制调用的吗?

B *p = new D();
p->f(); 
4

2 回答 2

2

对于给定的示例,答案是肯定的,但对于来自基类的构造函数的调用则不然,该构造函数在派生类被构造之前执行。

有一个稍微修改的例子:

#include <iostream>

class B {
public:
    B() { f(); }

    void f() { vf(); };
    virtual void vf()  { std::cout << "B::vf" << std::endl; }
};

class D: public B{
    void vf() override { std::cout << "D::vf" << std::endl; }
};

int main()
{
    B *p = new D();  // calls D::D() --> B::B() --> B::f() --> B::vf()
    p->f();          // calls B::f() --> D:vf()
}

输出是:

B::vf
D::vf
于 2020-09-03T04:09:35.080 回答
0

我认为在 C++ 中 B::f() 的实现是这样的:

f(B *this) {
    *(this->vptr[index])(this);
}

的值index在编译时总是已知的。vtable 是“记录”(一种结构,如 C/C++ struct)而不是数组或“表”。所以它就像:

void f(B *This) {
    (This->vptr.ptr_f)(This);
}

注意:您不需要取消引用指向 C 或 C++ 中的函数的指针。

下例中是否通过虚机制调用了 D::vf()?

B *p = new D();
p->f();

这取决于编译器及其“智能”。在低优化级别,它将通过虚拟机制(也称为动态调度)。

使用高效的优化器,可以确定使用的对象的真实类型(此处D),并且可以避免动态分派。

于 2020-09-19T21:04:31.293 回答