Risoluzione dei metodi

Transcript

1 Risoluzione dei metodi

2 Static Binding La risoluzione dei metodi è il meccanismo che Java adopera per stabilire quale metodo viene invocato, considerando le classi a disposizione La risoluzione dei metodi delle classi static,final, private e dei costruttori avviene compilation time. In questi casi il compilatore è in grado di stabilire con esattezza quale metodo viene invocato. In altri casi può essere necessario ricorrere al dynamic binding ->risoluzione a run time dei metodi invocati L4-Linguaggi prog II-unina 2

3 class Employee { String name; double salary; Date hireday; public Employee(String _name, double _salary, Date _hireday) { name=_name; salary=_salary; hireday=_hireday; } } class Manager extends Employee { public void setbonus(double db) { bonus = db; } private double bonus; public void setbonus(int } In Java le variabili oggetto sono polimorfiche. Una variabile di tipo Employee puo in realtà riferirsi a una classe Manager o Employee Employee e=new Employee(new String( A.Red"),1000, new GregorianCalendar(2010, 01, 01).getTime()); e = new Manager(new String( B.Green"),1000, new GregorianCalendar(2010, 01, 01).getTime()); // OK L4-Linguaggi prog II-unina 3

4 Overloading Overloading = definire in una stessa classe più metodi con lo stesso nome, ma con firme differenti (diverse sequenza dei tipi dei parametri formali). Il compilatore determina quale metodo verrà invocato, in base al numero e al tipo dei parametri attuali L Overloading è risolto a tempo di compilazione L4-Linguaggi prog II-unina 4

5 Overloading 2 I metodi sovrapponibili ( overloaded ) appaiono nella stessa classe (o in sottoclassi) Hanno lo tesso nome, ma differente lista dei parametri Possono anche avere differente tipo restituito (il tipo restituito non concorre a distinguere i metodi sovrapponibili) Risoluzione dell overloading -> Java cerca, a tempo di compilazione, tra tutti i metodi sovrapponibili, quello che sia piu specifico. L4-Linguaggi prog II-unina 5

6 La relazione metodo più specifico Un metodo è più specifico di un altro, rispetto agli argomenti passati, se i tipi del primo metodo sono tutti assegnabili a quelli del secondo metodo. Se è non possibile determinare un metodo piu specifico, javac riporta un errore Proprietà della relazione metodo piu specifico riflessiva-antisimmetrica-transitiva: Relazione di ordine L4-Linguaggi prog II-unina 6

7 Quando usare l overloading? Quando i metodi overloaded sono effettivamente accomunati per scopo e funzione /* es */ L4-Linguaggi prog II-unina 7

8 Dynamic Binding Il dynamic binding è il meccanismo che viene utilizzato da Java per determinare quale è il metodo invocato quando uno metodo omonimo, e con gli stessi argomenti, è presente in una classe ed in una sua sottoclasse. L overriding viene risolto a run-time dalla JVM. L4-Linguaggi prog II-unina 8

9 Risoluzione dei metodi: Overloading e Overriding Esempio x.f(p1,,pn) PRIMA FASE OVERLOADING RESOLUTION /EARLY BINDING 1 Il compilatore controlla se esiste un metodo f per la classe C dell oggetto x (Ovviamente ci possono essere diversi metodi f con diversi tipi di parametri) Il compilatore enumera i metodi candidati f di C e quelli public delle superclassi di C 2 IL compilatore va a considerare il tipo dei parametri dei metodi. Se tra tutti i metodi elencati in fase 1 è possibile determinare una scelta ottimale (metodo più specifico) per il metodo ed i tipi di parametri attuali, allora è possibile risolvere il metodo, altrimenti si riporta un errore ( the method is not applicable for arguments ). L4-Linguaggi prog II-unina 9

10 SECONDA FASE OVERRIDING / LATE BINDING 3 A tempo di esecuzione la JVM invoca la versione del metodo che è appropriata per il tipo attuale dello oggetto x. La scelta ottimale si effettua considerando prima i metodi della classe C, poi quelle delle super classi D della classe C, poi quelle delle super classi di D, fino ad arrivare ad Object. Le sottoclassi ed i loro metodi devono essere visibili. Per motivi di efficienza la JVM crea una tabella dei metodi delle classe e dei metodi invocati con i parametri attuali. L4-Linguaggi prog II-unina 10

11 Esempio Employee/manager Employee public double getsalary() {return salary; } Manager public double getsalary() {double basesalary = super.getsalary(); return basesalary + bonus; } Manager m=new Manager("A.Red", 8000, new GregorianCalendar(2010, 1, 1).getTime()); m.setbonus(100); Employee em=m; System.out.println("primo test "+em.getsalary()); L4-Linguaggi prog II-unina 11

12 Dynamic Binding e le funzioni virtuali Utilizzando il DINAMIC BINDING per risolvere i metodi nelle relazioni di classe sottoclasse, java garantisce che ogni metodo public di una classe è virtuale nel senso del C++ L4-Linguaggi prog II-unina 12