C++虚函数除了vtable怎么实现？ [复制]答案

【问题标题】：How can C++ virtual functions be implemented except vtable? [duplicate]C++虚函数除了vtable怎么实现？ [复制]
【发布时间】：2011-07-22 00:42:16
【问题描述】：

可能重复：
A question about virtual mechanism in C++

在 C++ 中使用 vtable 是实现虚成员函数机制的唯一方法吗？还有哪些其他方式？

【问题讨论】：

【解决方案1】：

我不知道有任何编译器在不使用 vtable 方法的情况下实现虚函数。

然而，理论上，可以创建一个对象指针和指向虚函数的指针表的内部映射，类似于map<objPtr, functionTable*>，通过以下方式实现动态多态性虚函数。但这会使动态调度比 vtable-approach 慢。

似乎 vtable-approach 可能是实现动态多态性的最快机制。也许，这就是所有编译器都采用这种方法的原因！

【讨论】：

【解决方案2】：

从技术上讲，动态分派所需要的只是能够识别对象的动态类型，给定一个指向它的指针。因此，任何类型的隐藏（或不那么隐藏）typeid 字段都可以工作。

动态调度将使用该 typeid 来查找关联的函数。该关联可以是一个 hastable 或一个 typeid 为索引的数组，或任何其他合适的关系。 vptr 恰好是用最少的步骤实现这一目标的方法。

【讨论】：

【解决方案3】：

另一种可能的实现是将指向虚函数的指针直接存储到对象中。当然，这个解决方案从未在实践中使用过（至少在我所知道的任何语言中），因为它会导致内存占用量的急剧增加。然而，有趣的是，使用此实现的代码实际上可以运行得更快，因为它通过抑制对 vptr 的需求来移除间接层。

【讨论】：

【解决方案4】：

另一个已知的机制是类型分派函数。实际上，您将 vtable 指针替换为 typeid（小枚举）。（动态）链接器收集给定虚函数的所有覆盖，并将它们包装在 typeid 字段上的一个大 switch 语句中。

理论上的理由是，这用大量可预测的跳跃代替了间接跳跃（不可预测的）。在选择枚举值方面有一些技巧，switch 语句也可以相当有效（即比 lineair 更好）

【讨论】：