El tudná magyarázni az általános típusok működési mechanizmusát a programozási nyelvben?

A programozásban az általános típusok (generikusok) lehetővé teszik olyan függvények, adatszerkezetek és típusok létrehozását, amelyek különböző adattípusokkal működnek, miközben megőrzik a típusbiztonságot. A Go (Golang) nyelvben a 1.18-as verziótól kezdve támogatottak a generikus típusok.

A generikus típusok mechanizmusa lehetővé teszi, hogy függvényeket és típusokat típusparaméterek segítségével paraméterezzenek. Ez azt jelenti, hogy egyetlen kódot írhatunk, amely különböző adattípusokkal működik, anélkül, hogy minden típushoz külön másolatot kellene írni.

Példa egy általános függvényre Go-ban:

package main
import "fmt"

// Függvény, amely visszaadja egy tetszőleges típusú szelet első elemét
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))    // Kiírja 1
    fmt.Println(First(strings)) // Kiírja "a"
}

Itt a T egy típusparaméter, amely bármilyen típus lehet (any egy korlátozás, amely bármilyen típus engedélyez). A függvény hívásakor a fordító konkrét típusra cseréli.

Így a generikus típusok növelik a kód újrahasznosíthatóságát és biztosítják a típusbiztonságot anélkül, hogy a teljesítményt csökkentenék.