1

首先：我在某处读到虚函数的机制是未定义的。即这意味着每个编译器都可以以不同的方式实现它。但是，我发现的每一篇关于虚函数机制的文章都在谈论 VTBL 和 VPTR。

还有其他虚函数机制实现吗？你能举一些例子吗？

第二：不同语言的VTBL实现有什么区别？

4

3 回答 3

1

一种流行的替代方法是内联缓存，我认为它源自 Smalltalk 系统。

另一种选择是每个多态方法都有一个类型表，而不是每个类型都有一个多态方法表 (VMT)。它需要整个程序分析，但使高效的多重继承成为可能。一些 Eiffel 编译器使用这样的方法（更多在这里，寻找“如何有效地实现多重继承？”）。

最后一个还提到了另一种方法，基于 switch 语句的方法（在 Eiffel 中检查 ~ 在 C 中切换）。SmartEiffel 使用它的一个变体，它根据类 ID 进行二进制搜索。它还需要整个程序分析，但由于更好的指令缓存行为，有时在当前系统上比 VMT 更有效。（更多在这里，寻找“没有虚拟功能表的高效动态调度”）。

于 2014-04-04T10:32:34.487 回答
0

我给你举个例子。

class B
{
private:
    int m_i;
public:
    void foo() { puts("B::foo"); }
    virtual void bar() { puts("B::bar"); }
};
class D : public B
{
private:
    int m_j;
public:
    virtual void bar() { puts("D::bar"); }
    virtual void asdf() { puts("D::asdf"); }
};

int main()
{
    D d;
    B *pb = &d;
    pb->bar();
}

大多数编译器按如下方式实现该代码：

struct B;
struct __vtbl_B_t
{
    void (*bar)(B * const this);
};
struct B
{
    const __vtbl_B_t *__vptr;
    int m_i;
};
void B__foo(B * const this) { puts("B::foo"); }
void B__bar(B * const this) { puts("B::bar"); }

const __vtbl_B_t __vtbl_B = { B__bar };
void B__ctor(B * const this)
{
    this->__vptr = &__vtbl_B;
}

struct D;
struct __vtbl_D_t
{
    __vtbl_B_t __base;
    void (*asdf)(D * const this);
};
struct D
{
    B __base;
    int m_j;
};
void D__bar(D * const this) { puts("D::bar"); }
void D__asdf(D * const this) { puts("D::asdf"); }

__vtbl_D_t __vtbl_D = { { (void (*)(B * const))D__bar }, D__asdf };
void D__ctor(D * const this)
{
    B__ctor((B * const)this);
    this->__base.__vptr = (const __vtbl_B_t *)&__vtbl_D;
}

int main()
{
    D d;
    D__ctor(&d);

    B *pb = (B *)&d;

    (*pb->__vptr->bar)(pb);
}

输出：

D::bar

即使您的语言不是 C++，编译器的行为也是类似的。

于 2014-04-04T10:30:27.593 回答
0

这可能会帮助您：

虚拟方法表：与替代方法的比较

不同的编译器供应商可能会选择不同的方法......但最终的实现需要符合标准。这是……

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1905.pdf（第 10.3 节）

于 2014-04-04T10:26:14.130 回答