Τι είναι τα generics και γιατί τα χρησιμοποιούμε;

Question

Accepted Answer

**Τα generics** σας επιτρέπουν να γράψετε κλάσεις, interfaces και μεθόδους που δουλεύουν με ένα **type parameter** που καθορίζεται από τον καλούντα — παρέχοντας **type safety στη μεταγλώττιση** και εξαλείφοντας τις αναγκαστικές μετατροπές τύπου (casts). Δίνουν δύναμη στο Collections Framework και σε επαναχρησιμοποιήσιμες βιβλιοθήκες. ## Το πρόβλημα που λύνουν τα generics ```java // ❌ before generics (or with raw types) — no type safety, requires casts List list = new ArrayList(); list.add("hello"); list.add(42); // oops — anything can go in String s = (String) list.get(1); // ClassCastException at RUNTIME! 💥 // ✅ with generics — the type is enforced at COMPILE time List list = new ArrayList<>(); list.add("hello"); list.add(42); // ❌ compile error — caught immediately String s = list.get(0); // no cast needed — known to be String ``` Τα generics μεταφέρουν σφάλματα τύπου από το runtime (`ClassCastException`) σε **χρόνο μεταγλώττισης**, και αφαιρούν την ανάγκη για ручное casts — κάνοντας τον κώδικα ασφαλέστερο και καθαρότερο. ## Generic κλάσεις και μεθόδους ```java // a generic class — T is a type parameter filled in by the user public class Box { private T value; public void set(T value) { this.value = value; } public T get() { return value; } } Box b = new Box<>(); // T = String b.set("hi"); String x = b.get(); // typed, no cast // a generic method public static T firstElement(List list) { return list.get(0); } ``` ## Bounded type parameters ```java // T must be Number (or a subclass) — lets you call Number methods public static double sum(List list) { double total = 0; for (T n : list) total += n.doubleValue(); // safe — T is a Number return total; } ``` `` περιορίζει τη type parameter, σας επιτρέποντας να χρησιμοποιήσετε τα μέλη αυτού του τύπου με ασφάλεια. ## Wildcards ```java List nums; // "some subtype of Number" — read (producer) List sink; // "Integer or a supertype" — write (consumer) // PECS: Producer Extends, Consumer Super ``` Τα wildcards προσθέτουν ευελιξία για παραμέτρους μεθόδου που πρέπει να δεχτούν εύρη τύπων. ## Type erasure (ένα ζήτημα της Java) ```java // generics are a COMPILE-TIME feature — erased at runtime (for backward compatibility) List a = new ArrayList<>(); List b = new ArrayList<>(); a.getClass() == b.getClass(); // true — both are just ArrayList at runtime // consequence: can't do `new T()` or `instanceof List` ``` Η Java υλοποιεί τα generics μέσω **type erasure** — οι type parameters υπάρχουν στη μεταγλώττιση αλλά αφαιρούνται στο runtime, κάτι που έχει κάποιους περιορισμούς. ## Γιατί έχει σημασία Τα generics είναι απαραίτητα για τη σύγχρονη Java — παρέχουν type safety στη μεταγλώττιση (σύλληψη σφαλμάτων τύπου νωρίς αντί για runtime `ClassCastException`s), εξαλείφουν τα λεπτολόγα και επιρρεπή σε σφάλματα casts, και ενεργοποιούν επαναχρησιμοποιήσιμο, type-flexible κώδικα. Είναι το θεμέλιο ολόκληρου του Collections Framework (`List`, `Map`) και αναρίθμητων βιβλιοθηκών. Η κατανόηση generic κλάσεων/μεθόδων, bounded parameters, wildcards (PECS), και του type-erasure caveat σας επιτρέπει τόσο να χρησιμοποιήσετε σωστά generic APIs όσο και να σχεδιάσετε τις δικές σας επαναχρησιμοποιήσιμες, type-safe αφαιρέσεις — μια βασική δεξιότητα για τη συγγραφή ισχυρής, συντηρήσιμης Java.