Fortran是否通过INTERFACE语句实现多分派机制？

答案是不算，这也是支持多重分派的语言列表没有收录Fortran的核心原因，两者的核心差异非常明确：

• Fortran通过INTERFACE块定义的泛型过程，本质是编译期静态多重重载：编译器只会根据调用点传入实参的静态声明类型，在编译阶段就匹配好要调用的具体子程序，整个匹配过程完全在编译期完成，不涉及任何运行时的类型判断逻辑。哪怕是Fortran 2003之后新增的类型绑定泛型，遵循的也是这套静态匹配规则，没有运行时自动分派的能力。
• 编程语言语境下的正式多重分派，核心要求是运行时自动分派：程序运行时会根据所有传入参数的实际动态类型，自动选择匹配度最高的具体实现，不需要开发者手动写类型判断分支。

举个很直观的验证场景：如果定义了抽象父类Shape，以及两个继承自它的子类Circle、Square，再给泛型接口draw分别绑定接收Circle类型、Square类型的两个具体实现。当你用一个声明为Shape类型的多态变量承载Circle实例，尝试调用draw时，Fortran的泛型接口根本没法自动匹配到Circle对应的实现——你必须自己写select type分支，手动判断变量的动态类型再调用对应过程，这显然不属于语言层面原生支持的多重分派。

很多人会把多参数的静态重载和多重分派混淆，核心判定标准其实很简单：看分派逻辑是编译期就固定死，还是运行时根据参数实际动态类型自动选择。Fortran的INTERFACE只实现了前者，自然不会被归类到支持多重分派的语言行列。

内容的提问来源于stack exchange，提问作者wanderinganon