Kā tiek veikta ģenerisko funkciju izpilde programmas koda kompilācijas laikā?

Generiskās funkcijas kompilācijas laikā apstrādā ar mehānismu, ko sauc par "monomorfizāciju" vai šablonu instancēšanu. Tas nozīmē, ka kompilators izveido konkrētas funkcijas versijas katram tipam, ar kuru tās tiek izmantotas.

Piemēram, ja jums ir ģeneriska funkcija:

func swapValues<T>(_ a: inout T, _ b: inout T) {
    let temp = a
    a = b
    b = temp
}

Un jūs to izsaucat ar Int un String, kompilators ģenerēs divas funkcijas versijas: vienu Int un otru String. Tas palīdz izvairīties no izpildes laika izmaksām, kas saistītas ar dinamisko tipu apzīmēšanu.

Dažās valodās (piemēram, Java) ģenerikā tiek īstenotas, izmantojot tipu iznīcināšanu, bet Swift — ar monomorfizāciju.