Programmino che non si compila

[Gas75]

Quindi essenzialmente devo stare attento nel fare override se uso una dichiarazione tipo

Animale g = new Cane();

perché quest'ultima istruzione comanda rispetto alle libertà che posso prendermi nell'override di un metodo con eccezioni.

Non è molto intuibile ma credo di aver inteso il concetto.
Grazie.

[andbin]

Quindi essenzialmente devo stare attento nel fare override se uso una dichiarazione tipo

Animale g = new Cane();

perché quest'ultima istruzione comanda rispetto alle libertà che posso prendermi nell'override di un metodo con eccezioni.

Non è molto intuibile ma credo di aver inteso il concetto.
Grazie.

Supponi che in padrone() di Animale ci sia throws IOException e immagina per un attimo (non è così infatti in realtà) che il linguaggio permetta a padrone() di Cane di avere throws Exception (che è più "ampia" di IOException).

Visto che deve valere il principio di sostituibilità, se tu hai un reference di tipo Animale, potrebbe referenziare qualunque oggetto che è esattamente Animale (è istanziabile infatti) o sottotipo (Cane o altro).
Se tu invochi padrone() su un Animale, il compilatore "sa" solo di IOException e tu non potresti sapere che un sottotipo dichiara qualcosa di più ampio. Insomma NON saresti preparato a gestire Exception.

Questo è il motivo per cui un metodo che fa l'override NON può causare più "rischi" rispetto al metodo nel supertipo.