Jak je prováděno vykonávání generických funkcí během kompilace programového kódu?

Generické funkce během kompilace jsou zpracovávány pomocí mechanismu nazývaného "monomorfizace" nebo instanciace šablon. To znamená, že překladač vytváří konkrétní verze funkce pro každý typ, se kterým je používána.

Například, pokud máte generickou funkci:

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

A voláte ji s Int a String, překladač vygeneruje dvě verze funkce: jednu pro Int a druhou pro String. To pomáhá vyhnout se nákladům na dobu běhu spojeným s dynamickým typováním.

V některých jazycích (například Java) jsou generika implementována pomocí erasure typu, zatímco v Swift pomocí monomorfizace.