JDK 7: Proposition 1 : Constructeurs simplifiés pour la généricité -> Intégrée [Débat]

[vbrabant]

Envoyé par pierreact

Je suis pour et souhaite aussi que les deux syntaxes restent disponible...
Si cela est _impossible_... (Pas de raison, mais...) J'accepte quand meme, vu que le generique et l'instance ne sont que repetition de toutes facons...

Tout ce qui est proposé ici permettra toujours de code comme avant. On n'enlève rien. Les "anciennes" syntaxes seront toujours valides. On ne fait qu'en introduire de nouvelles.

Vincent

[bouye]

Envoyé par ludosoft

Je pense qu'il ne faut pas trop en enlever non plus hein... Le fait de mettre "<>" indique clairement à l'oeil que ce n'est pas une "simple HashMap" qui est instanciée.

Ben si justement, c'est tout la le probleme, ca ne reste que du sucre syntaxique au final on a bien une map toute simple et le compilateur qui met des cast la ou il faut dans le bytecode (en gros la ou on les mettait manuellement en java 1.4-). Donc aucune difference avec la creation d'une Map<Object, Object>.

Et ça ferait quoi ce code là ?

Code :

On peut deja faire sans aucun probleme :

Code :

 Map anagrams = (Map<String, List<String>>)new HashMap();

Il est possible de caster HashMap<Object, Object> en Map<String, List<String>> et de recaster cette derniere en Map<Object, Object> . On a juste le warning habituel :

Code :

1
2
Note: test\TestCast.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.

Code :

1
2
3
4
5
6
test\TestCast.java:24: warning: [unchecked] unchecked cast
found   : java.util.HashMap
required: java.util.Map<java.lang.String,java.util.List<java.lang.String>>
    Map anagrams = (Map<String, List<String>>)new HashMap();
                                              ^
1 warning

[ludosoft]

Merci pour ces précisions bouye

[djo.mos]

Pour.
Pas de perte d'informations, pas d'ambiguités, bref que des atouts ...

[Amine_sas]

Envoyé par vbrabant

Tout ce qui est proposé ici permettra toujours de code comme avant. On n'enlève rien. Les "anciennes" syntaxes seront toujours valides. On ne fait qu'en introduire de nouvelles.

Vincent

Encore une belle raison pour être pour.

[Patriarch24]

Pour, la plupart des raisons invoquées me semblant tout à fait valables. Regrettons quand même les <>, qui sont sans doute pas utiles (peut être pour la lecture, et encore).

[gifffftane]

CONTRE, parce que il est déjà possible, par l'inférence automatique, de supprimer complètement les répétitions.

Ainsi, pour créer un HashMap on peut écrire simplement :

Code :

1
2
3
4
 
    HashMap<String, Integer> hash;
 
    hash = nouv();

Avec, comme méthode nouv :

Code :

1
2
3
4
5
 
  public static <A, B> HashMap<A, B> nouv()
  {
    return new HashMap<A, B>();
  }

On voit que je ne répète nulle part <String, Integer>.

Pour exploiter cette propriété il suffirait de rajouter des méthodes de création d'bbjets génériques adéquates dans le JDK, ce qui serait nettement plus léger, et mieux, à mon avis, que de changer la syntaxe.

C'est ce que je fais déjà dans mon code, (ou à peu près), où, dans chaque classe générique que je fais, j'écris ma petite méthode statique nouv qui simplifie l'écriture.

[natha]

Bah tu dois t'amuser si tu codes une classe utilitaire ayant des méthodes pour tous les cas de création de Map, Set, List, et autres types utilisant les génériques. Ça alourdi le code et niveau maintenabilité c'est pas le top non plus.

[mavina]

Bah non, son code est totalement adapté, pour n'importe quel typage de son HashMap il utilise la même fonction. Ya juste une fonction par type. Mais il ne fais plus 50 new, il n'en fait qu'un par fonction

F.

[gifffftane]

Oui, heu... je suis pas Sun, moi, je vais pas m'amuser à faire une méthode pour chaque cas de création...

Au demeurant, il suffirait à Sun de les inclure dans chaque classe générique, ce qui me semble largement plus facile que de changer la syntaxe.

[natha]

Envoyé par mavina

Bah non, son code est totalement adapté, pour n'importe quel typage de son HashMap il utilise la même fonction. Ya juste une fonction par type. Mais il ne fais plus 50 new, il n'en fait qu'un par fonction

Oui merci, ça j'avais compris, j'utilise ce principe dans mon code. Ce que je veux dire c'est qu'il doit faire un new TreeMap, un new HashMap, un new HashSet, un new LinkedHashSet, etc...

[mavina]

Certes, mais d'un autre coté tu utilises rarement toutes les collections existantes dans un programme, par contre tu en instancie souvent une poignée d'une même collection

