实现双调度：动态重载与协变专门化的方法

"双重分派是面向对象编程中的一个概念，它涉及到根据接收器和参数的运行时类型动态选择方法。在某些语言中，如C++和Java，只支持单调度，即仅根据接收器的类型选择方法，而双重分派则允许基于参数类型进一步细化选择。这通常需要程序员使用运行时类型信息（RTTI）和类型转换来实现，但这可能破坏代码的可重用性和类型安全性。 本文作者洛伦佐·贝蒂尼提出了一种技术，旨在将双重分派作为类型安全的语言特性添加到核心语言中，无需扩展基本语义。他们通过引入一个核心语言，并扩展成一个形式化的多方法系统来实现这一目标。接着，他们定义了一个将多方法转换为仅使用静态重载和单分派的标准机制的算法。这个转换过程保持了类型安全性，不依赖RTTI，避免了类型向下转换，并减少了方法选择的性能开销。 关键词涵盖了双调度、多方法、动态重载和程序转换，这些都是讨论的重点。文章指出，双重分派的实现可以提供更灵活的编程模型，减少对RTTI和类型转换的依赖，进而提高代码的可读性和可维护性。访问者模式等设计模式虽然能解决部分问题，但仍然需要程序员额外的工作。因此，将双重分派作为语言内置的功能可以简化这类问题的处理，提高编程效率。"