Problème de Compréhension

Bonsoir à tous,

Je suis confronté à un problème de compréhension face à un bout de code :

Code:

---

class Y{}; class Z extends Y{};

---

Et dans le main :

Code:

---

1 2 3 4 5 6

Z z=new Z(); Y y=new Y(); Z[] ty= new Z[10]; Y[] tx=ty; //mon suspect ty[0]=y;// le vrai coupable ?

---

Le résultat aboutit à une erreur de compilation.
Le morceau de code en rouge est celui que je soupçonne être responsable car on ne peut pas mettre d'objets Z dans un tableau d'objets Y .

Le bout de code qui suit est vrai car on peut mettre un objet Y dans le tableau d'objets Z [puisque Z extends Y] (qui se trouve être le vrai coupable...mais pourquoi ?)

Un deuxième bout de code assez similaire :

Code:

---

class Y{}; class Z extends Y{};

---

main :

Code:

---

1 2 3 4 5

Z z=new Z(); Y y=new Y(); Z[] ty= new Z[10]; Y[] tx=ty; ty[0]=(Z)y;

---

Le résultat aboutit à un plantage à l'éxécution.
Si on me demande, je crois toujours que c'est "" Y[] tx = ty "" qui fout le boxon mais de l'un à l'autre , il n'y a que le bout de code en vert qui change..

Merci d'avance à vous de prendre le temps de me lire et de m'expliquer (accessoirement).

C'est l'inverse. Z étend Y, donc Z est un Y.
Donc tout ce qu'on peut faire avec un Y, on peut aussi le faire avec un Z.
On peut mettre un Y dans un tableau de Y. Donc on peut faire pareil avec un Z : on peut mettre un Z dans un tableau de Y.

À l'inverse, Z étend Y, donc il n'est pas impossible qu'un Y soit un Z... Mais il est tout-à-fait possible qu'il n'en soit pas un. Ça dépend de quel Y on parle. Dans le doute, on sait pas, on essaie pas.
Donc même si on peut faire des choses avec un Z, c'est pas dit qu'on puisse le faire avec un Y. Notamment, mettre un Z dans un tableau de Z on peut. Mais y mettre un Y on peut pas.