Next: Le typage statique avec Up: Options Statiques Previous: Vérifications de typage

Type des arguments et valeurs de retour

En général les méthodes qui partage le même sélecteur (le même nom) doivent aussi partager les mêmes arguments et les même valeurs de retour. Cette contrainte est imposé par l'édition de lien dynamique. Le fait que la classe du receveur est inconnu à la compilation et donc les réactions spécifique de la classe à la méthode ne sont pas connues, le compilateur est obligé de traiter toutes ces méthodes de la même façon. Quand le compilateur préparer les informations sur le type des arguments et de la valeur de retour pour le noyau d'exécution, il crée une seule description de méthode pour chaque sélecteur.

Par contre, quand le message est envoyé à un objet statiquement typé, la classe du receveur étant connue par le compilateur, la restriction est levée.



Dominique REVUZ
Vendredi 21 février 1997 17:27:12
Une Bug Un mail Merci