Προγραµµατισµός ΙΙ. Ηγλώσσααντικειµενοστραφούς. ιδάσκων ηµήτριος Κατσαρός, Τµ. Μηχανικών Η/Υ, Τηλεπικοινωνιών & ικτύων Πανεπιστήµιο Θεσσαλίας

Transcript

1 Προγραµµατισµός ΙΙ Ηγλώσσααντικειµενοστραφούς προγραµµατισµού Java ιδάσκων ηµήτριος Κατσαρός, Τµ. Μηχανικών Η/Υ, Τηλεπικοινωνιών & ικτύων Πανεπιστήµιο Θεσσαλίας ιάλεξη 12η: 30/08/2006 1

2 Generics και η κλάση ArrayList Generics and the ArrayList Class 2

3 Εισαγωγή στα Generics Από την έκδοση 5.0, η Java επιτρέπει ορισµούς κλάσεων και µεθόδων που έχουν ως παραµέτρους τύπους δεδοµένων (είναι το ανάλογο των templates στη C++) Τέτοιοι ορισµοί ονοµάζονται generics Οπρογραµµατισµός µε generics µε παράµετρο κάποιον τύπο επιτρέπει να γραφεί κώδικας που εφαρµόζεται σε οποιαδήποτε κλάση 3

4 ΗκλάσηArrayList Η ArrayList είναι µια κλάση των standard βιβλιοθηκών της Java ιαφορετικά από τους πίνακες, οι οποίοι έχουν σταθερό µήκος αφού δηµιουργηθούν, µια ArrayList είναι ένα αντικείµενο που µπορεί να µεγαλώνει και να µικραίνει κατά τη διάρκεια εκτέλεσης του προγράµµατος Γενικά, µια ArrayList υπηρετεί τον ίδιο σκοπό µε ένα πίνακα, εκτός του ότι η ArrayList µπορεί να αλλάζει µήκος (µέγεθος) κατά τη διάρκεια εκτέλεσης του προγράµµατος 4

5 ΗκλάσηArrayList Η κλάση ArrayList υλοποιείται µε χρήση ενός πίνακα ως ιδιωτική (private) instance variable Όταν αυτός ο κρυφός πίνακας γεµίσει, ένας νέος µεγαλύτερος πίνακας δηµιουργείται και τα δεδοµένα µεταφέρονται από τον παλιό στον νέο πίνακα 5

6 ΗκλάσηArrayList Γιατί να µην χρησιµοποιούµε πάντα µια ArrayList αντί για έναν πίνακα? 1. Μια ArrayList είναι λιγότερο αποδοτική από ότι ένας πίνακας 2. εν υποστηρίζει τις αγκύλες [] (dereferencing) 3. Ο βασικός τύπος (base type) µιας ArrayList πρέπει να είναι τύπου κλάσης (ή άλλουreference τύπου): δεν µπορεί να είναι primitive τύπου δεδοµένων Το τελευταίο πρόβληµα δεν είναι ιδιαίτερα σηµαντικό, αφού η Java 5.0 υποστηρίζει αυτόµατη µετατροπή τύπων primitive στους αντίστοιχους reference τύπους και αντίστροφα 6

7 Χρήση της κλάσης ArrayList Για να κάνουµε χρήση της κλάσης ArrayList, πρέπει να κάνουµε import το package java.util Μια ArrayList δηµιουργείται και ονοµατίζεται µετονίδιοτρόποόπωςτα αντικείµενα κάθε κλάσης, εκτός του ότι καθορίζουµε τονβασικότύποωςεξής: ArrayList<BaseType> alist = new ArrayList<BaseType>(); 7