F.

[pseudocode]

J'ai voté contre.

1. Par principe, je suis pour la séparation du type de la variable et du type de l'instance. J'irai meme jusqu'a imposer que le type d'une variable soit toujours une interface.

2. Si le but c'est la lisibilité alors le gain est vraiment minime. Autant carrément supprimer le mot clé new et faire des allocations facon "C":

Code java :

1
2
 
HashMap<String, List<String>> anagrams;

[Thorna]

Envoyé par adiGuba

Pour moi c'est le type déclaré qui est important et non pas le type de la création , donc :

Code :

Cela n'apporte rien de répéter le type lors de la création...

Pour moi, c'est exactement le contraire

Et donc je suis pour la simplification, mais contre la solution proposée. Je verrais plutôt d'un bon oeil un truc "à la" dotnet:

Code :

var mymap = new Map<Context,Layer>();

où toute la déclaration est après le = .

Celà, bien sûr, uniquement quand l'écriture à simplifier comprend un type déclaré et un type instancié identiques. Dans le cas contraire, il faut conserver l'écriture actuelle.

[benwit]

Thorna, je suis plutôt de l'avis d'adiGuba.
Aussi, je ne comprend pas pourquoi tu peux trouver le type de création plus important que le type déclaré ?

Aurais tu des arguments pour nous faire comprendre ton point de vue ?

[adiGuba]

Envoyé par Thorna

Je verrais plutôt d'un bon oeil un truc "à la" dotnet:

Code :

var mymap = new Map<Context,Layer>();

où toute la déclaration est après le = .

Perso cela ne m'enchante pas

On perd toute l'abstraction des types...

Code :

Map<Context,Layer> map = ...;

J'utilise une Map, et je me fiche de son implémentation exacte. Bref la déclaration comporte tout ce dont j'ai besoin de savoir. L'appel du constructeur se contente de créer une implémentation...


a++

[Thorna]

Envoyé par benwit

Thorna, je suis plutôt de l'avis d'adiGuba.
Aussi, je ne comprend pas pourquoi tu peux trouver le type de création plus important que le type déclaré ?
Aurais tu des arguments pour nous faire comprendre ton point de vue ?

Comme quelqu'un le dit un peu plus haut, à son avis, tous les types déclarés devraient être des interfaces.
Sans aller jusqu'à pousser le raisonnement aussi loin, ça veut quand même quelque part dire qu'on déclare par exemple un "fourre-tout" véhicule (une interface qui peut décrire aussi bien des camions que des voitures ou des vélos...) et qu'on instancie un Camion, ou un Vélo, ou une Voiture alors qu'il est interdit d'instancier un véhicule... Ce qui laisse trainer dans mon esprit l'idée que le "vrai" type est celui qu'on instancie. Bien sûr, la notion d'héritage est là pour qu'on puisse gérer partout où c'est nécessaire des véhicules, tout en sachant qu'en y regardant de plus près, il s'agit vraiment de Camion, de Vélo...
Je ne suis pas spécialiste de la théorie des langages, c'est juste un ressenti personnel, issu de 30 ans de programmation dans une bonne quinzaine de langages divers ( aahh le basic GFA, l'assembleur Z80; ... ).

On perd toute l'abstraction des types...

Code :

Map<Context,Layer> map = ...;

J'utilise une Map, et je me fiche de son implémentation exacte. Bref la déclaration comporte tout ce dont j'ai besoin de savoir. L'appel du constructeur se contente de créer une implémentation...

Dans ce cas, pourquoi ne pas écrire

Code :

Map<Context,Layer> map = new (paramètres)

sans préciser new map(...) ?

[adiGuba]

Envoyé par Thorna

Dans ce cas, pourquoi ne pas écrire

Code :

Map<Context,Layer> map = new (paramètres)

sans préciser new map(...) ?

Parce que pour la création on a besoin de connaitre le type précis pour pouvoir le créer : va-t-on instancier une HashMap, une TreeMap, ou une autre Map ???

Par contre quand on l'utilise dans 99% des cas on n'a que faire de l'implémentation car on utilise les méthodes de base défini dans l'interface Map.

La déclaration du type de la variable est importante car on va se baser dessus pour tous les traitements effectué sur cette variable...


a++

[fabszn]

Hello,

Je vote pour pour toutes les raisons évoquées ci-dessus.

Concernant la suppression des <>, je suis partagé.. Cela peut prêter à confusion dans le code. De plus, l'affichage de warning serait du coup plus suptile et difficile à interpréter.

[Bollagain]

Pour. J'ai bien le sentiment de n'ajouter qu'un grain de sable dans le quasi consensus sur ce debat mais je ne vois aucune raison de ne pas enrichir Java dans ce sens, compte tenu de ce que cela améliore sensiblement la lisibilité du code.

Bolla