Parametri covarianti

[newutente]

Ho compreso un po' meglio quell'esempio però avrei una domanda. In realtà si ricollega al discorso del polimorfismo per dati fatto nell'altra discussione ma visto che parliamo di questo specifico esempio la faccio qui.

Abbiamo detto che la classe di test corretta è questa:

public class TestAnimali
{
    public static void main(String args[])
    { 
         Animale<Erbivoro> tigre = new Carnivoro();
         Erbivoro<Erba> erbivoro = new Erbivoro<Erba>();
         tigre.mangia(erbivoro);
    } 
}

Nella prima riga del main viene dichiarata una variabile reference di tipo Animale a cui poi viene assegnato l'oggetto Carnivoro istanziato.
Questa riga mette in evidenza il polimorfismo e viene invocato, nella terza riga, il metodo mangia dell'oggetto istanziato (e non quello di Animale).
La mia domanda è: se è vero quello che ho appena detto perchè nella seconda riga viene creata una variabile reference di tipo Erbivoro e non di tipo Animale? Provo a rispondere. Perchè in quel caso la variabile reference serve solo per essere passata in input al metodo mangia?

[andbin]

La mia domanda è: se è vero quello che ho appena detto perchè nella seconda riga viene creata una variabile reference di tipo Erbivoro e non di tipo Animale? Provo a rispondere. Perchè in quel caso la variabile reference serve solo per essere passata in input al metodo mangia?

Animale è:

interface Animale<C extends Cibo>

La variabile tigre è Animale<Erbivoro> e con questa parametrizzazione concreta, il C viene fissato a Erbivoro, quindi da un oggetto che è visto come un Animale<Erbivoro> ci si aspetta che abbia un mangia(Erbivoro).
Difatti Carnivoro che è proprio Animale<Erbivoro> ridefinisce concretamente il mangia(Erbivoro).

Invocando tigre.mangia( ..... ) puoi passare qualunque cosa che è-un Erbivoro. Non puoi passare una variabile di tipo Animale<QualunqueCibo> perché Erbivoro<QualunqueCibo> è-un Animale<QualunqueCibo> ..... ma il contrario no!


P.S. lo scenario che è descritto con quelle classi/interfacce di esempio ammetto che è un pochino contorto. Se vuoi esempi più lineari con i generics, te ne posso anche fare!

[newutente]

P.S. lo scenario che è descritto con quelle classi/interfacce di esempio ammetto che è un pochino contorto. Se vuoi esempi più lineari con i generics, te ne posso anche fare!

se non ti è di troppo disturbo te ne sarei grato.
anche perchè concettualmente direi che mi sono chiari questi concetti ma ho bisogno forse di esempi più lineari per fissarli meglio.