8 Χρήση της κλάσης ArrayList Μπορούµε να καθορίσουµε µια αρχική χωριτικότητα όταν δηµιουργούµε ένα αντικείµενο της ArrayList Ο παρακάτω κώδικας δηµιουργεί µια ArrayList που αποθηκεύει αντικείµενα βασικού τύπου String µε αρχική χωριτικότητα 20 στοιχείων ArrayList<String> list = new ArrayList<String>(20); Ο καθορισµός µιας αρχικής χωριτικότητα δεν περιορίζει το µέγεθος στο οποίο µπορεί να φτάσει µια ArrayList Σηµειώστε ότι ο βασικός τύπος µιας ArrayList καθορίζεται ως παράµετρος τύπου (type parameter) 8

9 Χρήση της κλάσης ArrayList Η µέθοδος add χρησιµοποιείται για να θέσουµε ένα στοιχείο για πρώτη φορά σε µια ArrayList list.add("something"); Το όνοµα της µεθόδου add είναι overloaded Υπάρχει επίσης µια έκδοση της µεθόδου µε δυο ορίσµατα που επιτρέπει σε ένα στοιχείο να προστεθεί σε οποιαδήποτε ήδη χρησιµοποιουµενη θέση ή σε στην πρώτη µη χρησιµοποιούµενη θέση 9

10 Χρήση της κλάσης ArrayList Η µέθοδος size χρησιµοποιείται για να υπολογίσουµε πόσοι δείκτες έχουν ήδη στοιχεία στην ArrayList int howmany = list.size(); Η µέθοδος set χρησιµοποιείται για να αντικαταστήσουµε οποιοδήποτε υπάρχον στοιχείο, και η µέθοδος get για να προσπελάσουµε την τιµή οποιουδήποτε υπάρχοντος στοιχείου list.set(index, "something else"); String thing = list.get(index); 10

11 Υπόδειξη: Σύνοψη της προσθήκης σε µια ArrayList Η µέθοδος add συνήθως χρησιµοποιείται για να τοποθετήσουµε ένα στοιχείο σε θέση µιας ArrayList για πρώτη φορά (σε έναν δείκτη της ArrayList) Η απλούστερη µέθοδος add έχει µια παράµετρο για το στοιχείο που θα προστεθεί, και το τοποθετεί στην επόµενη κενή θέση 11

12 Υπόδειξη: Σύνοψη της προσθήκης σε µια ArrayList Ένα στοιχείο µπορεί να προστεθεί σε µια ήδη κατειλληµένη θέση της λίστας κάνοντας χρήση της έκδοσης της µεθόδου add µε τις δυο παραµέτρους Αυτό έχει ως συνέπεια το νέο στοιχείο να προστεθεί στη θέση που καθορίζουµε, και κάθε άλλο µέλος της ArrayList να µετακινηθεί µια θέση 12

13 Υπόδειξη: Σύνοψη της προσθήκης σε µια ArrayList Η έκδοση της add µε τα δυο ορίσµατα µπορεί επίσης να χρησιµοποιηθεί για να προσθέσουµε ένα στοιχείο στην πρώτη κενή θέση (εάν είναι γνωστό ποια είναι αυτή) Κάθε στοιχείο µπορεί να αλλαχτεί µε τη µέθοδο set Όµως, η set µπορεί µόνο να αλλάξει το στοιχείο σε µια θέση η οποία ήδη περιέχει κάποιο άλλο στοιχείο Επιπλέον, η µέθοδος size µπορεί να χρησιµοποιηθεί για να προσδιορίσουµε πόσα στοιχεία είναι αποθηκευµένα σε µια ArrayList 13

14 Μέθοδοι της κλάσης ArrayList Το µόνο διαθέσιµο εργαλείο για το χειρισµό των πινάκων είναι οι αγκύλες [] και την instance variable length Οι ArrayLists, όµως, περιλαµβάνουν ισχυρές µεθόδους οι οποίες µπορούν να κάνουν πολλά πράγµαταταοποίαθααπαιτούσανναγραφούν µεγάλα κοµµάτια κώδικα εάν χρησιµοποιούσαµε πίνακες 14

