Differenza tra multimethods e sovraccarichi

Question

Contesto

Sono stato di programmazione in java per alcuni anni ormai. E ATM sto imparando qualcosa di totalmente diverso: Clojure. C'è il problema di espressione può essere risolto utilizzando multimethods mentre in Java si sarà bisogno di qualcosa come il modello visitatore o qualcosa di simile.

La domanda

Ho letto su multimethods, ma ho abbastanza confuso con la differenza reale con overloading dei metodi.

L'unica differenza ho notato finora che un multimethod non dipende dal tipo runtime dell'oggetto su cui viene chiamato il metodo.

Answer 1

Overloading is when two or more methods have the same name but different signature (different argument types, different number of arguments). Overloading is resolved statically, depending only on the static types of the arguments. (The interaction of overloading and overriding, in Java, for example, makes the story a little more complicated). Overloading resolves statically to a particular method signature. Then at runtime, dynamic dispatch will select the most appropriate method with that signature.

Multimethods are a collection of methods that have the same name, the same number of arguments, and overlapping type signatures. Whenever a call is made to a multimethod (using the name of the multimethod), all of the methods in the collection is considered as a possible candidate for dispatch. The precise candidate is chosen depending on the runtime types of the arguments – the most specific method is selected. The actual runtime types of all arguments are used to determine which one to run, which differs from traditional single dispatch in Java, where only the first argument (the target) of the method is used to determine which method body is run.

Answer 2

As far a as my understanding goes:

Multimethods are a generalization of method polymorphism.

A multimethod consists of 2 parts

1. A name

2. A dispatch method: which will produce a dispatch value

Based on this dispatch value, the appropriate method will be chosen. Overloading is a special case of multimethods where the dispatch method will return the static type as a dispatch value

In general, the dispatch method can be anything. It can return other values than the type.