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 [2016/02/26 11:15] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Φραγμένοι παραμετρικοί τύπων δεδομένων ====== | ||
- | |||
- | ===== Άνω φραγμένοι παραμετρικοί τύποι (Upper Bounded Wildcards) ===== | ||
- | |||
- | <code java> | ||
- | public static void process(List<? extends Number> list) { /* ... */ } | ||
- | </code> | ||
- | |||
- | Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης ''List'' μπορεί να είναι η κλάση ''Number'' η οποιαδήποτε υποκλάση της ''Number'' (π.χ ''Integer'', ''Double'', ''Float''). | ||
- | |||
- | ===== Κάτω φραγμένοι παραμετρικοί τύποι (Lower Bounded Wildcards) ===== | ||
- | |||
- | <code java> | ||
- | public static void addNumbers(List<? super Integer> list) { | ||
- | for (int i = 1; i <= 10; i++) { | ||
- | list.add(i); | ||
- | } | ||
- | } | ||
- | </code> | ||
- | |||
- | Στην παραπάνω δήλωση ο τύπος δεδομένων της παραμετρικής κλάσης ''List'' μπορεί να είναι η κλάση ''Integer'' ή οποιαδήποτε υπερ-κλάση της ''Integer'' (π.χ ''Number''). | ||
- | |||
- | ===== Μη φραγμένοι παραμετρικοί τύποι (Unbounded Wildcards) ===== | ||
- | |||
- | Ας εξετάσουμε τους μη φραγμένους παραμετρικούς τύπους μέσα το παρακάτω παράδειγμα. | ||
- | <code java> | ||
- | public static void printList(List<Object> list) { | ||
- | for (Object elem : list) | ||
- | System.out.println(elem + " "); | ||
- | System.out.println(); | ||
- | } | ||
- | </code> | ||
- | |||
- | Ο παραπάνω κώδικας τυπώνει αντικείμενα από μία λίστα αντικειμένων τύπου ''Οbject''. Λόγω των περιορισμών στην κληρονομικότητα που είδαμε προηγούμενα ο ίδιος κώδικας δεν μπορεί να χρησιμοποιηθεί για να τυπώσει αντικείμενα τύπου ''List<String>'' ή ''List<Integer>'' καθώς δεν μπορούμε να τοποθετήσουμε στην παράμετρο ''List<Object>'' ένα αντικείμενο άλλης κλάσης. Κατά συνέπεια θα χρειαστούμε ένα άλλο τρόπο γραφής της συγκεκριμένης κλάσης, ώστε να απαντά στην γενικότητα. | ||
- | |||
- | Αν θέλουμε να γράψουμε μία αρκετά γενική μέθοδο λίστας που να τυπώνει λίστες οποιουδήποτε αντικειμένου αρκεί να γράψετε το παρακάτω | ||
- | |||
- | <code java> | ||
- | public static void printList(List<?> list) { | ||
- | for (Object elem: list) | ||
- | System.out.print(elem + " "); | ||
- | System.out.println(); | ||
- | } | ||
- | </code> | ||
- | |||
- | Αντίστοιχα, αν θέλουμε να γράψουμε μία μέθοδο που να τυπώνει μόνο αριθμούς (υποκλάσεις της //abstract// κλάσης ''Number'') τότε αρκεί να γράψουμε το παρακάτω | ||
- | |||
- | <code java> | ||
- | public static void printΝumbers(List<? extends Number> list) { | ||
- | for (Number num: list) | ||
- | System.out.print(num + " "); | ||
- | System.out.println(); | ||
- | } | ||
- | </code> | ||
- | |||
- | ===== Σχέσεις κληρονομικότητας φραγμένων παραμετρικών τύπων δεδομένων ===== | ||
- | |||
- | Όπως είδαμε οι τύποι ''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 |}} | ||
- | |||
- | |||
- | |||