multiple dispatch

Angol

Főnév

multiple dispatch (tsz. multiple dispatches)

(informatika) Multiple dispatch egy dinamikus polimorfizmus forma, ahol egy függvény hívása több futásidejű típus alapján kerül kiválasztásra – nem csak az első (pl. this) vagy második, hanem akár mindegyik argumentum típusa alapján.

🧠 Mi az a multiple dispatch?

Olyan mechanizmus, ahol a hívott függvény implementációja az összes paraméter futásidejű típusától függ.

Ez túlmutat a single dispatch (pl. C++-beli virtual metódusok) és double dispatch technikán is.

📌 Példa hétköznapi nyelven:

Képzeld el, hogy egy add(a, b) műveletet akarsz végrehajtani, és a működése attól függ, hogy a és b milyen típusúak:

add(int, int) → egész számok összeadása
add(int, string) → sztringgé alakít és összefűz
add(Foo, Bar) → valamilyen egyedi logika

A multiple dispatch lényege, hogy ezek közül a megfelelő változat automatikusan kiválasztásra kerül futásidőben a tényleges típusok szerint.

🚫 Nincs natívan C++-ban

C++ csak single dispatch-t támogat natívan (virtuális függvényeken keresztül). De double dispatch-t kézzel implementálhatsz (mint korábban láttuk), míg multiple dispatch-hez trükkökre vagy külső könyvtárakra van szükség.

✅ Van több diszpécser pl.:

Nyelv	Támogatás
Julia	✅ Natív multiple dispatch
Clojure	✅ Multimethods
Common Lisp	✅ Generic functions
Python	🚫 nem natív, de `functools.singledispatch` és `multipledispatch` csomaggal lehet
C++	🚫 nincs beépítve, de kézzel megvalósítható Visitorral vagy map-el

🧪 Python példa (multipledispatch könyvtárral)

from multipledispatch import dispatch

@dispatch(int, int)
def add(a, b):
    return a + b

@dispatch(str, str)
def add(a, b):
    return a + b

@dispatch(int, str)
def add(a, b):
    return str(a) + b

print(add(1, 2))        # 3
print(add("a", "b"))    # ab
print(add(3, "x"))      # 3x

⚙️ Hogyan lehet C++-ban utánozni?

Több lehetőség van:

1. Double Dispatch láncolva

Kézzel implementálod minden párosítást (kombinatorikusan bonyolult).

2. Visitor minta kombinálása RTTI-vel

Példa:

#include <iostream>
#include <typeinfo>
using namespace std;

class Expr;
class IntExpr;
class AddExpr;

class Expr {
public:
    virtual void accept(Expr& other) = 0;
    virtual ~Expr() = default;
};

class IntExpr : public Expr {
public:
    void accept(Expr& other) override {
        // multiple dispatch-szerű logika
        if (typeid(other) == typeid(IntExpr))
            cout << "Int + Int" << endl;
        else if (typeid(other) == typeid(AddExpr))
            cout << "Int + AddExpr" << endl;
    }
};

class AddExpr : public Expr {
public:
    void accept(Expr& other) override {
        if (typeid(other) == typeid(IntExpr))
            cout << "AddExpr + Int" << endl;
        else if (typeid(other) == typeid(AddExpr))
            cout << "AddExpr + AddExpr" << endl;
    }
};

Ez nem ideális: lassú (typeid), merev, nem típusbiztos.

🔍 Összefoglalás

Fogalom	Leírás
Single dispatch	A függvény a hívó objektum típusától függ (pl. C++)
Double dispatch	A függvény két objektum típusától függ
Multiple dispatch	A függvény több (akár összes) argumentum típusától függ

🔚 TL;DR

Multiple dispatch = dinamikus függvényválasztás több típus alapján
C++ nem támogatja natívan
Hasznos matematikai műveleteknél, interpretereknél, játéklogikáknál
Nyelvek, mint Julia vagy Common Lisp, natívan támogatják

További információk

multiple dispatch - Szótár.net (en-hu)
multiple dispatch - Sztaki (en-hu)
multiple dispatch - Merriam–Webster
multiple dispatch - Cambridge
multiple dispatch - WordNet
multiple dispatch - Яндекс (en-ru)
multiple dispatch - Google (en-hu)
multiple dispatch - Wikidata
multiple dispatch - Wikipédia (angol)