Wat is dispatching?

Dispatch is het proces van het bepalen welke specifieke methode of functie tijdens de uitvoering van het programma wordt uitgevoerd.

In Swift zijn er drie hoofdtypen dispatch:

1. Statisch (Statische of directe dispatch): Het snelste type. De compiler weet precies welke methode wordt aangeroepen tijdens de compilatiefase. Er zijn geen extra kosten voor het zoeken van de methode. Toegepast op:

   • Structuren (struct).
   • Enumeraties (enum).
   • Methoden in klassen gemarkeerd als final of private (als er geen @objc is en geen gebruik wordt gemaakt van dynamische dispatch via de Objective-C runtime).
   • Globale en statische functies.
   • Extensies.

2. Tabelgebaseerd (Table Dispatch): Gebruikt voor klassen. Voor elke klasse wordt een virtuele tabel (vtable) gemaakt, met pointers naar de implementaties van methoden. Bij het aanroepen van een methode wordt de pointer in de tabel gezocht. Kleine extra kosten. Toegepast op:

   • Instantie-methoden van klassen (klassenmethoden), niet gemarkeerd als final of private.
   • Berekende eigenschappen (computed properties).

   class Animal {
       func speak() { // Table Dispatch
           print("...")
       }
   }
   
   class Dog: Animal {
       override func speak() { // Overschreven methode, ook Table Dispatch
           print("Woof")
       }
   }
   

3. Dynamisch (Dynamische Dispatch): De langzaamste. De methode-resolutie gebeurt tijdens runtime via de Objective-C runtime. Gebruikt voor interactie met Objective-C. Heeft aanzienlijke kosten. Toegepast op:

   • Methoden gemarkeerd als @objc dynamic.
   • Eigenschappen gemarkeerd als @objc dynamic.
   • Key-Value Observing (KVO).
   • Key-Value Coding (KVC).

   class SomeClass: NSObject {
       @objc dynamic func performAction() { // Dynamic Dispatch
           print("Performing action")
       }
   }
   

Samenvattingstabel:

Type	Snelheid	Extra kosten	Waar toegepast
Statisch	Hoog	Laag	Struct, Enum, final/private methoden in klassen, extension
Tabelgebaseerd	Gemiddeld	Gemiddeld	Instantiemethoden van klassen (niet final/private)
Dynaamisch	Laag	Hoog	@objc dynamic

De keuze van het dispatch-type is belangrijk voor het optimaliseren van de prestaties. Swift kiest standaard het meest efficiënte type dat de flexibiliteit van polymorfisme behoudt waar nodig (gebruikmakend van tabelgebaseerd dispatch voor klassen). Het gebruik van final of private kan de compiler helpen om statisch dispatch toe te passen.