Remi Forax:
Ca doit etre pareil. Mais c'est pas tres OO. Bizarre (vais relire mon bouquin ce soir et tester ca).En eiffel, j'en suis sur. En smart eiffel, je sais pas.
Oui, la covariance sur le type de retour. Ca fait parti des trucs qui ont de grande chance d'�tre int�gr� dans le JDK1.5.
Ca va en faire un paquet de nouveautes pour le 1.5 ;-)
On peut utiliser like avec n'importe quel variable, y compris Current. Mais c'est un peu louche sur les parametres.Oui, mais je crois que l'on peut utiliser like AUSSI dans une syntaxte de type "like Current" pour indiquer que l'on veut faire de la covariance sur les types des param�tres.
Ok. Allez une nouvelle JSR ;-) (ou la meme car ce n'est juste qu'une notation syntaxique).Nom, ca pose pas de probl�me. Au niveu typage, il faut juste s'assurer que l'on red�finie une variable avec un sous-type de la variable d�j� d�finie. De toutes fa�on, en m�moire, la variable n'est stock�e qu'une fois. Elle � juste un type diff�rent.
En fait qd tu as ecrit "redefinition de variable" j'ai pense a l'accesseur sans parametres, a la possibilite d'ecrire:
class A { public int v=1; }
class B extends A { public int v() { return 2; } }
new A().v+new B().v ----> 3 (et pas 2)
Completement d'accord. Mais le compilo devient dure � �crire.
On a rien sans rien ;-) Guillaume
