Discussion :

[adiGuba]

Salut,


Je programme régulièrement en Java, et je n'ai pas vraiment de problème avec le type-erasure.
Et surtout je n'ai jamais eu de problème de confusion sur le type d'une collection.


Sinon il y a bien des avantages à utiliser le type-erasure :

• C'est évolutif : il est possible de "générifié" une classe sans "casser" le code existant.
• C'est compatible avec des langages qui ne possède pas de notion de Generics : ils peuvent quand même utiliser les types paramétrés sans paramétrages.
• Cela permet une variance/covariance bien plus complète (malgré une syntaxe un peu lourde en Java - mais ceci n'est pas lié au type-erasure).
• Une seule version du code est partagé par toutes les instances, ce qui implique moins de travail pour le compilateur JIT, et moins d'utilisation mémoire (car on n'a pas à stocker les duplications de classes).

Tout ceci pour des désavantages plutôt anecdotique mais tellement décrié !!!



Sinon coté performances je doute qu'il y ait une réelle différence avec la réification... tant qu'on reste sur des références (or les Generics de Java ne s'appliquent qu'aux références).
Le gros intérêt de la réification vient de son utilisation avec les types primitifs/values !
C'est là tout l'intérêt de la réification, car on peut alors s'adapter aux spécificités du types, et en particulier son empreinte mémoire.

Et justement le projet Valhalla qui a pour but d'apporter des types-values dans Java prévoit d'intégrer des "Generic-reified"... mais uniquement pour les types primitifs/values.
Car il y a peu d'intérêt pour les références !


a++

[gorgonite]

Alors si il y a effectivement des avantages que l'on ne retrouve que dans les langage utilisant le type erasure je ne demande qu'a apprendre...

Hum... Si encore la JVM était plus rapide que la CLR cela pourrait avoir du sens... type erasure n'a pas pour vocation d'améliorer les performances, et ne facilite pas forcément la traduction du langage en assembleur (bytecode).
Et à mon avis, c'est d'autant plus condamnable pour un langage fortement typé tel que Java... ( et tout les rejetons de la JVM) de supprimer les types lors de la compilation.

A l'époque où Java avait des vm pour des systèmes embarqués extrêmement petit, tout ce qui pouvait être éliminé du code de la vm ou du bytecode optimisé était bon à prendre
(on pouvait faire tourner des benchmarks complets avec un vm consommant moins de 100Ko, il n'y a pas si longtemps... tant qu'on avait assez de mémoire pour gérer les données produites )