Generics (προστέθηκαν στη Go 1.18) σας επιτρέπουν να γράψετε συναρτήσεις και τύπους που λειτουργούν με πολλαπλούς τύπους μέσω παραμέτρων τύπου, διατηρώντας την ασφάλεια τύπου κατά τη στιγμή της μεταγλώττισης. Εξαλείφουν τη παλιά αντιστάθμιση μεταξύ διπλασιασμού κώδικα ανά τύπο ή απώλειας ασφάλειας με 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] δηλώνει μια παράμετρο τύπου T με ένα περιορισμό (ποιοι τύποι επιτρέπονται). Ο μεταγλωττιστής συμπεραίνει το T από τα ορίσματα — μια υλοποίηση λειτουργεί για πολλούς τύπους, εντελώς ασφαλής ως προς τον τύπο.
// 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.
Οι περιορισμοί ορίζουν ποιες λειτουργίες είναι έγκυρες στην παράμετρο του τύπου (το ~ σημαίνει "οποιοσδήποτε τύπος του οποίου ο υποκείμενος τύπος είναι αυτός").
// 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.
Tα Generics ήταν μια μεγάλη, πολυπόθητη προσθήκη στη Go (1.18) που έλυσε ένα πραγματικό πρόβλημα: πριν από αυτό, η σύνταξη επαναχρησιμοποιήσιμου κώδικα για πολλαπλούς τύπους σας ανάγκαζε είτε να τον διπλασιάσετε ανά τύπο (λεπτομερές, δύσκολο να διατηρηθεί) είτε να χρησιμοποιήσετε interface{} (απώλεια ασφάλειας τύπου κατά τη στιγμή της μεταγλώττισης και απαίτηση runtime assertions).
Tα Generics σας επιτρέπουν να γράψετε συναρτήσεις και δομές δεδομένων που είναι ασφαλείς ως προς τον τύπο και επαναχρησιμοποιήσιμες (containers, collection utilities όπως Map/Filter/Reduce) μία φορά, με τον μεταγλωττιστή να επιβάλλει την ορθότητα και να συμπεραίνει τύπους.
Η κατανόηση των παραμέτρων τύπου, των περιορισμών (συμπεριλαμβανομένων any, comparable και της σύνταξης union/~), και των γενικών τύπων γίνεται ολοένα και πιο σημαντική καθώς το οικοσύστημα τα υιοθετεί.
Εξίσου σημαντική είναι η νοοτροπία της Go ότι τα Generics είναι ένα εργαλείο για γνήσια επαναχρησιμοποίηση, όχι προεπιλεγμένο — η υπερβολική χρήση τους έρχεται σε αντίθεση με τη φιλοσοφία απλότητας της Go.
Αυτό είναι ένα τρέχον, συχνά συζητούμενο θέμα που αντικατοπτρίζει ευχέρεια με σύγχρονη Go.