动态分派

C ++使用早期绑定，并提供动态和静态分派。 分派的默认形式是静态的。 为了获得动态分派，程序员必须将一个方法声明为virtual。

C ++编译器通常使用称为虚拟表（vtable）的数据结构来实现动态分派，该表定义给定类（C ++本身没有vtable的概念）的消息到方法映射。 然后，该类型的实例将存储指向此表的指针作为其实例数据的一部分。 当使用多重继承时，这是复杂的因为C ++不支持后期绑定，C ++对象中的虚拟表不能在运行时修改，这将分派目标的潜在集限制为在编译时选择的有限集。

类型重载不会在C ++中产生动态分派，因为语言将消息参数的类型视为正式消息名称的一部分。 这意味着程序员看到的消息名不是用于绑定的正式名称。

在Go和Rust中使用了一种更多样化的早期绑定。 Vtable指针会携带对象引用作为一种'fat指针'（go中的接口，或Rust中的'trait对象'）。

这使得支持的接口与底层数据结构分离。 为了正确使用类型，每个编译库不需要知道所有的接口范围，只需要知道他们所需要的具体vtable布局即可。 代码可以将不同接口的同一块数据传递给不同的函数。 这种多功能性以每个对象引用的额外数据为代价，如果许多这样的引用被持久存储会出问题。

Smalltalk使用基于类型的消息分派器。每个实例都有一个类型，其定义包含方法。当实例接收到消息时，分派器在消息到方法映射中查找该类型的相应方法，然后调用该方法。

因为一个类型可以有一个基本类型链，这个查找可能是非常昂贵的。 一个不成熟的Smalltalk机制的实现似乎比C++有更高的开销，并且这种开销将会发生在对象接收的每个消息里。

真正的Smalltalk实现通常使用一种称为内联缓存的技术，这种技术使得方法分派非常迅速。内联缓存基本上存储调用站点的前一个目标方法地址和对象类（或者多对缓存的多个对）。缓存方法使用最常见的基于方法选择器的目标方法（或仅缓存缺失处理程序）来进行初始化。当在执行期间到达方法调用站点时，它只调用缓存中的地址。（在动态代码生成器中，此调用是直接调用，因为直接地址由缓存缺失逻辑负责回填）。被调用方法中的前序代码将缓存的类与实际对象类进行比较，如果它们不匹配，程序到缓存缺失处理程序分支中寻找正确的方法。一个快速实现可以具有多个高速缓存条目，并且它通常仅需要几个指令就可以在初始高速缓存未命中时执行正确的方法。常见的情况是一个缓存的类匹配，并且执行只会在该方法中继续。

外部缓存也可以通过使用对象类和方法选择器来实现在方法调用逻辑中的使用。在一个设计中，类和方法选择器被哈希并且用作到方法分派高速缓存表中的索引。

由于Smalltalk是一种反射语言，许多实现允许使用动态生成方法查找表的方法将单个对象变成对象。这允许在每个对象的基础上更改对象行为。一个被称为基于原型语言的语言类别已经从这里生根发芽，其中最著名的是Self和JavaScript。方法分派缓存的细心的设计甚至允许基于原型的语言具有高性能分派方法。

许多其他动态类型的语言，包括Python、Ruby、Objective-C和Groovy都使用类似的方法。