Môžete vysvetliť mechanizmus fungovania všeobecných typov v programovacom jazyku?

V programovaní umožňujú generické typy vytvárať funkcie, štruktúry dát a typy, ktoré pracujú s rôznymi dátovými typmi, pričom zachovávajú bezpečnosť typov. V jazyku Go (Golang) bola podpora generických typov zavedená od verzie 1.18.

Mechanizmus generických typov umožňuje parametrizovať funkcie a typy pomocou parametrov typu. To znamená, že môžete napísať jeden kód, ktorý bude fungovať s rôznymi dátovými typmi, bez potreby duplikovať kód pre každý typ.

Príklad generickej funkcie v Go:

package main
import "fmt"

// Funkcia, ktorá vracia prvý prvok poľa akéhokoľvek typu
func First[T any](slice []T) T {
    return slice[0]
}

func main() {
    ints := []int{1, 2, 3}
    strings := []string{"a", "b", "c"}

    fmt.Println(First(ints))    // Vytlačí 1
    fmt.Println(First(strings)) // Vytlačí "a"
}

Tu je T parameter typu, ktorý môže byť akýkoľvek typ (any je obmedzenie, ktoré umožňuje akýkoľvek typ). Pri volaní funkcie, prekladač nahradí konkrétnym typom.

Týmto spôsobom generické typy zvyšujú opakovateľnosť kódu a zabezpečujú bezpečnosť typov bez straty výkonu.