15 Μερικές µέθοδοι της ArrayList (1/11) 15

26 Γιατί µερικοί παράµετροι είναι τύπου Base_Type καιάλλοιείναιτύπουobject Όταν κοιτάζουµε τις µεθόδους της κλάσης ArrayList, παρατηρούµε µια ασυνέπεια Σε µερικές περιπτώσεις, όταν µια παράµετρος είναι φυσιολογκά ένα αντικείµενο του βασικού τύπου, ο τύπος της παραµέτρου είναι του βασικού τύπου Όµως, σε άλλες περιπτώσεις, είναι τύπου Object Αυτό συµβαίνει επειδή η κλάση ArrayList υλοποιεί έναν αριθµό interfaces, και κληρονοµεί µεθόδους από διάφορες κλάσεις προγόνους Αυτά τα interfaces και οι κλάσεις πρόγονοι καθορίζουν ότι κάποιες παράµετροι είναι τύπου Object 26

27 Ο βρόχος "For Each" ΗκλάσηArrayList είναι ένα παράδειγµα µιας κλάσης collection Από την έκδοση 5.0, η Java έχει ένα νέο είδος βρόχου for που ονοµάζεται for-each ήβρόχος enhanced for Αυτό το είδος βρόχου έχει σχεδιαστεί για να διατρέχει τα στοιχεία µιας συλλογής (collection), όπως µια ArrayList) 27

28 Βρόχος for-each µε ArrayList (1/3) 28

31 Πρόγραµµα Golf Score (1/6) 31

37 Υπόδειξη: Χρησιµοποιήστε την trimtosize για να εξοικονήσετε µνήµη Μια ArrayList αυτόµατα αυξάνει την χωριτικότηταά της όταν αυτό απαιτείται Όµως, η χωριτικότητα µπορεί να αυξηθεί πέρα από αυτό που απαιτεί ένα πρόγραµµα Επιπλέον, παρόλο που µια ArrayList αυξάνει αυτόµατα όταν χρειαστεί, δεν ελαττώνεται αυτόµατα Εάν µια ArrayList έχει µεγάλο ποσό περιττής χωριτικότητας, ηενεργοποίησητηςµεθόδου trimtosize θα ελαττώσει την χωριτικότητα της ArrayList στο µέγεθος που χρειάζεται 37

38 Παγίδα: Η µέθοδος clone δηµιουργεί ρηχά αντίγραφα Όταν χρειάζεται ένα βαθύ αντιγραφο (deep copy) µιας ArrayList, η χρήση της µεθόδου δεν επαρκεί Η ενεργοποίηση της clone σε ένα αντικείµενο ArrayList παράγει ένα ρηχό αντίγραφο (shallow copy), και όχι ένα βαθύ αντίγραφο (deep copy) Για να φτιάξουµε ένα deep copy, πρέπει να έχουµε τη δυνατότητα να φτιάξουµε deep copy των αντικειµένων του βασικού τύπου Κατόπιν ένα deep copy κάθε στοιχείου της ArrayList µπορεί να δηµιουργθεί και να τοποθετηθεί σε ένα νέο αντικείµενο ArrayList 38

39 ΗκλάσηVector Οι standard libraries της Java έχουν µια κλάση µε όνοµα Vector που συµπεριφέρεται σχεδόν όπως και η κλάση ArrayList Στις περισσότερες καταστάσεις, µπορεί να χρησιµοποιηθεί οποιαδήποτε από τις δυο Όµως η κλάση ArrayList είναι νεότερη, και σταδιακά γίνεται η προτιµητέα 39

