java:generics

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

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

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

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

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

Box.java
public class Box {
  private Object object;
 
  public void set(Object object) { this.object = object; }
  public Object get() { return object; }
}

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

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();
   }
}

Στο παραπάνω παράδειγμα επειδή όλες οι κλάσεις κληρονομούν την κλάση Object, μπορείτε

  • να περάσετε ως όρισμα στη μέθοδο set οποιοδήποτε τύπο δεδομένων ή
  • να αναθέσετε την επιστρεφόμενη τιμή της μεθόδου get σε οποιοδήποτε τύπο δεδομένων.

Παρατηρήστε ότι στην τελευταία γραμμή είμαστε υποχρεωμένοι να κάνουμε typecast την επιστρεφόμενη τιμή της μεθόδου get() από Object στον τύπο δεδομένων που τελικά έχει αποθηκεύσει η κλάση Box. Εάν δεν κάνουμε typecast ο μεταγλωττιστής διαμαρτύρεται. Εάν το typecast είναι σωστό ο κώδικας λειτουργεί σωστά, ενώ εάν το typecast είναι λάθος δημιουργείται ένα Exception που περιγράφεται παρακάτω.

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

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();
   }
}

Η μετατροπή τύπου στην τελευταία γραμμή είναι προφανώς λάθος. Ο παραπάνω κώδικας αφού μεταγλωττιστεί και επιχειρήσουμε να το τρέξουμε παράγει ένα java.lang.ClassCastException, διότι επιχειρούμε να αναθέσουμε μία μεταβλητή τύπου String ένα αντικείμενο τύπου Integer.

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

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

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; }
}

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

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

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

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

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

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

Box<Integer> integerBox = new Box<Integer>();

Εναλλακτικά μπορείτε να γράψετε

Box<Integer> integerBox = new Box<>();

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

Προσοχή: το παραπάνω δεν είναι ίδιο με το παρακάτω.

Box<Integer> integerBox = new Box();

Στο τελευταίο ο compiler θα εκδώσει το παρακάτω warning.

Note: BoxUsage.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
java/generics.txt · Last modified: 2017/02/17 15:01 by gthanos