Τι είναι τα Generics και πώς χρησιμοποιούνται στον…

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

Η χρήση των generics διασφαλίζει:

Ασφάλεια τύπων: Ο μεταγλωττιστής ελέγχει την συμβατότητα των τύπων, βοηθώντας στην αποφυγή σφαλμάτων που σχετίζονται με ασυμβατότητα τύπων κατά την εκτέλεση.
Επαναχρησιμοποίηση κώδικα: Ο ίδιος κώδικας μπορεί να χρησιμοποιηθεί για διαφορετικούς τύπους δεδομένων χωρίς διπλότυπη λογική.
Αναγνωσιμότητα κώδικα: Η χρήση συγκεκριμένων τύπων αντί για το γενικό Object αυξάνει την κατανοητότητα του κώδικα.
Απόδοση: Σε ορισμένες γλώσσες (π.χ., Java), τα generics υλοποιούνται μέσω διαγραφής τύπου (type erasure), ενώ σε άλλες (π.χ., C#, C++) η πληροφορία τύπου διατηρείται κατά την εκτέλεση.

Παραδείγματα χρήσης:

Συλλογές: Δημιουργία γενικών λιστών, συνόλων και χαρτών που μπορούν να αποθηκεύουν στοιχεία οποιουδήποτε τύπου.

// Δημιουργία λίστας συμβολοσειρών
List<String> stringList = new ArrayList<>();
stringList.add("γεια");
// Σφάλμα κατά τη μεταγλώττιση αν προσπαθήσετε να προσθέσετε αριθμό
// stringList.add(123);

Εργοστάσια: Δημιουργία εργοστασίων που μπορούν να παράγουν αντικείμενα διαφόρων τύπων.

Μέθοδοι: Γράψιμο μεθόδων που λειτουργούν με γενικούς τύπους δεδομένων.

// Γενική μέθοδος ανταλλαγής τιμών
public static void Swap<T>(ref T a, ref T b)
{
    T temp = a;
    a = b;
    b = temp;
}

Κλάσεις: Δημιουργία κλάσεων που είναι γενικές σε σχέση με τον τύπο των αποθηκευμένων ή επεξεργαζόμενων δεδομένων.

// Γενική κλάση Box
class Box<T> {
    private T content;

    public void setContent(T content) {
        this.content = content;
    }

    public T getContent() {
        return content;
    }
}

Σύγκριση με τη χρήση του τύπου Object (στη Java):

Χαρακτηριστικό	Generics	Τύπος Object
Ασφάλεια τύπων	Κατά τη μεταγλώττιση	Κατά την εκτέλεση (μέσω casting)
Απαιτείται casting	Όχι	Ναι
Σφάλματα	Ανιχνεύονται κατά τη μεταγλώττιση	Μπορεί να προκύψουν κατά την εκτέλεση (ClassCastException)
Αναγνωσιμότητα	Υψηλή	Χαμηλότερη (δεν είναι σαφές ποιοι τύποι αναμένονται)

Γενικά, τα generics είναι ένα ισχυρό εργαλείο που επιτρέπει τη συγγραφή πιο αξιόπιστου, ευανάγνωστου και επαναχρησιμοποιήσιμου κώδικα.

Τι είναι τα Generics και πώς χρησιμοποιούνται στον προγραμματισμό;