考虑一下:
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();
考虑一下:
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();
对于给定的示例,答案是肯定的,但对于来自基类的构造函数的调用则不然,该构造函数在派生类被构造之前执行。
有一个稍微修改的例子:
#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
我认为在 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
),并且可以避免动态分派。