40 Παραµετροποιοηµένες κλάσεις και Generics Η κλάση ArrayList είναι µια παραµετροποιηµένη κλάση (parameterized class) Έχει µια παράµετρο, που συµβολίζεται µε Base_Type, που µπορεί να αντικατασταθεί από οποιονδηποτε άλλο reference type για να προκύψει µια κλάση της ArrayLists µε τον καθορισµένο βασικό τύπο Από την έκδοση 5.0, η Java επιτρέπει ορισµούς κλάσεων και µεθόδων µε τύπους ως παραµέτρους Αυτές οι κλάσεις που έχουν τύπους ως παραµέτρους αποκαλούνται parameterized class ή generic definitions, ή, απλά, generics 40

41 Μη-παραµετροποιηµένες κλάσεις ArrayList και Vector Οι κλάσεις ArrayList και Vector έχουν µια παράµετρο τύπου για τον βασικό τύπο Υπάρχουν επίσης ArrayList και Vector κλάσεις χωρίς παράµετρο, των οποίων ο τύπος είναι Object Αυτές οι κλάσεις είναι κατάλοιπα παλιότερων εκδόσεων της Java 41

42 Generics Κλάσεις και µέθοδοι µπορεί να έχουν παράµετρο τύπου Μια παράµετρος τύπου µπορεί να έχει οποιοδήποτε reference type (δηλ., τύπο κλάσης) ενσωµατωµένο στην παράµετρο Όταν ενσωµατώνεται ένας συγκεκριµένος τύπος, τότε παράγεαι ένας συγκεκριµένος τύπος κλάσης ή µεθόδου 42

43 Generics Ένας ορισµός κλάσης µε µια παράµετρο τύπου αποθηκεύεται σε ένα αρχείο και µεταγλωττίζεται κανονικά όπως κάθε άλλη κλάση Αφού µεταγλωττιστεί µια παραµετροποιηµένη κλάση, µπορεί να χρησιµοποιηθεί όπως κάθε άλλη κλάση Όµως, ο τύπος κλάσης που εσνωµατώνεται µέσα στην παράµετρο τύπου πρέπει να καθοριστεί πριν χρησιµοποιηθεί στο πρόγραµµα Κάνοντας αυτό θα λέµε ότι κάνουµε instantiate την generic κλάση Sample<String> object = new Sample<String>(); 43

44 Ορισµός κλάσης µε παράµετρο τύπου 44

45 Ορισµός κλάσης µε παράµετρο τύπου Μια κλάση που ορίζεται µε µια παράµετρο για έναν τύπο καλείται generic class ή parameterized class Ηπαράµετρος τύπου περικλείεται σε γωνιώδεις αγκύλες (angular brackets) µετά το όνοµα της κλάσης στην κεφαλίδα του ορισµού της κλάσης Οποιοσδήποτε non-keyword identifier µπορεί να χρησιµοποιηθεί ως παράµετρος τύπου, αλλά από σύµβαση, ηπαράµετρος ξεκινά µε κεφαλαίογράµµα Η παράµετρος τύπου µπορεί να χρησιµοποιηθεί όπως και οι άλλοι τύποι που χρησιµοποιούνται στον ορισµό µιας κλάσης 45

46 Υπόδειξη: Μεταγλώττιση µε την επιλογή -Xlint Υπάρχουν πολλές παγίδες όταν χρησιµοποιούµε παραµέτρους τύπων Μεταγλωττιζοντας µε την επιλογή-xlint παρέχει καλύτερα διαγνωστικά για οποιαδήποτε προβλήµατα στον κώδικα javac Xlint Sample.java 46

47 Generic Ordered Pair Class (1/4) 47

51 Χρήση της Ordered Pair Class (1/3) 51

54 Παγίδα: Ο constructor µιας κλάσης Generic δεν έχει παράµετρο τύπου Παρόλο που το όνοµα µιας κλάσης στον ορισµό µιας παραµετροποιηµένης κλάσης έχει µια παράµετρο τύπου, αυτή η παράµετρος δεν χρησιµοποιείται στην κεφαλίδα του ορισµού του constructor public Pair<T>() Ο constructor µπορεί να χρησιµοποιήσει την παράµετρο τύπου ως τοντύπο µιας παραµέτρου στον, αλλά στην περίπτωση αυτή, δεν χρησιµοποιούνται οι angular brackets public Pair(T first, T second) Όµως, όταν µια generic class αρχικοποιείται (instantiated), οι angular brackets χρησιµοποιουνται Pair<String> pair = new Pair<STring>("Happy","Day"); 54

