====== Παραμετρικοί τύποι δεδομένων (Generics) ======

Ένας παραμετρικός (//generic//) τύπος δεδομένων είναι ένας τύπος δεδομένων ο οποίος μπορεί να λαμβάνει ως παραμέτρους άλλους τύπους δεδομένων. Όταν θέλουμε να δημιουργήσουμε κλάσεις που μπορούν να αποθηκεύσουν αντικείμενα οποιασδήποτε κλάσης (π.χ. εάν θέλουμε να δημιουργήσουμε μία διασυνδεδεμένη λίστα ή μία στοίβα) τότε θα πρέπει τις κλάσεις αυτές να τις κάνουμε τόσο γενικές ώστε να μπορούν να αποθηκεύουν οποιονδήποτε τύπο αντικειμένων. 

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

===== Παράδειγμα γενικής κλάσης για την αποθήκευση δεδομένων =====

Δείτε το παρακάτω παράδειγμα της κλάσης **Box**, η οποία θέλουμε να μπορεί να αποθηκεύσει οποιονδήποτε τύπο δεδομένων.

<code java Box.java>
public class Box {
  private Object object;

  public void set(Object object) { this.object = object; }
  public Object get() { return object; }
}
</code>

Ας υποθέσουμε ότι έχετε το παρακάτω παράδειγμα κώδικα που λειτουργεί σωστά αποθηκεύοντας στην κλάση Box και επιστρέφοντας την τιμή ενός αντικείμενου τύπου [[https://docs.oracle.com/javase/7/docs/api/java/lang/Integer.html|Integer]].

<code java BoxUsage.java>
public class BoxUsage {
   public static void main(String args[]) {
     Box b = new Box();
     Integer n = new Integer(5);
     b.set(n);
     Integer s = (Integer)b.get();
   }
}
</code>

Στο παραπάνω παράδειγμα επειδή όλες οι κλάσεις κληρονομούν την κλάση [[https://docs.oracle.com/javase/7/docs/api/java/lang/Object.html|Object]], μπορείτε 
  * να περάσετε ως όρισμα στη μέθοδο //set// οποιοδήποτε τύπο δεδομένων ή 
  * να αναθέσετε την επιστρεφόμενη τιμή της μεθόδου //get// σε οποιοδήποτε τύπο δεδομένων. 

Παρατηρήστε ότι στην τελευταία γραμμή είμαστε υποχρεωμένοι να κάνουμε typecast την επιστρεφόμενη τιμή της μεθόδου get() από [[https://docs.oracle.com/javase/7/docs/api/java/lang/Object.html|Object]] στον τύπο δεδομένων που τελικά έχει αποθηκεύσει η κλάση Box. Εάν δεν κάνουμε typecast ο μεταγλωττιστής διαμαρτύρεται. Εάν το typecast είναι σωστό ο κώδικας λειτουργεί σωστά, ενώ εάν το typecast είναι λάθος δημιουργείται ένα //Exception// που περιγράφεται παρακάτω. 

Δείτε τώρα το παρακάτω παράδειγμα κώδικα που χρησιμοποιεί την κλάση Box για να αποθηκεύσει ένα Integer και στη συνέχεια λαμβάνει το περιεχόμενο του ακεραίου και επιχειρεί να το αποθηκεύει σε μία μεταβλητή τύπου String.

<code java BoxUsage.java>
public class BoxUsage {
   public static void main(String args[]) {
     Box b = new Box();
     Integer n = new Integer(5);
     b.set(n);
     String s = (String)b.get();
   }
}
</code>

Η μετατροπή τύπου στην τελευταία γραμμή είναι προφανώς λάθος. Ο παραπάνω κώδικας αφού μεταγλωττιστεί και επιχειρήσουμε να το τρέξουμε παράγει ένα [[https://docs.oracle.com/javase/7/docs/api/java/lang/ClassCastException.html|java.lang.ClassCastException]], διότι επιχειρούμε να αναθέσουμε μία μεταβλητή τύπου [[https://docs.oracle.com/javase/7/docs/api/java/lang/String.html|String]] ένα αντικείμενο τύπου [[https://docs.oracle.com/javase/7/docs/api/java/lang/Integer.html|Integer]].

===== Παράδειγμα παραμετρικής κλάσης =====

Προκειμένου να αποφύγουμε τα παραπάνω προβλήματα και να είμαστε σίγουροι ότι ο κώδικας που γράφουμε δεν περιέχει λάθη στη χρήση τύπων δεδομένων η Java εισάγει τους παραμετρικούς τύπους δεδομένων, γνωστούς και ως Generics. Η κλάση Box με χρήση //generics// θα μπορούσε να γραφεί ως εξής:

<code java Box.java>
/**
 * Generic version of the Box class.
 * @param <T> the type of the value being boxed
 */
public class Box<T> {
  // T stands for "Type"
  private T t;

  public void set(T t) { this.t = t; }
  public T get() { return t; }
}
</code>

Η παραπάνω δήλωση της κλάσης //Box// σημαίνει ότι κατά τον ορισμό αντικειμένων της κλάσης αυτά θα πρέπει να προσδιορίζεται ανάμεσα στους χαρακτήρες '<', ΄>' ένας επιπλέον reference τύπος δεδομένων, δηλ μπορούμε να γράψουμε

<code java>
Box<String> b1 = new Box<String>();
Box<Integer> b2  = new Box<Integer>();
Box<Student> b3 = new Box<Student>(); // όπου Student μία κλάση που έχουμε κατασκευάσει. 
</code>

Ο τύπος δεδομένων που χρησιμοποιούμε ανάμεσα στους χαρακτήρες '<', ΄>' είναι ο τύπος δεδομένων που επιτρέπεται να αποθηκευθεί στην κλάση //Box// κάθε φορά. 

===== Συνήθης ονοματολογία παραμέτρων =====

  * E - Element (χρησιμοποείται στο Java Collections Framework)
  * K - Key
  * N - Number
  * T - Type
  * V - Value
  * S,U,V etc. - 2nd, 3rd, 4th types

===== Δημιουργία και χρήση αντικειμένων ενός παραμετρικού τύπου δεδομένων =====

<code java>
Box<Integer> integerBox = new Box<Integer>();
</code>

Εναλλακτικά μπορείτε να γράψετε
<code java>
Box<Integer> integerBox = new Box<>();
</code>

Εδώ ο compiler αντιλαμβάνεται ότι δημιουργείται μία μεταβλητή τύπου ''Box<Integer>'' και δημιουργεί ένα αντικείμενο αυτού του τύπου

**Προσοχή:** το παραπάνω δεν είναι ίδιο με το παρακάτω. 
<code java>
Box<Integer> integerBox = new Box();
</code>

Στο τελευταίο ο compiler θα εκδώσει το παρακάτω warning.
<code>
Note: BoxUsage.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
</code>

| Προηγούμενο: [[:java:class_file | Αρχεία ]] | [[:toc | Περιεχόμενα ]] | Επόμενο: [[:java:generic_interfaces | Interfaces ως παραμετρικοί τύποι δεδομένων ]] |