multiple dispatch

multiple dispatch (tsz. multiple dispatches)

1. (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.

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.

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.

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.

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

Több lehetőség van:

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

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.

• 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

• 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)