Sous-typage

Voici enfin la définition de la relation de sous-typage (les notions liées aux interfaces seront développées ultérieurement, en § 3.1) :

• tout type est un sous-type de lui-même ;
• chacun des types primitifs byte, short, int, long, float, double est un sous-type des suivants ; char est un sous-type de int ;
• si t et t' sont des types de références, et si t est un sous-type de t', alors $t\texttt{[\,]}$ est un sous-type de t'[] ;
• si C et C' sont des classes, si C étend C' et si C' est un sous-type de t, alors C est un sous-type de t ;
• si I et I' sont des interfaces, si I étend I' et si I' est un sous-type de t, alors I est un sous-type de t ;
• si C est une classe implémentant l'interface I, si I est un sous-type de t, alors C est un sous-type de t ;
• si t est un type de références, alors t est un sous-type de la classe Object ;
• si t[] est un type de tableaux, alors t[] est un sous-type de la classe Object et des interfaces Cloneable et java.io.Serializable.