Τι είναι τα generics (παραμετρικός πολυμορφισμός);

Question

Accepted Answer

**Generics** σας επιτρέπουν να γράψετε κλάσεις και μεθόδους παραμετροποιημένες κατά *τύπο*, ώστε ο ίδιος κώδικας να λειτουργεί με πολλούς τύπους διατηρώντας **ασφάλεια τύπου κατά τη μεταγλώττιση**. Αυτός είναι ο **παραμετρικός πολυμορφισμός** — "ένα σχήμα, οποιοσδήποτε τύπος." ## Το πρόβλημα που επιλύουν ```java // Without generics: untyped, needs casts, can break at runtime List list = new ArrayList(); list.add("hi"); String s = (String) list.get(0); // cast required; wrong type → ClassCastException ``` ```java // With generics: type is known and checked at compile time List list = new ArrayList<>(); list.add("hi"); String s = list.get(0); // no cast; list.add(42) won't compile ``` ## Γράψιμο ενός γενικού τύπου ```java class Box { // T is a type parameter private T value; Box(T value) { this.value = value; } T get() { return value; } } Box b = new Box<>(42); // T = Integer, checked at compile time int n = b.get(); // no cast needed ``` ## Περιορισμοί και διακύμανση (συνοπτικά) ```java > // bounded: T must be comparable List // covariance: accept List, List ``` ## Παγίδα Τα Java generics διαγράφουν τύπους γενικών κατά τη διάρκεια εκτέλεσης (*type erasure*) — δεν μπορείτε να κάνετε `new T()` ή `instanceof List`. Τα C++ templates και τα C# generics συμπεριφέρονται διαφορετικά (monomorphization / reified types). ## Γιατί έχει σημασία Τα Generics παρέχουν επαναχρησιμοποίηση *και* ασφάλεια ταυτόχρονα: ένα `List` εξυπηρετεί κάθε τύπο στοιχείου, με τον μεταγλωττιστή να ловi λάθη τύπου που θα ήταν διαφορετικά σφάλματα κατά την εκτέλεση. Εξαλείφουν ανασφαλείς μετατροπές και είναι η ραχοκοκαλιά των συλλογών, κάνοντας τον κώδικα ταυτόχρονα πιο επαναχρησιμοποιήσιμο και δυσκολότερο να κακοχρησιμοποιηθεί.