55 Παγίδα: Ένας primitive τύπος δεν µπορεί να µπει στη θέση µιας παραµέτρου τύπου Ο τύπος που ενσωµατώνεται σε µια παράµετρο τύπου πρέπει πάντα να είναι reference type εν µπορεί να είναι primitive τύπου, όπως int, double, ή char Όµως, τώρα πλέον που η Java έχει αυτόµατο boxing, αυτό δεν αποτελεί πρόβληµα Σηµείωση: οι reference types µπορεί να περιλαµβάνουν πίνακες 55

56 Παγίδα: Μια παράµετρος τύπου δεν µπορεί να χρησιµοποιηθεί παντού όπου και το όνοµα ενός τύπου Μέσα στον ορισµό µιας parameterized class, υπάρχουν σηµεία όπου το όνοµα µιας κανονικής κλάσης θα επιτρεπόταν, αλλά µια παράµετρος τύπου δεν επιτρέπεται Ειδικότερα, µια παράµετρος τύπου δεν µπορεί να χρησιµοποιηθεί σε απλές εκφράσεις µε χρήση του new γιαναδηµιουργήσουµε ένανέο αντικείµενο Για παράδειγµα, µια παράµετρος τύπου δεν µπορεί να χρησιµοποιηθεί ως όνοµα constructor ήόπωςένας constructor: T object = new T(); T[] a = new T[10]; 56

57 Παγίδα: Αρχικοποίηση µιας Generic κλάσης δεν µπορεί να έχει πίνακα ως βασικό τύπο Πίνακες όπως στην επόµενη δήλωση δεν επιτρέπονται: Pair<String>[] a = new Pair<String>[10]; Παρόλο που αυτό είναι κάτι λογικό να κάνουµε, δεν επιτρέπεται δεδοµένου του τρόπου που η Java υλοποιεί τις generic κλάσεις 57

58 Χρήση της Ordered Pair κλάσης και αυτόµατο Boxing (1/3) 58

61 Παγίδα: Ο ορισµός µιας κλάσης µπορεί να έχει περισσότερες της µιας παραµέτρους τύπου Ο ορισµός µιας generic κλάσης µπορεί να έχει οποιοδήποτε αριθµό παραµέτρων τύπου Πολλαπλές παράµετροι τύπων παρατίθονται σε angular brackets όπως και στην περίπτωση της µιας παραµέτρου τύπου, αλλά διαχωρίζονται µε κόµµα 61

62 Πολλαπλοί παράµετροι τύπου (1/4) 62

66 Παγίδα: Μια Generic κλάση δεν µπορεί να είναι Exception κλάση εν επιτρέπεται να δηµιουργούµε generic κλάσεις µε χρήσητωνexception, Error, Throwable, ή οποιασδήποτε άλλης κλάσηςαπογόνου της Throwable εν µπορούµε να δηµιουργήσουµε µια generic κλάση της οποίας τα αντικείµεναθαείναιthrowable public class GEx<T> extends Exception Το παραπάνω παράδειγµα παράγειcompiler error µήνυµα 66

67 Χρήση µιας Generic κλάσης µε δυο παραµέτρους τύπου (1/2) 67

68 Χρήση µιας Generic κλάσης µε δυο παραµέτρους τύπου (2/2) 68

