Differences

This shows you the differences between two versions of the page.

--- java:generics [2017/02/07 15:06] – [Παραμετρικοί τύποι δεδομένων με πολλές παραμέτρους] gthanos
+++ java:generics [2020/03/10 09:44] (current) – external edit 127.0.0.1
@@ Line 1: / Line 1: @@
 ====== Παραμετρικοί τύποι δεδομένων (Generics) ======
-Ένας //generic// (γενικός) τύπος δεδομένων είναι ένας τύπος δεδομένων ο οποίος μπορεί να λαμβάνει ως παραμέτρους άλλους τύπους δεδομένων. Γενικότερα όταν θέλουμε να χρησιμοποιήσουμε κλάσεις που μπορούν να αποθηκεύσουν αντικείμενα οποιασδήποτε κλάσης (π.χ. για αν δημιουργήσουμε μία διασυνδεδεμένη λίστα) τότε θα πρέπει τις κλάσεις αυτές να τις κάνουμε τόσο γενικές ώστε να μπορούν να λαμβάνουν ως όρισμα οποιονδήποτε τύπο δεδομένων. Η υιοθέτηση γενικών κλάσεων έχει το πλεονέκτημα ότι μπορεί να αποθηκεύσει οποιαδήποτε κλάση, όμως απαιτεί αρκετά type-casts και ενέχει κινδύνους ως προς την ορθή διαχείριση των δεδομένων από τους προγραμματιστές.
+Ένας παραμετρικός (//generic//) τύπος δεδομένων είναι ένας τύπος δεδομένων ο οποίος μπορεί να λαμβάνει ως παραμέτρους άλλους τύπους δεδομένων. Όταν θέλουμε να δημιουργήσουμε κλάσεις που μπορούν να αποθηκεύσουν αντικείμενα οποιασδήποτε κλάσης (π.χ. εάν θέλουμε να δημιουργήσουμε μία διασυνδεδεμένη λίστα ή μία στοίβα) τότε θα πρέπει τις κλάσεις αυτές να τις κάνουμε τόσο γενικές ώστε να μπορούν να αποθηκεύουν οποιονδήποτε τύπο αντικειμένων.
-Δείτε το παρακάτω παράδειγμα της κλάσης Box, η οποία θέλουμε να μπορεί να αποθηκεύσει οποιονδήποτε τύπο δεδομένων.
+Η υιοθέτηση γενικών κλάσεων έχει το πλεονέκτημα ότι μπορεί να αποθηκεύσει αντικείμενα οποιασδήποτε κλάσης, όμως απαιτεί αρκετές μετατροπές τύπων (typecasts). Οι μετατροπές τύπων όταν γίνονται από τον προγραμματιστή ενέχουν κινδύνους ως προς την ορθή μετατροπή.
+===== Παράδειγμα γενικής κλάσης για την αποθήκευση δεδομένων =====
+Δείτε το παρακάτω παράδειγμα της κλάσης **Box**, η οποία θέλουμε να μπορεί να αποθηκεύσει οποιονδήποτε τύπο δεδομένων.
 <code java Box.java>
@@ Line 14: / Line 18: @@
 </code>
-Στο παραπάνω παράδειγμα επειδή όλες οι κλάσεις στη Java κληρονομούν την κλάση Object, μπορείτε να περάσετε ως όρισμα στις μεθόδους της συγκεκριμένης κλάσης οποιοδήποτε τύπο δεδομένων. Δείτε το παρακάτω παράδειγμα κώδικα που χρησιμοποιεί την κλάση Box.
+Ας υποθέσουμε ότι έχετε το παρακάτω παράδειγμα κώδικα που λειτουργεί σωστά αποθηκεύοντας στην κλάση Box και επιστρέφοντας την τιμή ενός αντικείμενου τύπου [[https://docs.oracle.com/javase/7/docs/api/java/lang/Integer.html|Integer]].
 <code java BoxUsage.java>
@@ Line 22: / Line 26: @@
      Integer n = new Integer(5);
      b.set(n);
-     String s = (String)b.get();
+     Integer s = (Integer)b.get();
    }
 }
 </code>
-Ο παραπάνω κώδικας αφού μεταγλωττιστεί και επιχειρήσουμε να το τρέξουμε παράγει το παρακάτω exception καθώς επιχειρούμε να αναθέσουμε μία μεταβλητή τύπου String ένα αντικείμενο τύπου Integer.
+Στο παραπάνω παράδειγμα επειδή όλες οι κλάσεις κληρονομούν την κλάση [[https://docs.oracle.com/javase/7/docs/api/java/lang/Object.html|Object]], μπορείτε
-<code>
+  * να περάσετε ως όρισμα στη μέθοδο //set// οποιοδήποτε τύπο δεδομένων ή
-Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
+  * να αναθέσετε την επιστρεφόμενη τιμή της μεθόδου //get// σε οποιοδήποτε τύπο δεδομένων.
-        at BoxUsage.main(BoxUsage.java:7)
+Παρατηρήστε ότι στην τελευταία γραμμή είμαστε υποχρεωμένοι να κάνουμε typecast την επιστρεφόμενη τιμή της μεθόδου get() από [[https://docs.oracle.com/javase/7/docs/api/java/lang/Object.html|Object]] στον τύπο δεδομένων που τελικά έχει αποθηκεύσει η κλάση Box. Εάν δεν κάνουμε typecast ο μεταγλωττιστής διαμαρτύρεται. Εάν το typecast είναι σωστό ο κώδικας λειτουργεί σωστά, ενώ εάν το typecast είναι λάθος δημιουργείται ένα [[https://docs.oracle.com/javase/7/docs/api/java/lang/ClassCastException.html|java.lang.ClassCastException]].
+Δείτε τώρα το παρακάτω παράδειγμα κώδικα που χρησιμοποιεί την κλάση 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>
-Παρατηρήστε επίσης, ότι στην τελευταία γραμμή είμαστε υποχρεωμένοι να κάνουμε cast την επιστρεφόμενη τιμή της μεθόδου get() από Object σε String. Προκειμένου να αποφύγουμε τα παραπάνω προβλήματα και να είμαστε σίγουροι ότι ο κώδικας που γράφουμε δεν περιέχει λάθη στη χρήση τύπων δεδομένων η Java εισάγει τους παραμετρικούς τύπους δεδομένων, γνωστούς ως Generics. Η κλάση Box με χρήση Generics θα μπορούσε να γραφεί ως εξής:
+Η μετατροπή τύπου στην τελευταία γραμμή είναι προφανώς λάθος, διότι επιχειρούμε να αναθέσουμε σε μία μεταβλητή τύπου [[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]]. Ο παραπάνω κώδικας αφού μεταγλωττιστεί και επιχειρήσουμε να το τρέξουμε παράγει ένα [[https://docs.oracle.com/javase/7/docs/api/java/lang/ClassCastException.html|java.lang.ClassCastException]].
+===== Παράδειγμα παραμετρικής κλάσης =====
+Προκειμένου να αποφύγουμε τα παραπάνω προβλήματα και να είμαστε σίγουροι ότι ο κώδικας που γράφουμε δεν περιέχει λάθη στη χρήση τύπων δεδομένων η Java εισάγει τους παραμετρικούς τύπους δεδομένων, γνωστούς και ως Generics. Η κλάση Box με χρήση //generics// θα μπορούσε να γραφεί ως εξής:
 <code java Box.java>
@@ Line 50: / Line 71: @@
 Η παραπάνω δήλωση της κλάσης //Box// σημαίνει ότι κατά τον ορισμό αντικειμένων της κλάσης αυτά θα πρέπει να προσδιορίζεται ανάμεσα στους χαρακτήρες '<', ΄>' ένας επιπλέον reference τύπος δεδομένων, δηλ μπορούμε να γράψουμε
 <code java>
 Box<String> b1 = new Box<String>();
@@ Line 55: / Line 77: @@
 Box<Student> b3 = new Box<Student>(); // όπου Student μία κλάση που έχουμε κατασκευάσει.
 </code>
 Ο τύπος δεδομένων που χρησιμοποιούμε ανάμεσα στους χαρακτήρες '<', ΄>' είναι ο τύπος δεδομένων που επιτρέπεται να αποθηκευθεί στην κλάση //Box// κάθε φορά.
-===== Ονοματολογία παραμέτρων =====
+===== Συνήθης ονοματολογία παραμέτρων =====
   * E - Element (χρησιμοποείται στο Java Collections Framework)
@@ Line 92: / Line 115: @@
-| Προηγούμενο: [[:java:class_file | Αρχεία ]] | [[:toc | Περιεχόμενα ]] | Επόμενο: [[:java: |  ]] |
+| Προηγούμενο: [[:java:class_file | Αρχεία ]] | [[:toc | Περιεχόμενα ]] | Επόμενο: [[:java:generic_interfaces | Interfaces ως παραμετρικοί τύποι δεδομένων ]] |