理解OO语言中的分派：静态与动态，单次与多次

"这篇文章主要介绍了访问者模式以及与之相关的名词解释，如静态分派、动态分派、单分派和多分派等概念。同时，文章也提到了Java中的方法重载和重写，以及工厂模式的分类，包括简单工厂模式、工厂方法模式和抽象工厂模式。" 在面向对象（Object-Oriented, OO）编程中，访问者模式是一种设计模式，用于在不修改现有类结构的情况下增加新的操作。文章首先解释了“分派”的概念，它是根据对象的类型来选择不同方法的过程，是OO语言多态性的重要体现。分派可以分为编译期的静态分派和运行期的动态分派。 1. 静态分派：基于对象的静态类型（即声明时的类型）在编译期确定方法调用。例如，方法重载就是静态分派的典型例子。编译器会根据方法调用时的参数类型选择合适的方法。 2. 动态分派：在运行时，根据对象的实际类型（而非声明类型）来选择方法。方法重写是动态分派的典型示例。Java等语言通过这两种分派方式支持多态性。 此外，文章还讨论了分派的另一分类——单分派和多分派。单分派语言只依据一个类型来选择方法，而多分派语言则可能根据多个类型。例如，Smalltalk是单分派语言，而CLOS和Cecil支持多分派。多重分派是指由多个单分派组合的过程，可以模拟多分派语言的效果。 文章还涉及Java的分派实践，通过简单的重载例子展示了Java如何处理静态分派和动态分派。重载是基于参数类型的不同，而重写则涉及到子类对父类方法的覆盖。 接着，文章引入了工厂模式，这是创建对象的一种设计模式，用于封装对象的创建过程。工厂模式分为简单工厂模式、工厂方法模式和抽象工厂模式。简单工厂模式通常由一个具体类实现，负责创建特定类型的对象。工厂方法模式将对象创建的责任推给子类，使得创建过程更加灵活。抽象工厂模式则更进一步，提供了创建相关对象族的接口，而无需指定它们的具体类。 通过工厂模式，程序可以避免类似文章开头的“暴发户”问题，即避免在代码中硬编码具体类的创建，提高代码的可扩展性和可维护性。