Σχέσεις κληρονομικότητας φραγμένων παραμετρικών τύπων δεδομένων

Η συγκεκριμένη ενότητα είναι προαιρετική και μπορείτε να την παραλήψετε κατά την ανάγνωση της θεωρείας του μαθήματος.

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

Γενικότερα, σχέσεις κληρονομικότητας μεταξύ φραγμένων τύπων ισχύουν με κριτήρια κατά πόσο μπορούμε να αντικαταστήσουμε ένα τύπο δεδομένων με έναν άλλο τύπο δεδομένων. Δείτε τα παρακάτω παραδείγματα κληρονομικότητας

      List<?>
         |
         v
 List<? extends Number>
         |
         v
 List<? extends Integer>
         |
         v
    List<Integer>

Αντίστοιχα ισχύουν

      List<?>
         |
         v
 List<? super Integer>
         |
         v
 List<? super Number>
         |
         v
    List<Number>

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

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

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

Δοκιμάστε να μεταγλωττίσετε τα παρακάτω παραδείγματα κώδικα για να επιβεβαιώσετε τα παραπάνω.

List<? extends Νumber> numList = new ArrayList<>();
List<?>  objectList = numList;

List<? extends Integer> intList = new ArrayList<>();
List<? extends Number>  numList = intList;

List<Integer> intList = new ArrayList<>();
List<? extends Integer> extendedIntList = intList;

Ανάλογα

List<? super Integer> intList = new ArrayList<>();
List<?> objectList = intList;

List<? super Number> numList = new ArrayList<>();
List<? super Integer> inList = numList;

List<Number> numList = new ArrayList<>();
List<? super Number> extendedNumList = numList;

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