Gjenerikët (shtuar në Go 1.18) ju lejojnë të shkruani funksione dhe lloje që funksionojnë me shumë lloje përmes parametrave të llojit, ndërsa ruani siguri të tipit në kohën e kompilimit. Ato eliminojnë kompromsin e vjetër të ose duplikimit të kodit për lloj ose humbjes së sigurisë me interface{}.
{ ... }
{ ... }
{} { ... }
// T is a type parameter constrained to be "ordered" (comparable with < >)
func Max[T constraints.Ordered](a, b T) T {
if a > b {
return a
}
return b
}
Max(3, 5) // T inferred as int → 5
Max(2.5, 1.1) // T inferred as float64 → 2.5
Max("a", "b") // T inferred as string → "b"
[T constraints.Ordered] deklaron një parametër lloji T me një kufizim (cilat lloje lejohen). Kompajleri nxjerr në dukje T nga argumentet — një zbatim funksionon për shumë lloje, plotësisht i sigurt nga tipi.
// a constraint is an interface listing allowed types or required methods
type Number interface {
~int | ~int64 | ~float64 // the | union means "any of these"
}
func Sum[T Number](nums []T) T {
var total T
for _, n := range nums {
total += n // safe — T is constrained to numeric types
}
return total
}
Sum([]int{1, 2, 3}) // 6
Sum([]float64{1.5, 2.5}) // 4.0
// built-in constraints:
any // any type (alias for interface{})
comparable // types usable with == (for map keys, etc.)
// golang.org/x/exp/constraints: Ordered, Integer, Float, etc.
KufizimetPërcaktojnë se cilat operacione janë të vlefshme në parametrin e llojit (~ do të thotë "ndonjë lloj, lloji themelor i të cilit është ky").
// a generic stack that works for any type
type Stack[T any] struct {
items []T
}
func (s *Stack[T]) Push(item T) { s.items = append(s.items, item) }
func (s *Stack[T]) Pop() T {
item := s.items[len(s.items)-1]
s.items = s.items[:len(s.items)-1]
return item
}
intStack := Stack[int]{} // a stack of ints
strStack := Stack[string]{} // a stack of strings — same code
✓ Generic data structures (stacks, trees, sets), utility functions over collections
(Map, Filter, Reduce), type-safe containers
✗ Don't overuse — if interfaces or a concrete type work simply, prefer them.
Go's philosophy still favors simplicity; generics are a tool, not a default.
Gjenerikët ishin një shtim i madh, shumë i pritur në Go (1.18) që zgjidhi një pikë dhimbjeje reale: para tyre, shkrimi i kodit të ripërdorshëm për shumë lloje ju detyronte të ose ta duplikoni atë për lloj (verbose, i pamundshëm për mirëmbajtje) ose të përdorni interface{} (humbja e sigurisë se tipit në kohën e kompilimit dhe kërkesa për pohime në kohën e ekzekutimit).
Gjenerikët ju lejojnë të shkruani funksione dhe struktura të dhënash të sigurta për lloj dhe të ripërdorshme (kontejnerë, shërbime koleksioni si Map/Filter/Reduce) një herë, me kompajlerin që përforcon korrektësinë dhe nxjerr në dukje llojet.
Kuptueshmerinë e parametrave të llojit, kufizimeve (duke përfshirë any, comparable, dhe sintaksën e bashkimit/~), dhe llojeve gjenerike është gjithnjë e më e rëndësishme ndërsa ekosistema i miret.
Njësoj e rëndësishme është mentaliteti i Go-s që gjenerikët janë një mjet për ripërdorim të vërtetë, jo një parazgjedhje — pengimi i tyre punon kundër filozofisë së thjeshtësisë në Go.
Kjo është një temë aktuale, shpesh e diskutuar që pasqyron rrjedhje me Go-n modern.