Mikor és milyen feltételek mellett kezd el működni a…

A Swiftben a metódusok (method dispatch) meghatározza, hogy melyik kód fog végrehajtódni egy objektum metódusának hívásakor. A dispatch típusának kiválasztása a Swift kód fordítási idejében történik.

Három fő dispatch típus létezik Swiftben:

Közvetlen dispatch (Direct Dispatch):
- A leggyorsabb.
- A függvény címe fordítási időben ismert.
- Alapértelmezés szerint alkalmazható:
  - struct és enum (mivel nem támogatják az osztályöröklést).
  - final osztálymetódusok.
  - private osztálymetódusok (internal és public nem támogatják a közvetlen dispatch-t).
  - Globális függvények.
  - Statikus metódusok.
  - Kiterjesztések.
Táblázatos dispatch (Table Dispatch):
- class-okhoz használatos, amikor polimorfizmus és öröklés szükséges.
- A konkrét metódus implementáció címe futásidőben (runtime) kerül meghatározásra a virtuális metódus táblázat (vtable - Virtual Table) segítségével.
- Minden osztálynak saját vtable-je van, amely mutatókat tartalmaz a metódusok implementációira.
- Támogatja az öröklést és a metódusok felülírását.
```
class Animal { // Táblázatos dispatch fog alkalmazódni
    func speak() {
        print("Ismeretlen hang")
    }
}

class Dog: Animal { // Felülírás, vtable-t használ
    override func speak() {
        print("Vau")
    }
}
```
Tanú táblázatos dispatch (Witness Table Dispatch):
- protocol-okhoz használatos.
- Hasonló a táblázatos dispatch-hez, de egy tanú táblázatot (witness table) használ a protokoll metódusának implementációjának keresésére egy adott típushoz.
- Lehetővé teszi a polimorfizmust protokollokkal.
```
protocol Speakable { // Witness Table Dispatch alkalmazása
    func speak()
}

struct Cat: Speakable { // Protokoll implementáció
    func speak() {
        print("Miau")
    }
}
```

A választ befolyásoló feltételek:

Adattípus: struct, enum, class, protocol.
Hozzáférési módosítók: final, private, internal, public.
Öröklődés: Metódusok felülírásának lehetősége.
Protokoll megfelelés: A protokoll metódusainak implementálása.
Hívási kontextus: Közvetlen típus vagy protokoll/alap osztály által történő hívás.

A Swift fordító megpróbálja lehetőség szerint közvetlen dispatch-t használni a teljesítmény optimalizálása érdekében, de szükség esetén a táblázatos vagy tanú táblázatos dispatch-ra vált, hogy támogassa a polimorfizmust és az öröklődést. A final vagy private módban explicit módon megjelölt metódusok kényszerítik a közvetlen dispatch használatát.

Mikor és milyen feltételek mellett kezd el működni a diszpécser a Swiftben?