ΠΟΛΥΜΟΡΦΙΣΜΟΣ. Chapter 8, Savitch. Περίγραμμα. Introduction to Polymorphism. Introduction to Polymorphism. Βασικό Ερώτημα

Transcript

1 Περίγραμμα ΠΟΛΥΜΟΡΦΙΣΜΟΣ Chapter 8, Savitch Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method 1 2 Itroductio to Polymorphism There are three mai programmig mechaisms that costitute object-orieted programmig (OOP) Ecapsulatio (Ενθυλάκωση) Iheritace (Κληρονομικότητα) Polymorphism (Πολυμορφισμός) Polymorphism is the ability to associate may meaigs to oe method It does this through a special mechaism kow as late bidig or dyamic bidig import java.util.*; class Istrumet { public void play() { static void tue(istrumet i) { i.play(); class Wid exteds Istrumet { public static void mai(strig[] args) { Wid flute = ew Wid(); Istrumet.tue(flute); // Upcastig Copyright 2017 Pearso Ltd. All rights reserved. 3 Μ. Δικαιάκος, EΠΛ233 4 Βασικό Ερώτημα Itroductio to Polymorphism static void tue(istrumet i) { i.play(note.middle_c); Όπως είπαμε, στην tue μπορούμε να "περάσουμε" χειριστήρια αντικειμένων που κληρονομούν από την κλάση Istrumet. Εφόσον μια κλάση-κληρονόμος (π.χ. Wid) καθορίζει τη "δική" της μέθοδο play, η κλήση της play μέσα από την tue θα γίνει σύμφωνα με αυτή την μέθοδο της κλάσηςκληρονόμου, όταν στην tue περάσουμε χειριστήριο της κληρονόμου. Iheritace allows a base class to be defied, ad other classes derived from it Code for the base class ca the be used for its ow objects, as well as objects of ay derived classes Polymorphism allows chages to be made to method defiitios i the derived classes, ad have those chages apply to the so3ware wri6e for the base class 5 Copyright 2017 Pearso Ltd. All rights reserved. 6

2 Ερώτημα Περίγραμμα static void tue(istrumet i) { i.play(note.middle_c); Πώς μπορεί να γνωρίζει ο μεταγλωττιστής ότι η παράμετρος που περνάει σε κάποιο σημείο προς την tue είναι κλάσης Wid και όχι Brass ή Striged, ώστε να καλέσει την κατάλληλη tue; Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method 7 8 Πρόσδεση μεθόδου - bidig Early vs Late Bidig static void tue(istrumet i) { i.play(note.middle_c); public void play(note ) { mypr("brass.play()"); H διασύνδεση μιας κλήσης μεθόδου με το «σώμα» της μεθόδου (δηλαδή τον κώδικα που θα εκτελεστεί). The process of associatig a method defiitio with a method ivocatio is called bidig If the method defiitio is associated with its ivocatio whe the code is compiled, that is called early bidig -πρώιμη/στατική πρόσδεση (early bidig): Γίνεται πριν την εκτέλεση του προγράμματος, από τον μεταγλωττιστή (compiler) και τoν συνδετήρα (liker). If the method defiitio is associated with its ivocatio whe the method is ivoked (at ru time), that is called late bidig or dyamic bidig Λόγω κληρονομικότητας ο μεταφραστής δεν μπορεί να γνωρίζει στο χρόνο-μετάφρασης ποιές παράμετροι θα περαστούν στην tue και πότε... Η λύση που υιοθετείται από τις Α/Σ ΓΠ λέγεται όψιμη πρόσδεση (late bidig) ή δυναμική πρόσδεση ή πρόσδεση στον χρόνο εκτέλεσης (ru-time bidig) Όψιμη (Καθυστερημένη) Πρόσδεση Πολυμορφική συμπεριφορά Η όψιμη πρόσδεση στηρίζεται σε έναν μηχανισμό, ο οποίος μπορεί να καθορίσει τον τύπο ενός αντικειμένου την στιγμή της εκτέλεσης, και να καλέσει την κατάλληλη μέθοδο. Χάρη στην όψιμη πρόσδεση, μια μέθοδος μπορεί να γραφτεί σε μια κλάση βάσης για την εκτέλεση μιας λειτουργίας, ακόμα και αν αποσπάσματα αυτής της λειτουργίας δεν έχουν ακόμα καθοριστεί. Δεδομένου ότι η Java υποστηρίζει όψιμη πρόσδεση μεθόδων, μπορείτε να: αναπτύσετε τον κώδικά σας για να συνεργάζεται με μια κλάση βάσης(base class) γνωρίζοντας ότι ο κώδικάς σας θα μπορεί να συνεργαστεί σωστά και με όλoυς τους κληρονόμους της κλάσης βάσης. Με άλλα λόγια, μπορείτε να στέλνετε ένα μήνυμα σε ένα αντικείμενο, και αφήνετε το αντικείμενο ν' αποφασίσει πώς θα «εκτελέσει» το μήνυμα

3 Πολυμορφικές κλήσεις Χειριστήριο Circle Cast "up" Circle Shape s = ew Circle(); // upcastig Shape Square Lie s.; // polymorphic call results to callig Circle.draw Η κλήση της μεθόδου s.πάνω σε χειριστήριο της κλάσης-κληροδότη, προκαλεί την κλήση της Circle. του κληρονόμου, λόγω όψιμης πρόσδεσης. Πολυμορφικές κλήσεις public class Shapes { public static Shape radshape() { switch((it)(math.radom() * 3)) { default: case 0: retur ew Circle(); // upcastig case 1: retur ew Square(); // upcastig case 2: retur ew Triagle(); // upcastig public static void mai(strig[] args) { Shape[] s = ew Shape[9]; for (it i = 0; i < s.legth; i++) s[i] = radshape(); for (it i = 0; i < s.legth; i++) s[i].; // polymorphic calls Περίγραμμα Πολυμορφισμός κ. επεκτασιμότητα Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method Η κληρονομικότητα και ο πολυμορφισμός απλοποιούν την πρόσθεση νέων κλάσεων, που κληρονομούν από την κοινή κλάση-κληροδότη. Οι μέθοδοι που διατίθενται στην διαπροσωπεία της κλάσηςκληροδότη δεν χρειάζεται ν' αλλάξουν για την εξυπηρέτηση των νέων κλάσεων Πολυμορφισμός κ. επεκτασιμότητα Πολυμορφισμός κ. επεκτασιμότητα Wid void play() Strig what() void adjust() Istrumet void play() Strig what() void adjust() Percussio void play() Strig what() void adjust() Striged void play() Strig what() void adjust() Π.χ. οι κλάσεις Brass και WoodWid μπορούν να χρησιμοποιήσουν την tue, η οποία έχει οριστεί πριν καν την δημιουργία τους. Ακόμη κι αν η tue() βρίσκεται σε διαφορετικό αρχείο και προσθέσουμε νέες μεθόδους στην διαπροσωπεία τής Istrumet, η tue() θα δουλέψει σωστά χωρίς επαναμετάφραση. WoodWid void play() Strig what() void adjust() Brass void play() Strig what() void adjust() 17 18

4 Επεκτασιµότητα (παράδειγµα) import java.util.*; class Istrumet { public void play() { public Strig what() { public void adjust() { class Wid exteds Istrumet { public void play() { public Strig what() { public void adjust() { class Percussio exteds Istrumet { public void play() { public Strig what() { public void adjust() { Επεκτασιµότητα (παράδειγµα) class Striged exteds Istrumet { public void play() { public Strig what() { public void adjust() { class Brass exteds Wid { public void play() { public void adjust() { class Woodwid exteds Wid { public void play() { public Strig what() { Επεκτασιµότητα (παράδειγµα) Καθαρή κληρονομικότητα vs. Επέκταση public class Music3 { static void tue(istrumet i) { //... i.play(); Does't care about type, so ew types added to the system still work right static void tueall(istrumet[] e) { for(it i = 0; i < e.legth; i++) tue(e[i]); public static void mai(strig[] args){ Istrumet[] orchestra = ew Istrumet[5]; it i = 0; orchestra[i++] = ew Wid(); orchestra[i++] = ew Percussio(); orchestra[i++] = ew Striged(); orchestra[i++] = ew Brass(); orchestra[i++] = ew Woodwid(); tueall(orchestra); Upcastig durig additio to the array 21 Οι κληρονόμοι δεν επεκτείνουν την διαπροσωπεία του κληροδότη (υπερσκέλιση). l l Οι κληρονόμοι επεκτείνουν την διαπροσωπεία του κληροδότη. Αδύνατη η χρήση των νέων μεθόδων, μέσω Upcastig 22 Πολυμορφικές κλήσεις Περίγραμμα Χειριστήριο Circle Cast "up" Circle hello() Shape s = ew Circle(); // upcastig Shape Square Lie Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method s.hello(); Προκαλεί σφάλμα μετάφρασης 23 24

5 Polymorphism example The Sale ad DiscoutSale Classes For a example, the relatioship betwee a base class called Sale ad its derived class DiscoutSale will be examied Sale DiscoutSale The Sale class cotais two istace variables ame: the ame of a item (Strig) price: the price of a item (double) It cotais three costructors A o-argumet costructor that sets ame to "No ame yet", ad price to 0.0 A two-parameter costructor that takes i a Strig (for ame) ad a double (for price) A copy costructor that takes i a Sale object as a parameter Copyright 2017 Pearso Ltd. All rights reserved. 25 Copyright 2017 Pearso Ltd. All rights reserved. 26 The Sale ad DiscoutSale Classes The Sale class also has a set of accessors - μέθοδοι προσπέλασης (getname, getprice), mutators - μέθοδοι μεταλλαγής (setname, setprice), overridde (αναιρεμένες) equals ad tostrig methods, ad a static aoucemet method The Sale class has a method bill, that determies the bill for a sale, which simply returs the price of the item It has two methods, equaldeals ad lesstha, each of which compares two sale objects by comparig their bills ad returs a boolea value The Sale ad DiscoutSale Classes The DiscoutSale class iherits the istace variables ad methods from the Sale class I additio, it has its ow istace variable, discout (a percet of the price), ad its ow suitable costructor methods, accessor method (getdiscout), mutator method (setdiscout), override tostrig method, ad static aoucemet method The DiscoutSale class has its ow bill method which computes the bill as a fuctio of the discout ad the price Copyright 2017 Pearso Ltd. All rights reserved. 27 Copyright 2017 Pearso Ltd. All rights reserved. 28 The Sale ad DiscoutSale Classes The Sale ad DiscoutSale Classes The Sale class lesstha method The Sale class bill() method: Note the bill() method ivocatios: public double bill( ) { public boolea lesstha (Sale othersale){ if (othersale == ull) { System.out.pritl("Error: ull object"); System.exit(0); retur (bill( ) < othersale.bill( )); retur price; The DiscoutSale class bill() method: public double bill( ) { double fractio = discout/100; retur (1 - fractio) * getprice( ); Copyright 2017 Pearso Ltd. All rights reserved. 29 Copyright 2017 Pearso Ltd. All rights reserved. 30

6 The Sale ad DiscoutSale Classes Give the followig i a program:... Sale simple = ew sale("floor mat", 10.00); DiscoutSale discout = ew DiscoutSale("floor mat", 11.00, 10);... if (discout.lesstha(simple)) System.out.pritl("$" + discout.bill() + " < " + "$" + simple.bill() + " because late-bidig works!");... Output would be: $9.90 < $10 because late-bidig works! The Sale ad DiscoutSale Classes I the previous example, the boolea expressio i the if statemet returs true As the output idicates, whe the lesstha method i the Sale class is executed, it kows which bill() method to ivoke The DiscoutSale class bill() method for discout, ad the Sale class bill() method for simple Note that whe the Sale class was created ad compiled, the DiscoutSale class ad its bill() method did ot yet exist These results are made possible by late-bidig Copyright 2017 Pearso Ltd. All rights reserved. 31 Copyright 2017 Pearso Ltd. All rights reserved. 32 Περίγραμμα Pitfall: No Late Bidig for Static Methods Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method Whe the decisio of which defiitio of a method to use is made at compile time, that is called sta8c bidig This decisio is made based o the type of the variable amig the object Java uses static (early) bidig with private, fial, ad static methods I the case of private ad fial methods, late bidig would serve o purpose, as such methods are ot iherited However, i the case of a static method ivoked usig a callig object, it does make a differece 33 Copyright 2017 Pearso Ltd. All rights reserved. 34 Pitfall: No Late Bidig for Static Methods The Sale class aoucemet() method: public static void aoucemet( ){ System.out.pritl("Sale class"); The DiscoutSale class aoucemet() method: public static void aoucemet( ){ System.out.pritl("DiscoutSale class"); Copyright 2017 Pearso Ltd. All rights reserved. Pitfall: No Late Bidig for Static Methods Sale simple = ew sale("floor mat", 10.00); DiscoutSale discout = ew DiscoutSale("floor mat", 11.00, 10); I the previous example, the simple (Sale class) ad discout (DiscoutClass) objects were created Give the followig assigmet: simple = discout; Now the two variables poit to the same object I particular, a Sale class variable ames a DiscoutClass object 35 Copyright 2017 Pearso Ltd. All rights reserved. 36

7 Pitfall: No Late Bidig for Static Methods Give the ivocatio: simple.aoucemet(); The output is: Sale class Note that here, aoucemet is a static method ivoked by a callig object (istead of its class ame) Therefore the type of simple is determied by its variable ame, ot the object that it refereces Pitfall: No Late Bidig for Static Methods There are other cases where a static method has a callig object i a more icospicuous way For example, a static method ca be ivoked withi the defiitio of a ostatic method, but without ay explicit class ame or callig object I this case, the callig object is the implicit this Copyright 2017 Pearso Ltd. All rights reserved. Copyright 2017 Pearso Ltd. All rights reserved Aν προστεθεί ο ακόλoυθος κώδικας στη Sale: Ποιά θα είναι η έξοδος του ακόλoυθου προγράμματος; Sale s = ew Sale ( fm,10); s.showadvertisemet(); DiscoutSale dis = ew DiscoutSale( fm, 11, 10); dis.showadvertisemet(); Sale class fm Price ad total cost=$10.0 Discout class fm Price = $11 Discout=10.0% Total cost=$9.9 public void showadvertisemet() { aoucemet(); System.out.pritl(toStrig()); Sale class fm Price ad total cost=$10.0 Sale class fm Price = $11 Discout=10.0% Total cost=$9.9 Επισκίαση (hidig) vs. Υπερσκέλιση (overridig) Αν μια υποκλάση ορίζει μια στατική μέθοδο με την ίδια υπογραφή με μια επίσης στατική μέθοδο τής υπερκλάσης της, η στατική μέθοδος της υποκλάσης επισκιάζει (hides) την ομώνυμη μέθοδο της υπερκλάσης. Η διαφοροποίηση ανάμεσα στην επισκίαση (hidig) και την υπερσκέλιση (overridig) είναι λεπτή και έχει σημαντικές προεκτάσεις. See: override.html EΠΛ133 Compile error Ru-time error Επισκίαση vs. Υπερσκέλιση (παράδειγμα) public class Aimal { public static void hide() { System.out.pritl( hide() i Aimal"); public void override() { System.out.pritl("override() i Aimal"); 41 Επισκίαση vs. Υπερσκέλιση (παράδειγμα) public class Cat exteds Aimal { public static void hide() { System.out.pritl("hide() i Cat."); public void override() { System.out.format( override() i Cat."); public static void mai(strig[] args) { Aimal myaimal = ew Cat(); myaimal.hide(); // BAD STYLE Aimal.hide(); // Better! myaimal.override(); 42

8 Επισκίαση vs. Υπερσκέλιση Στην περίπτωση κλήσης μιας στατικής μεθόδου πάνω σε χειριστήριο x κάποιας κλάσης Α, το σύστημα εκτέλεσης θα καλέσει τη στατική μέθοδο που δηλώνεται ως μέλος της κλασης Α, ασχέτως του τύπου του αντικειµένου στο οποίο παραπέµπει το χειριστήριο. Στην περίπτωση κλήσης μιας μη-στατικής μεθόδου πάνω σε χειριστήριο x κάποιας κλάσης Α, το σύστημα εκτέλεσης θα καλέσει τη μέθοδο που ανήκει στην κλάση του αντικειμένου στο οποίο παραπέμπει το x. Μια μη στατική μέθοδος δεν επιτρέπεται να υπερσκελίσει (override) μια στατική μέθοδο. Μια στατική μέθοδος δεν επιτρέπεται να επισκιάσει (hide) μια μη στατική μέθοδο. Defiig a Method with the Same Sigature as a Superclass's Method Istace Method Static Method Superclass Istace Method Overrides (retur type must be a subtype of the retur type of the superclass's method) - υπερσκελίζει Geerates a compiletime error Superclass Static Method Compile-time error Hides - Επισκιάζει The fial Modifier A method marked fial idicates that it caot be overridde with a ew defiitio i a derived class If fial, the compiler ca use early bidig with the method public fial void somemethod() {... A class marked fial idicates that it caot be used as a base class from which to derive ay other classes Late Bidig with tostrig If a appropriate tostrig method is defied for a class, the a object of that class ca be output usig System.out.pritl Sale asale = ew Sale("tire gauge", 9.95); System.out.pritl(aSale); Output produced: tire gauge Price ad total cost = $9.95 This works because of late bidig Copyright 2017 Pearso Ltd. All rights reserved. 45 Copyright 2017 Pearso Ltd. All rights reserved. 46 Late Bidig with tostrig Oe defiitio of the method pritl takes a sigle argumet of type Object: public void pritl(object theobject) { System.out.pritl(theObject.toStrig()); I tur, It ivokes the versio of pritl that takes a Strig argumet Note that the pritl method was defied before the Sale class existed Yet, because of late bidig, the tostrig method from the Sale class is used, ot the tostrig from the Object class A Object kows the Defiitios of its Methods The type of a class variable determies which method ames ca be used with the variable However, the object amed by the variable determies which defiitio with the same method ame is used A special case of this rule is as follows: The type of a class parameter determies which method ames ca be used with the parameter The argumet determies which defiitio of the method ame is used Copyright 2017 Pearso Ltd. All rights reserved. 47 Copyright 2017 Pearso Ltd. All rights reserved. 48

9 Περίγραμμα Ιδιωτικές μέθοδοι και κληρονομικότητα Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method public class PrivateOverride { private void f() {prit( private f() ); public static void mai(strig[] args) { PrivateOverride po = ew Derived(); po.f(); class Derived exteds PrivateOverride { public void f() {prit( public f() ); Κληρονομικότητα και προσδιοριστές πρόσβασης Η κλάση-κληρονόμος μπορεί να υπερσκελίσει (override) την λειτουργικότητα μιας μεθόδου της υπερκλάσης της δηλώνοντας μια μέθοδο με την ίδια υπογραφή και τον ίδιο τύπο επιστροφής με αυτόν της μεθόδου της υπερκλάσης. Η δυνατότητα της υπερσκέλισης μας επιτρέπει να κληρονομούμε συμπεριφορές από τις υπερκλάσεις μας και να τροποποιούμε αυτές τις συμπεριφορές μόνο όταν το κρίνουμε αναγκαίο. Ο προσδιοριστής πρόσβασης της υπερσκελίζουσας μεθόδου μιας υποκλάσης, μπορεί να δίνει τα ίδια ή περισσότερα δικαιώματα πρόσβασης με αυτά της μεθόδου της υπερκλάσης, όχι όμως λιγότερα. Π.χ: μια friedly μέθοδος της υπερκλάσης μπορεί να γίνει public αλλά όχι private Κληρονομικότητα και προσδιοριστές πρόσβασης Circle private Shape public Square public public Lie public private Αν επιχειρήσουμε να αλλάξουμε (περιορίσουµε) τις δικαιοδοσίες πρόσβασης σε μεθόδους της Shape: θα πάρουμε μύνημα σφάλματος: δεν μπορούμε να περιορίσουμε την ορατότητα των μελών της διαπροσωπείας της Shape! Παρατηρήσεις για κληρονομικότητα Περίγραμμα Μια υποκλάση κληρονομεί όλα τα μέλη (πεδία δεδομένων και μεθόδους) της υπερκλάσης της. Ωστόσο, η υποκλάση δεν έχει πρόσβαση στα ιδιωτικά (private) μέλη που κληρονομούνται από την υπερκλάση. Σημείωση: οι κατασκευαστές δεν θεωρούνται μέλη των κλάσεων και γι αυτό δεν κληρονομούνται. Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method 53 54

10 Πολυμορφισμός και Πεδία Δεδομένων class Super { public it field = 0; public it getfield() { retur field; class Sub exteds Super { public it field = 1; public it getfield() { retur field; public it getsuperfield() { retur super.field; public class Field Access { public static void mai(strig[] args) { Super sup = ew Sub(); // upcastig System.out.pritl(sup.field + + sup.getfield()); Sub sub = ew Sub(); System.out.pritl(sub.field + + sub.getfield() + + sub.getsuperfield()); Μ. Δικαιάκος, EΠΛ EΠΛ133 Ποιά είναι η έξοδος του προηγούμενου παραδείγματος; sup.field =0, sup.getfield() = 1 sub.field = 1, sub.getfield()=1, sub.getsuperfield=0 sup.field =1, sup.getfield() = 1 sub.field = 1, sub.getfield()=1, sub.getsuperfield=0 sup.field =0, sup.getfield() = 1 sub.field = 1, sub.getfield()=1, sub.getsuperfield=1 Σφάλμα εκτέλεσης 56 Πολυμορφισμός και Πεδία Δεδομένων Περίγραμμα Στο παράδειγμα, όπου ένα αντικείμενο Sub αναβαθμίζεται (upcast) σε χειριστήριο Super, όλες οι προσβάσεις σε πεδία δεδομένων «επιλύονται» από τον μεταγλωττιστή και δεν είναι πολυμορφικές. Η απευθείας πρόσβαση σε ένα πεδίο δεδομένων επιλύεται στον χρόνο μεταγλώττισης και συνεπώς δεν είναι πολυμορφική. Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method Κατασκευαστές και Πολυμορφισμός Παράδειγμα Ο κατασκευαστής ενός κληροδότη καλείται πάντοτε μέσα από τον κατασκευαστή του κληρονόμου του.έτσι, δημιουργείται μια αλυσίδα κλήσεων προς τα ανώτερα στρώματα της ιεραρχίας κληρονομικότητας. Η αλυσίδα αυτή των κλήσεων διασφαλίζεται από τον μεταγλωττιστή, ώστε να εξασφαλιστεί η σωστή κατασκευή αντικειμένων κλάσεων-κληρονόμων. Η σειρά των κλήσεων στην περίπτωση κατασκευής ενός αντικειμένου κάποιας κλάσης κληρονόμου Α, είναι η ακόλουθη: Κλήση του κατασκευαστή της υπερκλάσης της Α. Επανάληψη της κλήσης ώστε τελικά να κατασκευαστεί πρώτα το υποαντικείμενο της ρίζας της ιεραρχίας, ακολουθούμενο από το υποαντικείμενο του επόμενου κληρονόμου, κοκ. Εκτέλεση των αρχικοποιητών (iitializers) της Α, με βάση την σειρά δήλωσης των αντίστοιχων πεδίων της κλάσης. Κλήση του «σώματος» του κατασκευαστή Α(). class Meal { Meal() { System.out.pritl("Meal()"); class Bread { Bread() { System.out.pritl("Bread()"); class Cheese { Cheese() { System.out.pritl("Cheese()"); class Lettuce {Lettuce() { System.out.pritl("Lettuce()"); class Luch exteds Meal { Luch() { System.out.pritl("Luch()"); class PortableLuch exteds Luch { PortableLuch() {System.out.pritl("PortableLuch()"); class Sadwich exteds PortableLuch { Bread b = ew Bread(); Cheese c = ew Cheese(); Lettuce l = ew Lettuce(); Sadwich() { System.out.pritl("Sadwich()"); public static void mai(strig[] args) { ew Sadwich(); 59 60

11 Παράδειγμα (έξοδος) Meal() Luch() ProtableLuch() Bread() Cheese() Lettuce() Sadwitch() Παράδειγμα ΙΙ class Test exteds Object { /** Creates ew Test */ public Test() { System.out.pritl("Test()"); void foo() { System.out.pritl("foo i Test"); public class Test1 exteds Test { public Test1() { System.out.pritl("Test1"); public Test1(Test tt) { System.out.pritl("Test1.2"); tt.foo(); void foo() { System.out.pritl("foo i Test1"); public static void mai(strig args[]) { System.out.pritl("mai"); Test tt = ew Test(); Test tt1 = ew Test1(); Test tt2 = ew Test1(tt); Test tt3 = ew Test1(tt1); Ποια η έξοδος αυτού του κώδικα; Μ. Δικαιάκος, EΠΛ mai Test() Test() Test1 Test() Test1.2 foo i Test Test() Test1.2 foo i Test1 Μ. Δικαιάκος, EΠΛ Πολυμορφικές κλήσεις μέσα σε κατασκευαστές Πολυμορφικές κλήσεις μέσα σε κατασκευαστές class X { class X { void foo() { goo(); Πότε θα πραγματοποιηθεί η κλήση αυτή της goo()? Πώς θα γίνει η πρόσδεση της goo() και σε ποιό αντικείμενο; Η πρόσδεση θα γίνει δυναμικά (στο χρόνο εκτέλεσης) γιατί δεν μπορεί το αντικείμενο στο οποίο καλείται η foo() (και συνεπώς η goo()) να γνωρίζει εκ των προτέρων την κλάση του 65 X() { goo(); Πότε θα πραγματοποιηθεί η κλήση αυτή της goo()? Πώς θα γίνει η πρόσδεση της goo() και σε ποιό αντικείμενο; Aκόμα και αν η κλήση της goo() γίνει μέσα στον κατασκευαστή, θα χρησιμοποιηθεί δυναμική πρόσδεση σε ενδεχομένως υπερσκελισμένη έκδοση της goo(), ακόμα κι αν το αντικείμενο στο οποίο γίνεται η κλήση δεν έχει αρχικοποιηθεί πλήρως! 66

12 Πολυμορφικές κλήσεις μέσα σε κατασκευαστές class Glyph { void { System.out.pritl( Glyph. ); Glyph() { System.out.pritl("Glyph() before "); ; System.out.pritl("Glyph() after "); class RoudGlyph exteds Glyph { it radius = 1; RoudGlyph(it r) { radius = r; System.out.pritl("RoudGlyph.RoudGlyph(), radius = " + radius); void { System.out.pritl("RoudGlyph., radius = " + radius); public class PolyCostructors { public static void mai(strig[] args) { ew RoudGlyph(5); Ποια η έξοδος αυτού του κώδικα; 67 Μ. Δικαιάκος, EΠΛ Glyph() before RoudGlyph., radius = 0 Glyph() after RoudGlyph.RoudGlyph(), radius = 5 l l Πολυμορφικές κλήσεις μέσα σε κατασκευαστές Η κλήση μιας δυναμικά προσδενόμενης (αφαιρετικής) μεθόδου μέσα στον κατασκευαστή ενός αντικειμένου, χρησιμοποιεί την υπερσκελισμένη έκδοση της μεθόδου. Η διαδικασία αρχικοποίησης αντικειμένου έχει ως εξής: 1. Δέσμευση χώρου για το αντικείμενο και αρχικοποίηση των πεδίων του σε μηδέν. 2. Κλήση κατασκευαστών κληροδοτών. Κλήση υπερσκελισμένων μεθόδων (π.χ. tης ). 3. Αρχικοποίηση πεδίων δεδομένων, με τη σειρά της δήλωσής τους. 4. Κλήση του σώματος του κατασκευαστή του κληρονόμου. Μ. Δικαιάκος, EΠΛ Πολυμορφικές κλήσεις μέσα σε κατασκευαστές Για να αποφεύγουμε αυτές τις «δυσάρεστες» συνέπειες, καλό είναι να ακολουθούμε τον ακόλουθο κανόνα για τους κατασκευαστές των αντικειμένων: Κάνε όσο λιγότερα μπορείς για να φέρεις ένα αντικείμενο σε καλή κατάσταση, κι αν είναι δυνατόν μην καλείς καμιά μέθοδο στο σώμα του κατασκευαστή. Οι μόνες ασφαλείς μέθοδοι για να κληθούν μέσα σε ένα κατασκευαστή, είναι οι τελικές μέθοδοι της κλάσης κληροδότη του. l Συμμεταβλητοί τύποι επιστροφής Covariat retur types: Μια υπερσκελισμένη μέθοδος σε κάποια κλάσηκληρονόμο μπορεί να επιστρέφει τιμή τύπου, ο οποίος τύπος να είναι κληρονόμος του τύπου που επιστρέφει η μέθοδος της κλάσης κληροδότη: class Grai { public Strig tostrig() { retur "Grai"; class Wheat exteds Grai { public Strig tostrig() { retur "Wheat"; class Mill { Grai process() { retur ew Grai(); class WheatMill exteds Mill { Wheat process() { retur ew Wheat(); public class CovariatRetur { public static void mai(strig[] args) { Mill m = ew Mill(); Grai g = m.process(); System.out.pritl(g); m = ew WheatMill(); g = m.process(); System.out.pritl(g); 71 72

13 Περίγραμμα Σχεδιασμός με κληρονομικότητα Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method Κληρονομικότητα και πολυμορφισμός δεν είναι ο μοναδικός τρόπος για την επαναχρησιμοποίηση μιας υπάρχουσας κλάσης. Σε αρκετές περιπτώσεις είναι προτιμότερη η χρήση της σύνθεσης, καθώς τότε είναι δυνατή η δυναµική επιλογή τύπου (άρα και συμπεριφοράς). Π.χ. State desig patter: class Actor { public void act() { class HappyActor exteds Actor { public void act() { prit( HappyActor"); class SadActor exteds Actor { public void act() { prit("sadactor"); class Stage { private Actor actor = ew HappyActor(); public void chage() { actor = ew SadActor(); public void performplay() { actor.act(); public class Trasmogrify { public static void mai(strig[] args) { Stage stage = ew Stage(); stage.performplay(); stage.chage(); stage.performplay(); Περίγραμμα Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method Μ. Δικαιάκος, EΠΛ Upcastig ad Dowcastig Υποβάθμιση (dowcastig) Upcas8g is whe a object of a derived class is assiged to a variable of a base class (or ay acestor class) Sale salevariable; //Base class DiscoutSale discoutvariable = ew DiscoutSale("pait", 15,10); //Derived class salevariable = discoutvariable; //Upcastig System.out.pritl(saleVariable.toStrig()); Because of late bidig, tostrig above uses the defiitio give i the DiscoutSale class Copyright 2017 Pearso Ltd. All rights reserved. 77 Μ. Δικαιάκος, EΠΛ233 Όταν χρησιμοποιούμε upcastig (αναβάθμιση), ανεβαίνουμε την κλίμακα της κληρονομικότητας και χάνουμε την πληροφορία σχετικά με τον τύπο του αντικειμένου που γίνεται upcast. Η αναβάθμιση είναι ασφαλής, αφού ο κληροδότης δεν μπορεί να έχει ευρύτερη διαπροσωπεία από τους κληρονόμους του. Σε περιπτώσεις που έχουμε χρησιμοποιήσει αναβάθμιση, είναι χρήσιμο να μπορούμε να κατεβούμε την κλίμακα της κληρονομικότητας και να βρούμε τον τύπο του αντικειμένου που αναβαθμίστηκε. Η διαδικασία αυτή λέγεται dowcastig-υποβάθμιση και εμπεριέχει τον κίνδυνο να υποβαθμίσουμε ένα χειριστήριο στο λάθος τύπο, στέλνοντας στο αντίστοιχο αντικείμενο ένα μήνυμα που δεν μπορεί να γίνει δεκτό. Χρειάζεται λοιπόν κάποιος τρόπος ελέγχου αν η υποβάθμιση είναι έγκυρη. Ο έλεγχος αυτός γίνεται από την JAVA 78

14 Upcastig ad Dowcastig Υποβάθμιση (dowcastig) Dowcas8g is whe a type cast is performed from a base class to a derived class (or from ay acestor class to ay descedet class) Dowcastig has to be doe very carefully I may cases it does't make sese, or is illegal: discoutvariable = //will produce (DiscoutSale)saleVariable;//ru-time error discoutvariable = salevariable //will produce //compiler error There are times, however, whe dowcastig is ecessary, e.g., iside the equals method for a class: Sale othersale = (Sale)otherObject;//dowcastig Copyright 2017 Pearso Ltd. All rights reserved. 79 Μ. Δικαιάκος, EΠΛ Dowcastig import java.util.*; class Useful { public void f() { public void g() { class MoreUseful exteds Useful { public void f() { public void g() { public void u() { public void v() { public void w() { Dowcastig public class RTTI { public static void mai(strig[] args) { Useful[] x = { ew Useful(), ew MoreUseful() ; x[0].f(); x[1].g(); x[1].u(); // Compile-time: method ot foud i Useful ((MoreUseful)x[1]).u(); // Dowcast/RTTI ((MoreUseful)x[0]).u(); // Exceptio throw Μ. Δικαιάκος, EΠΛ Μ. Δικαιάκος, EΠΛ Pitfall: Dowcastig Tip: Checkig to See if Dowcastig is Legitimate It is the resposibility of the programmer to use dowcastig oly i situatios where it makes sese The compiler does ot check to see if dowcastig is a reasoable thig to do Usig dowcastig i a situatio that does ot make sese usually results i a ru-time error Dowcastig to a specific type is oly sesible if the object beig cast is a istace of that type This is exactly what the istaceof operator tests for: object istaceof ClassName It will retur true if object is of type ClassName I particular, it will retur true if object is a istace of ay descedet class of ClassName 83 84

15 Περίγραμμα A First Look at the cloe Method Itroductio to polymorphism Bidig Polymorphism ad Extesibility Example of Polymorphism: Sale ad DiscoutSale Polymorphism ad static methods Iheritace ad access specifiers Polymorphism ad istace variables Polymorphism ad costructors Polymorphism vs State Desig Patter Upcastig ad Dowcastig: Pitfalls The use of the cloe method Every object iherits a method amed cloe from the class Object The method cloe has o parameters It is supposed to retur a deep copy of the callig object However, the iherited versio of the method was ot desiged to be used as is Istead, each class is expected to override it with a more appropriate versio 85 Copyright 2017 Pearso Ltd. All rights reserved. 86 A First Look at the cloe Method A First Look at the cloe Method The headig for the cloe method defied i the Object class is as follows: protected Object cloe() The headig for a cloe method that overrides the cloe method i the Object class ca differ somewhat from the headig above A chage to a more permissive access, such as from protected to public, is always allowed whe overridig a method defiitio Chagig the retur type from Object to the type of the class beig cloed is allowed because every class is a descedet class of the class Object This is a example of a covariat retur type If a class has a copy costructor, the cloe method for that class ca use the copy costructor to create the copy retured by the cloe method public Sale cloe() { retur ew Sale(this); ad aother example: public DiscoutSale cloe() { retur ew DiscoutSale(this); Copyright 2017 Pearso Ltd. All rights reserved. 87 Copyright 2017 Pearso Ltd. All rights reserved. 88 Pitfall: Sometime the cloe Method Retur Type is Object Prior to versio 5.0, Java did ot allow covariat retur types There were o chages whatsoever allowed i the retur type of a overridde method Therefore, the cloe method for all classes had Object as its retur type Sice the retur type of the cloe method of the Object class was Object, the retur type of the overridig cloe method of ay other class was Object also Pitfall: Sometime the cloe Method Retur Type is Object Prior to Java versio 5.0, the cloe method for the Sale class would have looked like this: public Object cloe() { retur ew Sale(this); Therefore, the result must always be type cast whe usig a cloe method writte for a older versio of Java Sale copy = (Sale)origial.cloe(); Copyright 2017 Pearso Ltd. All rights reserved. 89 Copyright 2017 Pearso Ltd. All rights reserved. 90

16 Pitfall: Sometime the cloe Method Retur Type is Object It is still perfectly legal to use Object as the retur type for a cloe method, eve with classes defied after Java versio 5.0 Whe i doubt, it causes o harm to iclude the type cast For example, the followig is legal for the cloe method of the Sale class: Sale copy = origial.cloe(); However, addig the followig type cast produces o problems: Sale copy = (Sale)origial.cloe(); Pitfall: Limitatios of Copy Costructors Although the copy costructor ad cloe method for a class appear to do the same thig, there are cases where oly a cloe will work For example, give a method badcopy i the class Sale that copies a array of sales If this array of sales cotais objects from a derived class of Sale(i.e., DiscoutSale), the the copy will be a plai sale, ot a true copy b[i] = ew Sale(a[i]); //plai Sale object Copyright 2017 Pearso Ltd. All rights reserved. 91 Copyright 2017 Pearso Ltd. All rights reserved. 92 Pitfall: Limitatios of Copy Costructors However, if the cloe method is used istead of the copy costructor, the (because of late bidig) a true copy is made, eve from objects of a derived class (e.g., DiscoutSale): b[i] = (a[i].cloe());//discoutsale object The reaso this works is because the method cloe has the same ame i all classes, ad polymorphism works with method ames The copy costructors amed Sale ad DiscoutSale have differet ames, ad polymorphism does't work with methods of differet ames 93