Java est un langage fortement typé.

Les conversions standards et les promotions automatiques sont appliquées aux types primitifs.

La compatibilité des types est strictement appliquée.

Normalement, une variable de référence d'une classe ne peut pas référencer un objet d'une autre classe.

Même si les classes X et Y sont structurellement identiques, il n'est pas possible d'attribuer une référence de X à un objet de Y car les types sont différents.

En général, une variable de référence d'objet ne peut référencer que des objets de son type.

L'exception à l'imposition de type est que la variable de référence d'une superclasse peut référencer des objets de n'importe quelle sous-classe dérivée de cette superclasse.

Comme Y est dérivé de X, x2 est autorisé à recevoir une référence à un objet de Y.

Le type de la variable de référence, et non le type de l'objet auquel elle fait référence, détermine les membres accessibles.

Lorsqu'une référence à un objet de sous-classe est affectée à une variable de superclasse, il est uniquement possible d'accéder aux membres définis par la superclasse.

Dans l'exemple, x2 ne peut pas accéder au membre b de Y, car la classe X ignore les membres ajoutés par la sous-classe.

Les références de sous-classe affectées aux variables de superclasse sont courantes, en particulier lors de l'appel de constructeurs dans des hiérarchies de classes.

Les sous-classes peuvent bénéficier de constructeurs qui prennent un objet de la superclasse comme paramètre, permettant la création de copies d'objets.

Dans ce programme, t2 est construit à partir de t1 et est donc identique.

Attention dans ce constructeur de Triangle :
// Construit un objet à partir d'un autre.
Triangle(Triangle ob) {
super(ob); // passe l'objet au constructeur de TwoDShape
style = ob.style;
}

Il reçoit un objet de type Triangle et le transmet (via super) à ce constructeur TwoDShape :
//Construit un objet à partir d'un autre.
TwoDShape(TwoDShape ob) {
largeur = ob.largeur;
hauteur = ob.hauteur;
}

Le constructeur TwoDShape() s'attend à recevoir un objet de type TwoDShape.

Le constructeur de la sous-classe Triangle() lui passe un objet de type Triangle.

Cela fonctionne car une référence d'une superclasse, comme TwoDShape, peut référencer un objet d'une sous-classe, comme Triangle.

Il est acceptable de passer une référence d'un objet d'une classe dérivée à un constructeur de la superclasse.

Le constructeur de superclasse, TwoDShape(), initialise uniquement les membres appartenant à la classe TwoDShape, quels que soient les membres supplémentaires de la sous-classe Triangle.