[Typage] Type d'instance, type déclaré

Bonjour,

Soit la déclaration suivante (en Java) :

UneClasse o;

et l'instanciation suivante :

o = new UneAutreClasse();

- Le type déclaré de la variable "o" est le type figurant dans sa déclaration.
Ci-dessus, le type déclaré de "o" est donc "UneClasse".

- Le type d'instance de la variable "o" est le type de l'objet dont "o" est une référence.
Ici, l'objet dont "o" est une référence est "new UneAutreClasse()".
Le type d'instance de la variable "o" est donc "UneAutreClasse".

A noter que celà ne fonctionnera que si UneAutreClasse hérite de UneClasse...