69 Όρια για παραµέτρους τύπου Μερικές φορές είναι χρήσιµο να περιορίζουµε του πιθανούς τύπους οι οποίοι µπορεί να ενσωµατωθούν σε µια παράµετρο τύπου T Για παράδειγµα, για να είµαστε σίγουροι ότι µόνο κλάσεις που υλοποιούν το interface Comparable θα ενσωµατώνονται στο T, ορίζουµε µια κλάση ως εξής: public class RClass<T extends Comparable> "extends Comparable" υπηρετεί το ρόλο του ορίου (bound) για την παράµετρο τύπου T Οποιαδήποτε απόπειρα να ενσωµατώσουµε ένα τύπο για το T ο οποίος δεν υλοποιεί το interface Comparable θα προκαλέσει µήνυµα compiler error 69

70 Όρια για παραµέτρους τύπου Ένα όριο σε έναν τύπο µπορεί να είναι και το όνοµα µιας κλάσης Τότε µόνο κλάσεις απόγονοι της χρησιµοποιούµενης κλάσης µπορούν να ενσωµατωθούν στην παράµετρο τύπου public class ExClass<T extends Class1> Μια έκφραση ορίου µπορεί να περιέχει πολλαπλά interfaces και µέχρι µια το πολύ κλάση Εάν υπάρχουν παραπάνω από µια παράµετρος τύπου, ησύνταξηείναιηεξής: public class Two<T1 extends Class1, T2 extends Class2 & Comparable> 70

71 Μια παράµετρος τύπου µε όρια 71

72 Υπόδειξη: Generic Interfaces Ένα interface µπορεί να έχει µια ή περισσότερες παραµέτρους τύπου Οι λεπτοµέρειες και ο συµβολισµός είναιοιίδιοι όπως και για τις κλάσεις µεπαραµέτρους τύπου 72

73 Generic µέθοδοι Όταν ορίζεται µια generic κλάση, η παράµετρος τύπου µπορεί να χρησιµοποιηθεί στους ορισµούς των µεθόδων γι αυτή τη generic κλάση Επιπλέον, µπορεί να οριστεί µια generic µέθοδος η οποία έχει τη δική της παράµετρο τύπου, η οποία παράµετρος δεν είναι ίδια µε καµία παράµετρο τύπου κάποιας κλάσης Μια generic µέθοδος µπορεί να είναι µέλος µια κανονικής κλάσης ή να είναι µέλος µια generic κλάσης η οποία έχει κάποια άλλη παράµετρο τύπου Η παράµετρος τύπου µιας generic µεθόδου είναι τοπική (local) στη µέθοδο, όχι στην κλάση 73

74 Generic µέθοδοι Η παράµετρος τύπου πρέπει να τοποθετείται (σε angular brackets) µετά από όλους τους modifiers, και πριν από τον επιστρεφόµενο τύπο (returned type) public static <T> T genmethod(t[] a) Όταν ενεργοποιείται µια από αυτές τις generic µεθόδους, από το όνοµα της µεθόδου προηγείται ο τύπος που θα ενσωµατωθεί, περικλειόµενος σε angular brackets String s = NonG.<String>genMethod(c); 74

75 Κληρονοµικότητα µε Generic κλάσεις Μια generic κλάση µπορεί να οριστεί ως παραγόµενη κλάσης µιας κανονικής κλάσης ή µιας άλλης generic κλάσης Όπως και στις κανονικές κλάσεις, ένα αντικείµενο τύπου της υποκλάσης θα είναι επίσης και τύπου της υπερκλάσης εδοµένων δυο κλάσεων: A και B, και δεδοµένης της G: µιας generic κλάσης, δεν υπάρχει σχσέση µεταξύ των G<A> και G<B> Αυτό είναι αληθές ανεξάρτητα από τη σχέση µεταξύ των κλάσεων A και B, π.χ., εάν η κλάση B είναι υποκλάση της κλάσης A 75

76 Μια παραγόµενη Generic κλάση (1/2) 76

77 Μια παραγόµενη Generic κλάση (2/2) 77

78 Χρήση της UnorderedPair (1/2) 78

79 Χρήση της UnorderedPair (2/2) 79