Программалоо тилинде жалпы түрлөрдүн иштөө механизмин түшүндүрө аласызбы?

Программалоодо жалпы түрлөр (generics) ар кандай маалымат түрлөрү менен иштеген функцияларды, түзүмдөрдү жана түрлөрдү түзүүгө мүмкүндүк берет жана ошол эле учурда түр коопсуздугун сактайт. Go (Golang) тилинде, версия 1.18ден бери, жалпы түрлөрдү колдоо киргизилген.

Жалпы түрлөр механизмиси функцияларды жана түрлөрдү түр параметрлери аркылуу параметрлештирүүгө мүмкүндүк берет. Бул деген, сиз бир код жазсаңыз болот, ал ар кандай маалымат түрлөрү менен иштейт, жана ар бир түр үчүн кодду көчүрүп жазуунун кереги жок.

Goда жалпы функциянын мисалы:

package main
import "fmt"

// Ар кандай түрдөгү слайддын биринчи элементин кайтарган функция
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))    // 1 чыгарат
    fmt.Println(First(strings)) // "a" чыгарат
}

Бул жерде, T — түр параметри, ал ар кандай түр болушу мүмкүн (any — бардык түрлөрдү уруксат берет). Функцияны чакырганда, компилятор конкреттүү түргө алмаштырат.

Ошентип, жалпы түрлөр коддун кайра колдонулушун жогорулатат жана түр коопсуздугун камсыздайт, аткаруу ылдамдыгын жоготпостон.