Cedric Beust wrote:
Remi Forax wrote:
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.
Non, je dirais que les chances sont proches de zero. Les seules
modifications qui *pourraient* apparaitre dans JDK 1.5 sont celles
definies dans la JSR 201 et les Generics, mais c'est tout.
Justement, on en a besoin pour les generics :))
class A<T> {
T m() {...}
}
class B extends A<String> {
String m() {...} // red�finition
}
Sachant que A est ransform� en :
class A {
Object m() {...}
}
La covaraiance sur le type de retour doit exister
si ont veux faire des generics.
De plus, le C++ fait �a depuis longtemps sans probl�me.
Et mon avis personnel, c'est que ca n'arrivera pas.
mais si, mais si.
En ce qui concerne Eiffel, c'est un langage interessant pour
experimenter mais qui est aussi surcharge en fonctionnalites qu'Ada. La
fonction qui me fait le plus peur est celle qui permet de renommer des
methodes quand tu les herites. C'est la porte ouverte au code
impossible a maintenir, a mon avis.
completement d'accord l� dessus.
Le probl�me des fonctionnalit�s d'un langage, c'est qu'il faut de
temps en temps savoir s'arr�ter avant que cela permettre
d'�crire un code inmaintenable.
--
C�dric
http://beust.com/weblog
Remi
