Aké obmedzenia existujú u mechanizmov všeobecného programovania?

V generickom programovaní (Generics) na iOS (Swift) existujú nasledujúce obmedzenia:

• Obmedzenia typov: nie je možné používať typy, ktoré nespĺňajú stanovené obmedzenia (constraints). Napríklad, ak je uvedené obmedzenie T: Equatable, typ musí implementovať protokol Equatable.

• Chýbajúce informácie o type počas behu: kvôli erasure typu (type erasure) nie je v niektorých prípadoch možné získať konkrétny generický typ počas behu.

• Nie je možné vytvárať inštancie generického typu bez inicializátora: ak v deklarácii generického typu nie je požadovaný inicializátor, nie je možné vytvárať objekty typu T().

• Obmedzenia pri používaní generických typov s Objective-C: niektoré konštrukcie generických typov nie sú kompatibilné s runtime Objective-C.

• Nie je možné používať generické typy na určitých miestach: napríklad ako typ vlastnosti v triedach @objc alebo v niektorých anotáciách.

Tieto obmedzenia pomáhajú zachovať bezpečnosť typov a výkon, ale vyžadujú starostlivé navrhovanie generických funkcií a typov.