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

Figura 7.11. B eredita dalla classe A
Carnielli Efrem: Programmazione a componenti
f
A
g
B
Definizione ed uso di classi, oggetti ed interfacce
Prendiamo un oggetto p istanza di A e o istanza di B.
L’oggetto p ha come interfaccia {f} mentre o ha come interfaccia {f,g} perchè la
classe B eredita da A.
Sia o che p implementano f per cui {f} è sia interfaccia di o che di p.
Sono di più gli oggetti che implementano f e g oppure quelli che implementano
solo f? Per {f,g} ho solo o, per {f} sia o che p.
Sebbene {f} sia contenuto in {f,g}, gli oggetti che implementano l’interfaccia {f} sono
maggiori, perchè ci sono meno restrizioni.
Data un’interfaccia I, il tipo ΤI è definito come:
ΤI è l’insieme degli oggetti che implementano le operazioni di I.
TI={ogg|ogg implementa I}
T{f}={ogg|ogg implementa {f}} = {p,o}
T{f,g}={ogg|ogg implementa {f,g}} = {o}
T{f}= TA tipo di A
T{f,g}= TB tipo di B
Così ho definito il tipo delle classi.
TA insieme di oggetti istanza di A.
TB insieme di oggetti istanza di B.
TA ≥ TB cioè TB è sottotipo di TA anche se {f} è contenuto in {f,g}.
Più grande è l’insieme di funzioni e più grande è il numero di requisiti, più piccolo
è l’insieme che li può soddisfare più piccolo è il tipo associato.
175