oop - 多重分派(dispatch)和方法重载有什么区别？

Question

在像 Scala 这样的语言中，可以通过更改参数的数量和/或方法的参数类型来为一个方法名称定义多个定义。这称为方法重载。

这与多分派(dispatch)有何不同？

谢谢

Answer 1

方法重载在编译时解决。
多分派(dispatch)在运行时解决。
当使用双重分派(dispatch)时，被调用的方法取决于接收者和参数的实际类型。然而，方法重载只允许被调用的方法依赖于参数的声明类型。为什么？ Java 在编译时将方法调用与它们的完整签名绑定(bind)(早期绑定(bind))。完整签名包括所有参数类型，因此当参数的实际类型在运行时不同(多态)时，重载不会像您预期的那样工作!

void add(Foo o) { ... }
void add(Bar o) { ... }
void client() {
    Foo o = new Bar();
    add(o); // calls add(Foo) not add(Bar)!
}

但是使用多次调度

void add(Foo o) { o.dispatch(this); }
void add(Bar o) { o.dispatch(this); }
void client() {
    Foo o = new Bar();
    add(o); // calls #dispatch as defined in Bar!
}

Scala 中的情况可能略有不同，但一般区别应该与此处在所有编程语言中呈现的相同。