Mi az a diszpécserizés?

A diszpécser rendszer az a folyamat, amely meghatározza, hogy a program futása során melyik konkrét módszer vagy funkció kerül végrehajtásra.

Swiftben három fő diszpécser típus létezik:

1. Statikus (Static vagy Direct Dispatch): A leggyorsabb típus. A fordító pontosan tudja, melyik módszer lesz hívva a fordítási időben. Nincs költség a módszer keresésére. Alkalmazható:

   • Struktúrákra (struct).
   • Enumerációkra (enum).
   • final vagy private jelölésű osztálymódszerekre (ha nincs @objc és nem használunk dinamikus diszpécsert az Objective-C runtime segítségével).
   • Globális és statikus függvényekre.
   • Kiterjesztésekre (extension).

2. Táblázatos (Table Dispatch): Osztályok esetén használatos. Minden osztályhoz létrejön egy virtuális táblázat (vtable), amely tartalmazza a módszerhívások mutatóit. A hívás során a táblázatban keresünk. Kis overhead-t jelent. Alkalmazható:

   • Osztálypéldány módszerekre (nem final vagy private).
   • Számított tulajdonságokra.

   class Animal {
       func speak() { // Táblázatos diszpécs
           print("...")
       }
   }
   
   class Dog: Animal {
       override func speak() { // Felülírt módszer, szintén táblázatos diszpécs
           print("Woof")
       }
   }
   

3. Dinamikus (Dynamic Dispatch): A leglassabb. A módszer hívása futás közben történik az Objective-C runtime segítségével. Az Objective-C-vel való interakcióra használatos. Jelentős overhead-t jelent. Alkalmazható:

   • @objc dynamic jelölésű módszerekre.
   • @objc dynamic jelölésű tulajdonságokra.
   • KVO (Key-Value Observing).
   • KVC (Key-Value Coding).

   class SomeClass: NSObject {
       @objc dynamic func performAction() { // Dinamikus diszpécs
           print("Performing action")
       }
   }
   

Összesítő táblázat:

Típus	Sebesség	Költség	Hol alkalmazható
Statikus	Magas	Alacsony	Struct, Enum, final/private osztálymódszerek, extension
Táblázatos	Közepes	Közepes	Osztálypéldány módszerek (nem final/private)
Dinamikus	Alacsony	Magas	@objc dynamic

A diszpécser típus kiválasztása fontos a teljesítmény optimalizálásához. A Swift alapértelmezés szerint a leggyorsabb típust választja, amely lehetővé teszi a polimorfizmus rugalmasságának megőrzését (a táblázatos diszpécsert használva osztályok esetén). A final vagy private használata segíthet a fordítónak a statikus diszpécser alkalmazásában.