Sous-typage

Voici enfin la définition de la relation de sous-typage :

• 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 13#13 et 222#222 sont des types de références, et si 13#13 est un sous-type de 222#222, alors 223#223 est un sous-type de 224#224 ;
• si 16#16 et 225#225 sont des classes, si 16#16 étend 225#225 et si 225#225 est un sous-type de 13#13, alors 16#16 est un sous-type de 13#13 ;
• si 226#226 et 227#227 sont des interfaces, si 226#226 étend 227#227 et si 227#227 est un sous-type de 13#13, alors 226#226 est un sous-type de 13#13 ;
• si 16#16 est une classe réalisant l'interface 226#226, si 226#226 est un sous-type de 13#13, alors 16#16 est un sous-type de 13#13 ;
• si 13#13 est un type de références, alors 13#13 est un sous-type de la classe Object ;
• si 228#228 est un type de tableaux, alors 228#228 est un sous-type des interfaces Cloneable et java.io.Serializable.