Dispensa in PDF - Dipartimento di Scienze Ambientali, Informatica e ...

..
..
b:B; b:B; // // creo creo un un oggetto oggetto di di tipo tipo B
B
f(b); f(b); //chiamo //chiamo //chiamo la la la funz funzione funz ione f passando ‘b’ in input
Carnielli Efrem: Programmazione a componenti
Definizione ed uso di classi, oggetti ed interfacce
Le due chiamate alla funzione f nel listato precedente (passando prima un oggetto
di tipo A e poi uno di tipo B) sono entrambe valide perché i gli oggetti di tipo A o B
implementano l’interfaccia I1. La possibilità di usare ‘a’ o ‘b’ indistintamente
prende il nome di sostituibilità.
7.6 Sostituibilità
Per spiegare cosa intendiamo per sostituibilità partiamo da una funzione f (a:I1),
che accetta in input un’interfaccia I1={op1,op2} implementata da A e B.
Consideriamo una seconda interfaccia I2={op1,op2,op3} implementata da C. È
possibile passare alla funzione f un’interfaccia di tipo I2 perché I2 è un
soprainsieme di I1 in quanto contiene tutte le sue operazioni più altre che in questo
caso non verranno utilizzate.
7.7 Tipi e semantica debole
Per andare a definire i tipi partiamo dall’interfaccia, e riprendiamo un esempio
precedente.
174