Next: Arguments cachés Up: La gestion des messages Previous: Changer le message en

Le type des arguments et de la valeur de retour des méthodes

Les sélecteurs compilés identifient les noms de méthodes par leur implémentations. La méthode display de Matrix aura le même sélecteur que la méthode display dans d'autres classes. Ceci est essentiel pour le polymorphisme, cela permet à des méthodes comme perform: et perform:with: d'envoyer le même messages à des receveur appartenant à des classes différentes.

La fonction de message a accès aux implémentations uniquement à travers les sélecteurs, ainsi elle traite toutes les méthodes avec le même sélecteur de la même façon. Elle trouve le type de la valeur de retour et des arguments à partir du sélecteur. Ainsi, à part pour les messages envoyés à des receveurs statiquement typés, l'édition de liens dynamique demande que toutes les méthodes de même nom aient le même type de valeur de retour et le même type d'arguments. (Les receveur statiquement typé sont une exception, comme le compilateur peut trouver l'implémentation à partir de la classe du receveur.)

Les méthodes de classe et d'instance avec le même nom ont des sélecteurs compilés différents. Et peuvent avoir des arguments et valeur de retour différents.



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