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

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Σχέσεις κληρονομικότητας φραγμένων παραμετρικών τύπων δεδομένων ======

<WRAP important 70% center round>
===Η συγκεκριμένη ενότητα είναι προαιρετική και μπορείτε να την παραλήψετε κατά την ανάγνωση της θεωρείας του μαθήματος.===
</WRAP>

Όπως είδαμε οι τύποι ''List<Integer>'' και ''List<String>'' δεν διέπονται από καμία σχέση κληρονομικότητας. Ο κοινός πατέρας και τον δύο λιστών είναι η κλάση ''List<?>'', όπως φαίνεται παρακάτω

{{ :java:generics_inheritance2.png |}}

Γενικότερα, σχέσεις κληρονομικότητας μεταξύ φραγμένων τύπων ισχύουν με κριτήρια κατά πόσο μπορούμε να αντικαταστήσουμε ένα τύπο δεδομένων με έναν άλλο τύπο δεδομένων. Δείτε τα παρακάτω παραδείγματα κληρονομικότητας
<code java>
      List<?>
         |
         v
 List<? extends Number>
         |
         v
 List<? extends Integer>
         |
         v
    List<Integer>
</code>

Αντίστοιχα ισχύουν
<code java>
      List<?>
         |
         v
 List<? super Integer>
         |
         v
 List<? super Number>
         |
         v
    List<Number>
</code>

Ανάλογα ισχύουν και τα παρακάτω

<code java>
              List<? extends Number>                                   List<? super Integer>
                        |                         και                           |
       ------------------------------------                     ------------------------------------
       |                                  |                     |                                  |
       v                                  v                     v                                  v
   List<Number>                     List<Integer>           List<Number>                     List<Integer>
</code>

==== Εφαρμόζοντας σε κώδικα τα παραπάνω ====

Δοκιμάστε να μεταγλωττίσετε τα παρακάτω παραδείγματα κώδικα για να επιβεβαιώσετε τα παραπάνω.
<code java>
List<? extends Νumber> numList = new ArrayList<>();
List<?>  objectList = numList;  
</code>
<code java>
List<? extends Integer> intList = new ArrayList<>();
List<? extends Number>  numList = intList;  
</code>
<code java>
List<Integer> intList = new ArrayList<>();
List<? extends Integer> extendedIntList = intList;  
</code>

Ανάλογα
<code java>
List<? super Integer> intList = new ArrayList<>();
List<?> objectList = intList;  
</code>
<code java>
List<? super Number> numList = new ArrayList<>();
List<? super Integer> inList = numList;  
</code>
<code java>
List<Number> numList = new ArrayList<>();
List<? super Number> extendedNumList = numList; 
</code>

Το παρακάτω σχήμα εξηγεί τις σχέσεις κληρονομικότητας που διέπουν (άνω και κάτω) φραγμένους τύπους δεδομένων για τον παραμετρικό τύπο δεδομένων της λίστας.
{{ :java:generics_inheritance3.png |}}

|Προηγούμενο: [[:java:generic_bounded_types | Φραγμένοι παραμετρικοί τύπων δεδομένων ]] | [[:toc | Περιεχόμενα ]] | Επόμενο: [[:java:collections_intro| Collections  ]] |