Kedy a za akých podmienok začína v Swift fungovať…

Riadenie metód (method dispatch) v Swift určuje, ktorý presne kód bude vykonaný pri volaní metódy objektu. Výber typu riadenia sa vykonáva v momente kompilácie Swift kódu.

Existujú tri hlavné typy riadenia v Swift:

Priame riadenie (Direct Dispatch):
- Najrýchlejšie.
- Adresa funkcie je známa počas kompilácie.
- Používa sa ako predvolené pre:
  - struct a enum (pretože nepodporujú dedičstvo tried).
  - final metódy tried.
  - private metódy tried (internal a public nepodporujú priame riadenie).
  - Globálne funkcie.
  - Statické metódy.
  - Rozšírenia (extensions).
Riadenie podľa tabuľky (Table Dispatch):
- Používa sa pre class, keď je potrebný polymorfizmus a dedičstvo.
- Adresa konkrétnej implementácie metódy je určená počas behu (runtime) pomocou tabuľky virtuálnych metód (vtable - Virtual Table).
- Každá trieda má svoju vtable, obsahujúcu ukazovatele na implementácie metód.
- Podporuje dedičstvo a prepisovanie metód.
```
class Animal { // Použije Table Dispatch
    func speak() {
        print("Neznámy zvuk")
    }
}

class Dog: Animal { // Prepisovanie, používa vtable
    override func speak() {
        print("Woof")
    }
}
```
Riadenie podľa svedectva (Witness Table Dispatch):
- Používa sa pre protokoly (protocol).
- Podobné table dispatch, ale používa tabuľku svedka (witness table) na nájdenie implementácie metódy protokolu pre konkrétny typ, ktorý zodpovedá protokolu.
- Umožňuje používanie polymorfizmu s protokolmi.
```
protocol Speakable { // Použije Witness Table Dispatch
    func speak()
}

struct Cat: Speakable { // Implementácia protokolu
    func speak() {
        print("Mňau")
    }
}
```

Podmienky ovplyvňujúce výber:

Typ dát: struct, enum, class, protocol.
Modifikátory prístupu: final, private, internal, public.
Dedičstvo: Možnosť prepísania metód.
Súlad s protokolmi: Implementácia metód z protokolu.
Kontekst volania: Volanie cez konkrétny typ alebo cez protokol/základnú triedu.

Swift kompilátor sa snaží používať priame riadenie, kde je to možné, pre optimalizáciu výkonu, ale v prípade potreby podpory polymorfizmu a dedičstva prepína na table alebo witness table dispatch. Výslovné označenie metód ako final alebo private umožňuje prinútiť použitie priameho riadenia.

Kedy a za akých podmienok začína v Swift fungovať dispatching?