Ποια μέσα γενικής προγραμματισμού υπάρχουν;

Στο Golang υπάρχουν τα ακόλουθα μέσα γενικής προγραμματισμού (γενικά):

1. Τύποι παραμέτρων: Επιτρέπουν τη δημιουργία δομών, διεπαφών και συναρτήσεων που μπορούν να λειτουργούν με διάφορους τύπους δεδομένων χωρίς να τους ορίζουν αυστηρά κατά τη μεταγλώττιση. Οι τύποι δεδομένων δηλώνονται σε τετράγωνα αγκύλες μετά το όνομα του τύπου ή της συνάρτησης.

   // Παράδειγμα δομής με τύπο παραμέτρου
   type Stack[T any] struct {
   	elements []T
   }
   
   // Παράδειγμα συνάρτησης με τύπους παραμέτρων
   func Map[T, U any](collection []T, f func(T) U) []U {
   	result := make([]U, len(collection))
   	for i, item := range collection {
   		result[i] = f(item)
   	}
   	return result
   }
   

2. Περιορισμοί τύπων (Type Constraints): Ορίζουν ένα σύνολο τύπων που μπορούν να χρησιμοποιηθούν ως γενικοί παράμετροι. Επιτρέπουν τον περιορισμό της καθολικότητας των τύπων και την εξασφάλιση της ασφάλειας των λειτουργιών.

   • Διεπαφές: Κάθε διεπαφή από μόνη της αποτελεί περιορισμό τύπου.
   • Συνδυασμένες διεπαφές: Επιτρέπουν τον συνδυασμό πολλών τύπων ή διεπαφών με τη βοήθεια του τελεστή |.

   // Παράδειγμα περιορισμού τύπου με χρήση συνδυασμένης διεπαφής
   type Number interface {
   	int | int8 | int16 | int32 | int64 |
   		uint | uint8 | uint16 | uint32 | uint64 | uintptr |
   		float32 | float64 |
   		complex64 | complex128
   }
   
   // Συνάρτηση που χρησιμοποιεί τον περιορισμό τύπου
   func Add[T Number](a, b T) T {
   	return a + b
   }
   

Αυτά τα μέσα προστέθηκαν στο Go 1.18. Πριν από αυτό, για την υλοποίηση παρόμοιων λειτουργιών, χρησιμοποιούνταν διεπαφές (interface{}) και ανακλάσεις, κάτι που μείωνε την ασφάλεια τύπων και την απόδοση.