Differences

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

--- java:generic_bounded_types [2015/03/19 16:30]
gthanos [Σχέσεις κληρονομικότητας φραγμένων παραμετρικών τύπων δεδομένων]
+++ java:generic_bounded_types [2020/03/10 10:23]
gthanos [Μη φραγμένοι παραμετρικοί τύποι (Unbounded Wildcards)]
@@ Line 1: / Line 1: @@
-====== Φραγμένοι παραμετρικοί τύπων δεδομένων ======
+====== Φραγμένοι παραμετρικοί τύποι δεδομένων ======
+Παρακάτω αναλύονται 3 υποκατηγορίες παραμετρικών τύπων δεδομένων
+  * οι άνω φραγμένοι παραμετρικοί τύποι
+  * οι κάτω φραγμένοι και
+  * οι μη φραγμένοι
 ===== Άνω φραγμένοι παραμετρικοί τύποι (Upper Bounded Wildcards) =====
 <code java>
-public static void process(List<? extends Number> list) { /* ... */ }
+public static void process(List<? extends Number> list) { /*   */ }
 </code>
-Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης ''List'' μπορεί να είναι η κλάση ''Number'' η οποιαδήποτε υποκλάση της ''Number'' (π.χ ''Integer'', ''Double'', ''Float'').
+Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης ''List'' μπορεί να είναι η κλάση ''Number'' η οποιαδήποτε υποκλάση της ''Number'' (π.χ ''Integer'', ''Double'', ''Float''). Ο παραπάνω τύπος είναι φραγμένος προς τα πάνω.
 ===== Κάτω φραγμένοι παραμετρικοί τύποι (Lower Bounded Wildcards) =====
@@ Line 20: / Line 25: @@
 Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης ''List'' μπορεί να είναι η κλάση ''Integer'' ή οποιαδήποτε υπερ-κλάση της ''Integer'' (π.χ ''Number'').
 ===== Μη φραγμένοι παραμετρικοί τύποι (Unbounded Wildcards) =====
-Ας εξετάσουμε τους μη φραγμένους παραμετρικούς τύπους μέσα το παρακάτω παράδειγμα.
+Θα εξετάσουμε τους μη φραγμένους παραμετρικούς τύπους μέσα το παρακάτω παράδειγμα.
 <code java>
 public static void printList(List<Object> list) {
@@ Line 32: / Line 38: @@
 </code>
-Ο παραπάνω κώδικας τυπώνει αντικείμενα από μία λίστα αντικειμένων τύπου ''Οbject''. Λόγω των περιορισμών στην κληρονομικότητα που είδαμε προηγούμενα ο ίδιος κώδικας δεν μπορεί να χρησιμοποιηθεί για να τυπώσει αντικείμενα τύπου ''List<String>'' ή ''List<Integer>'' καθώς δεν μπορούμε να τοποθετήσουμε στην παράμετρο ''List<Object>'' ένα αντικείμενο άλλης κλάσης. Κατά συνέπεια θα χρειαστούμε ένα άλλο τρόπο γραφής της συγκεκριμένης κλάσης, ώστε να απαντά στην γενικότητα.
+Ο παραπάνω κώδικας τυπώνει αντικείμενα από μία λίστα αντικειμένων τύπου ''Οbject''. Λόγω των περιορισμών στην κληρονομικότητα που είδαμε προηγούμενα ο ίδιος κώδικας δεν μπορεί να χρησιμοποιηθεί για να τυπώσει αντικείμενα τύπου ''List<String>'' ή ''List<Integer>'' καθώς δεν μπορούμε να τοποθετήσουμε στην παράμετρο ''List<Object>'' ένα αντικείμενο άλλης κλάσης. Κατά συνέπεια θα χρειαστούμε ένα άλλο τρόπο γραφής της συγκεκριμένης κλάσης, ώστε να εκπληρώνει τη ζητούμενη γενικότητα.
-Αν θέλουμε να γράψουμε μία αρκετά γενική μέθοδο λίστας που να τυπώνει λίστες οποιουδήποτε αντικειμένου αρκεί να γράψετε το παρακάτω
+Αν θέλουμε να γράψουμε μία αρκετά γενική μέθοδο λίστας που να τυπώνει λίστες οποιουδήποτε αντικειμένου αρκεί να γράψουμε το παρακάτω
 <code java>
@@ Line 44: / Line 50: @@
 </code>
-Αντίστοιχα, αν θέλουμε να γράψουμε μία μέθοδο που να τυπώνει μόνο αριθμούς (υποκλάσεις της //abstract// κλάσης ''Number'') τότε αρκεί να γράψουμε το παρακάτω
+Σε αναλογία με το παραπάνω, εάν θέλουμε να γράψουμε μία μέθοδο που να τυπώνει μόνο αριθμούς, αλλά όχι String (δηλαδή υποκλάσεις της //abstract// κλάσης ''Number'') τότε αρκεί να γράψουμε το παρακάτω:
 <code java>
@@ Line 54: / Line 60: @@
 </code>
-===== Σχέσεις κληρονομικότητας φραγμένων παραμετρικών τύπων δεδομένων =====
+|Προηγούμενο: [[:java:generics_inheritance | Κληρονομικότητα Παραμετρικών Τύπων  ]] | [[:toc | Περιεχόμενα ]] | Επόμενο: [[:java:generic_bounded_types_inheritance | Σχέσεις κληρονομικότητας φραγμένων παραμετρικών τύπων δεδομένων  ]]|
-Όπως είδαμε οι τύποι ''List<Integer>'' και ''List<String>'' δεν διέπονται από καμία σχέση κληρονομικότητας. Ο κοινός πατέρας και τον δύο λιστών είναι η κλάση ''List<?>'', όπως φαίνεται παρακάτω
-{{ :java:generics_inheritance3.png?500 |}}
-Γενικότερα, σχέσεις κληρονομικότητας μεταξύ φραγμένων τύπων ισχύουν με κριτήρια κατά πόσο μπορούμε να αντικαταστήσουμε ένα τύπο δεδομένων με έναν άλλο τύπο δεδομένων. Δείτε τα παρακάτω παραδείγματα κληρονομικότητας
-<code java>
-      List<?>
-         |
-         v
- List<? extends Number>
-         |
-         v
- List<? extends Integer>
-         |
-         v
-    List<Integer>
-</code>
-προκειμένου να δημιουργήσουμε σχέσεις κληρονομικότητας μεταξύ παραμετρικών τύπων δεδομένων, ο μόνος τρόπος για να το κάνουμε είναι να χρησιμοποιήσουμε φραγμένους παραμετρικούς τύπους, όπως παρακάτω
-<code java>
-List<? extends Integer> intList = new ArrayList<>();
-List<? extends Number>  numList = intList;  // OK. List<? extends Integer> is a subtype of List<? extends Number>
-</code>
-Το παρακάτω σχήμα εξηγεί τις σχέσεις κληρονομικότητας που διέπουν (άνω και κάτω) φραγμένους τύπους δεδομένων (Λίστες).
-{{ :java:generics_inheritance4.png?500 |}}

Αντικειμενοστραφής Προγραμματισμός

User Tools

Site Tools

Differences

Page Tools