public static void process(List<? extends Number> list) { /* ... */ }

Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης List μπορεί να είναι η κλάση Number η οποιαδήποτε υποκλάση της Number (π.χ Integer, Double, Float).

public static void addNumbers(List<? super Integer> list) {
    for (int i = 1; i <= 10; i++) {
        list.add(i);
    }
}

Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης List μπορεί να είναι η κλάση Integer ή οποιαδήποτε υπερ-κλάση της Integer (π.χ Number).

Ας εξετάσουμε τους μη φραγμένους παραμετρικούς τύπους μέσα το παρακάτω παράδειγμα.

public static void printList(List<Object> list) {
    for (Object elem : list)
        System.out.println(elem + " ");
    System.out.println();
}

Ο παραπάνω κώδικας τυπώνει αντικείμενα από μία λίστα αντικειμένων τύπου Οbject. Λόγω των περιορισμών στην κληρονομικότητα που είδαμε προηγούμενα ο ίδιος κώδικας δεν μπορεί να χρησιμοποιηθεί για να τυπώσει αντικείμενα τύπου List<String> ή List<Integer> καθώς δεν μπορούμε να τοποθετήσουμε στην παράμετρο List<Object> ένα αντικείμενο άλλης κλάσης. Κατά συνέπεια θα χρειαστούμε ένα άλλο τρόπο γραφής της συγκεκριμένης κλάσης, ώστε να απαντά στην γενικότητα.

Αν θέλουμε να γράψουμε μία αρκετά γενική μέθοδο λίστας που να τυπώνει λίστες οποιουδήποτε αντικειμένου αρκεί να γράψετε το παρακάτω

public static void printList(List<?> list) {
    for (Object elem: list)
        System.out.print(elem + " ");
    System.out.println();
}

Αντίστοιχα, αν θέλουμε να γράψουμε μία μέθοδο που να τυπώνει μόνο αριθμούς (υποκλάσεις της abstract κλάσης Number) τότε αρκεί να γράψουμε το παρακάτω

public static void printΝumbers(List<? extends Number> list) {
    for (Number num: list)
        System.out.print(num + " ");
    System.out.println();
}

Όπως είδαμε οι τύποι 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; 

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