不带虚表的c++动态分派

compiler construction - C++ dynamic dispatch without vtables

本文关键字：动态 分派 c++ 虚表      更新时间：2023-10-16

据我所知，c++标准并不要求使用虚方法表(又名vtables)来实现动态调度。然而，我得到的印象是，变量是事实上的标准实现。我想知道是否有c++编译器使用不同的机制或至少允许不同的机制。

c++标准对虚函数的实现和调用机制没有多少限制。然而，由于它确实列出了许多不能是虚拟的东西，这实际上增加了自由度。

From n3797 10.3/1:

虚函数支持动态绑定和面向对象编程。

然后是很多关于overriding和final overrider的组成。

从5.2.2/1:

否则[function is virtual]，则调用对象表达式动态类型中的最终重写(10.3);这样的调用称为虚函数调用。[注:动态类型是对象表达式的当前值所引用的对象的类型…]

所以c++标准定义了一种基于对象动态类型的受限动态分派，仅此而已。只要每个对象都带有一种可以调用虚函数的机制，那么其他的一切都是可以争夺的。

是的，变量很常见，但它们不是最后的词。它们是很大的内存和速度成本，特别是对于多重继承。我可以很容易地想出一种机制，它不是一个虚值表，但速度一样快，使用更少的对象内存，但在代码或静态内存中占用更多的空间。各种各样的研究人员发明了大量的技术，有些甚至获得了专利。有一些技术可以提供更好的类型安全性，或者更好的分支预测，甚至更快的查找。我不认为提供链接有什么意义——你也可以很容易地找到它们。

但是没有，我不知道任何生产c++编译器使用这些机制。也许是时候考虑一个了?

相关文章：