Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

JDK 14 va apporter plus de fonctionnalités que les deux versions précédentes combinées
Petit tour d'horizon sur celles qui sont susceptibles d'intéresser le plus les développeurs

Le , par Stéphane le calme

124PARTAGES

29  0 
La sortie de JDK 14 est prévue pour le 17 mars. La version 14 comprend plus de JEP (Java Enhancement Proposals) que JDK 12 et 13 combinés. Qu'est-ce qui pourrait être le plus intéressant pour les développeurs Java qui écrivent et maintiennent du code au quotidien ? Dans un billet de blog, Raoul-Gabriel Urma, PDG et cofondateur de Cambridge Spark, a abordé quelques points  :
  • des améliorations au niveau des expressions switch, qui sont apparues pour la première fois dans Java 12 et Java 13 en tant que préversion et font désormais partie intégrante de Java 14 ;
  • le pattern matching pour instanceof (une fonction de langage)
  • Des NullPointerExceptions utiles (une fonctionnalité JVM)

Selon certains professionnels, l'instruction switch classique en Java n'est pas géniale. Contrairement à de nombreuses autres parties de Java, elle n'a pas été correctement repensée lors du retrait des fonctionnalités de C il y a toutes ces années. Le défaut clé est la « chute par défaut ». Cela signifie que si vous oubliez de mettre une clause break dans chaque cas, le traitement se poursuivra jusqu'à la clause case suivante.

Un autre défaut est que les variables sont étendues à l'intégralité du switch, vous ne pouvez donc pas réutiliser un nom de variable dans deux clauses case différentes. De plus, une clause par défaut n'est pas requise, ce qui laisse les lecteurs du code dans l'incertitude quant à savoir si une clause a été ou non oubliée.

Et bien sûr, il y a aussi la principale limitation : le type à activer ne peut être qu'un entier, une énumération ou une chaîne.

Dans le cadre du Project Amber, switch a bénéficié de quelques changements ! Ils ont été lancés en préversion dans JDK 12 et à nouveau dans 13 et sont destinés à être publiés dans JDK 14. Les développeurs vont disposer d'une nouvelle fonctionnalité lorsque switch sera utilisé comme instruction. En outre, il pourra également être utilisé comme une expression à l'avenir.

Les avantages des nouvelles expressions switch incluent une portée réduite pour les bogues en raison de l'absence de comportement de transition, l'exhaustivité et la facilité d'écriture grâce à l'expression et à la forme composée. À titre d'exemple de mise à jour, une expression switch peut désormais tirer parti de la syntaxe ->, comme dans cet exemple:

Code Java : Sélectionner tout
1
2
3
4
5
6
7
8
9
10
var log = switch (event) { 
    case PLAY -> "User has triggered the play button"; 
    case STOP, PAUSE -> "User needs a break"; 
    default -> { 
        String message = event.toString(); 
        LocalDateTime now = LocalDateTime.now(); 
        yield "Unknown event " + message +  
              " logged on " + now; 
    } 
};

Il faut noter également que switch peut désormais être utilisé comme expressions, c'est-à-dire qu'il peut retourner une valeur. Cela signifie que nous n'aurons pas à déclarer d'abord une variable, puis à affecter une valeur dans chaque branche. Combiné avec des étiquettes de flèche, il nous permet d'exprimer notre intention en beaucoup moins de lignes de code:

Code Java : Sélectionner tout
1
2
3
4
5
String quantityString = switch (k) { 
    case 1 -> "one"; 
    case 2 -> "two"; 
    default -> "many"; 
};

Parfois, vous pourriez être obligé d'exécuter un bloc de code dans le cadre d'une expression de cas. Afin de combiner cela avec la syntaxe d'étiquette de flèche, vous devez yield une valeur à la fin du bloc:

Code Java : Sélectionner tout
1
2
3
4
5
6
7
8
DayType type = switch (day) { 
    case 1, 2, 3, 4, 5 -> WEEKDAY; 
    case 6, 7          -> WEEKEND; 
    default            -> { 
        logger.warn(day + " is not a valid day. Legal values are [1..7]"); 
        yield UNKNOWN; 
    } 
};

Vous pouvez également transformer les instructions switch en expressions à l'aide des anciennes étiquettes de style en vous servant de yield.

Code Java : Sélectionner tout
1
2
3
4
5
6
7
8
9
Type type = switch (day) { 
    case 1, 2, 3, 4, 5: 
        yield WEEKDAY; 
    case 6, 7: 
        yield WEEKEND; 
    default: 
        logger.warn(day + " is not a valid day."); 
        yield UNKNOWN; 
};

N'oubliez pas que c'est la syntaxe des libellés fléchés qui empêche les chutes. Cela signifie que si vous oubliez de yield, l'expression de cas suivante sera évaluée et vous pourriez vous retrouver avec le mauvais résultat.


Blocs de texte

Java 13 a introduit des blocs de texte comme fonction en préversion. Les blocs de texte facilitent le travail avec les littéraux de chaînes multilignes. Cette fonctionnalité est de nouveau en préversion sur Java 14 et intègre quelques ajustements. En guise de rappel, il est assez courant d'écrire du code avec de nombreuses concaténations de chaînes et séquences d'échappement afin de fournir une mise en forme de texte multiligne adéquate. Le code ci-dessous montre un exemple de mise en forme HTML:

Code Java : Sélectionner tout
1
2
3
4
5
String html = "<HTML>" + 
"\n\t" + "<BODY>" + 
"\n\t\t" + "<H1>\"Java 14 is here!\"</H1>" + 
"\n\t" + "</BODY>" + 
"\n" + "</HTML>";

Avec les blocs de texte, vous pouvez simplifier ce processus et écrire du code plus élégant à l'aide des trois guillemets qui délimitent le début et la fin d'un bloc de texte:

Code Java : Sélectionner tout
1
2
3
4
5
6
String html = """ 
<HTML> 
  <BODY> 
    <H1>"Java 14 is here!"</H1> 
  </BODY> 
</HTML>""";

Les blocs de texte offrent également une plus grande expressivité par rapport aux littéraux de chaîne normaux.

Deux nouvelles séquences d'échappement ont été ajoutées dans Java 14. Premièrement, vous pouvez utiliser la nouvelle séquence d'échappement \s pour signifier un seul espace. Deuxièmement, vous pouvez utiliser une barre oblique inverse, \, comme moyen de supprimer l'insertion d'un nouveau caractère de ligne à la fin d'une ligne. Ceci est utile lorsque vous avez une très longue ligne que vous souhaitez diviser pour plus de lisibilité à l'intérieur d'un bloc de texte.

Par exemple, la façon actuelle de faire des chaînes multilignes est :

Code Java : Sélectionner tout
1
2
3
4
String literal =  
         "Lorem ipsum dolor sit amet, consectetur adipiscing " + 
         "elit, sed do eiusmod tempor incididunt ut labore " + 
         "et dolore magna aliqua.";

Avec la séquence d'échappement \ dans des blocs de texte, cela peut s'exprimer comme suit:

Code Java : Sélectionner tout
1
2
3
4
5
String text = """ 
                Lorem ipsum dolor sit amet, consectetur adipiscing \ 
                elit, sed do eiusmod tempor incididunt ut labore \ 
                et dolore magna aliqua.\ 
                """;

Pattern Matching pour instanceof

En tant que développeur Java, vous avez probablement été dans une situation où vous devez vérifier si un objet est d'un certain type, et si c'est le cas le transtyper. Ce modèle est largement utilisé par exemple dans les implémentations equals. Java 14 introduit une fonctionnalité en préversion qui permet d'éliminer le besoin de transtypages explicites en passant par des vérifications instanceof. Par exemple, considérez le code suivant:

Code Java : Sélectionner tout
1
2
3
4
5
6
if (obj instanceof Group) { 
  Group group = (Group) obj; 
  
  // use group specific methods 
  var entries = group.getEntries(); 
}

Cet extrait peut être réécrit en utilisant la fonction en préversion comme ceci :

Code Java : Sélectionner tout
1
2
3
if (obj instanceof Group group) { 
  var entries = group.getEntries(); 
}

Étant donné que la vérification des conditions affirme que obj est de type Group, pourquoi devez-vous indiquer à nouveau que obj est de type Group avec le bloc de condition dans le premier extrait ? Ce besoin augmente potentiellement la possibilité d'erreurs.

La syntaxe plus courte supprimera de nombreux transtypages de programmes Java typiques.

« Il s'agit d'une fonctionnalité en préversion intéressante à expérimenter, car elle ouvre la porte à un pattern matching plus général. L'idée du pattern matching est de fournir une fonction de langage avec une syntaxe pratique pour extraire des composants d'objets en fonction de certaines conditions. C'est le cas avec l'opérateur instanceof, car la condition est une vérification de type et l'extraction appelle une méthode appropriée ou accède à un champ spécifique.

« En d'autres termes, cette fonctionnalité en préversion n'est que le début et vous pouvez vous attendre à une fonctionnalité de langage qui peut aider à réduire davantage la verbosité et ainsi réduire la probabilité de bogues ».


Les enregistrements

Il existe une autre fonctionnalité de langage en préversion : les enregistrements. Comme d'autres idées lancées jusqu'à présent, cette fonctionnalité suit la tendance de réduire la verbosité en Java et d'aider les développeurs à écrire du code plus concis. Les enregistrements se concentrent sur certaines classes de domaine dont le but est uniquement de stocker des données dans des champs et qui ne déclarent aucun comportement personnalisé.

Pour passer directement au problème, prenez une classe de domaine simple, BankTransaction, qui modélise une transaction avec trois champs: une date, un montant et une description. Vous devez vous soucier de plusieurs composants lorsque vous déclarez la classe :
  • Le constructeur
  • Les méthodes Getter
  • toString()
  • hashCode() et equals()

Le code de ces composants est souvent généré automatiquement par l'EDI et prend beaucoup de place. Voici une implémentation entièrement générée pour la classe BankTransaction:

Code Java : Sélectionner tout
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
public class BankTransaction { 
    private final LocalDate date; 
    private final double amount; 
    private final String description; 
  
  
    public BankTransaction(final LocalDate date,  
                           final double amount,  
                           final String description) { 
        this.date = date; 
        this.amount = amount; 
        this.description = description; 
    } 
  
    public LocalDate date() { 
        return date; 
    } 
  
    public double amount() { 
        return amount; 
    } 
  
    public String description() { 
        return description; 
    } 
  
    @Override 
    public String toString() { 
        return "BankTransaction{" + 
                "date=" + date + 
                ", amount=" + amount + 
                ", description='" + description + '\'' + 
                '}'; 
    } 
  
    @Override 
    public boolean equals(Object o) { 
        if (this == o) return true; 
        if (o == null || getClass()&nbsp;!= o.getClass()) return false; 
        BankTransaction that = (BankTransaction) o; 
        return Double.compare(that.amount, amount) == 0 && 
                date.equals(that.date) && 
                description.equals(that.description); 
    } 
  
    @Override 
    public int hashCode() { 
        return Objects.hash(date, amount, description); 
    } 
}

Java 14 fournit un moyen de supprimer la verbosité et d'indiquer clairement que tout ce que vous voulez est une classe qui agrège uniquement les données avec les implémentations des méthodes equals, hashCode et toString. Vous pouvez réécrire BankTransaction comme suit:

Code Java : Sélectionner tout
1
2
3
public record BankTransaction(Date date, 
                              double amount, 
                              String description) {}

Avec un enregistrement, vous obtenez « automatiquement » les implémentations de equals, hashCode et toString en plus du constructeur et des Getters.

Les champs d'un enregistrement sont implicitement final. Cela signifie que vous ne pouvez pas les réaffecter. Notez, cependant, que cela ne signifie pas que l'ensemble de l'enregistrement est immuable; les objets eux-mêmes qui sont stockés dans les champs peuvent être mutables.

NullPointerExceptions

Considérez le code suivant :

Code Java : Sélectionner tout
var name = user.getLocation().getCity().getName();

Avant Java 14, vous pouvez obtenir l'erreur suivante:

Citation Envoyé par Message d'erreur
Exception in thread "main" java.lang.NullPointerException
at NullPointerExample.main(NullPointerExample.java:5)

Malheureusement, si à la ligne 5, il y a une affectation avec plusieurs invocations de méthode - getLocation() et getCity() - l'une ou l'autre pourrait retourner null. En fait, la variable user pourrait également être null. Par conséquent, la cause de NullPointerException n'est pas claire.

Maintenant, avec Java 14, il existe une nouvelle fonctionnalité JVM à travers laquelle vous pouvez recevoir des diagnostics plus informatifs:

Citation Envoyé par Message d'erreur
Exception in thread "main" java.lang.NullPointerException: Cannot invoke "Location.getCity()" because the return value of "User.getLocation()" is null
at NullPointerExample.main(NullPointerExample.java:5)

Le message comporte désormais deux éléments clairs:
  • La conséquence: Location.getCity() ne peut pas être invoquée.
  • La raison: la valeur de retour de User.getLocation() est nulle.

Source : Oracle

Une erreur dans cette actualité ? Signalez-le nous !

Avatar de Pyramidev
Expert confirmé https://www.developpez.com
Le 05/03/2020 à 15:11
Citation Envoyé par esperanto Voir le message
Stay tuned. Records also raise interesting questions from an educational standpoint for the next generation of Java developers. For example, if you mentor junior developers, when should records be introduced in the curriculum: before introducing OOP and classes or after?
Franchement, autant les autres fonctions sont utiles, autant celle-là, j'aimerais la voir disparaître.
Personnellement, au contraire, je trouve cette fonctionnalité très utile.
Quand je structure mon code, je découple le code qui parse les données en entrée (arguments en ligne de commande, URL, fichier, etc.) du code qui les traite et, comme dans l'article Parse, don’t validate de Alexis King, j'utilise la puissance du typage statique pour propager statiquement les garanties sur les données en sortie du code qui parse.
En entrée du code qui traite les données, il m'arrive d'avoir un amas de champs dont chacun a sa propre contrainte (ex : entier entre certaines bornes, chaîne qui doit respecter un certain format, etc.), mais pas de contrainte qui fait intervenir plusieurs champs à la fois. Dans ce cas, définir une data class (ce que Java 14 appelle une record) est approprié. Dans cette data class, chaque champ a un type qui garantit la contrainte spécifique au champ (ex : une classe qui encapsule un entier avec comme invariant de classe que cet entier est entre certaines bornes, une classe qui encapsule une chaîne avec comme invariant de classe que cette chaîne respecte un certain format, etc.)
Du coup, le code qui parse est bien découplé du code qui traite. Quand on met à jour le code, si on modifie le format des données en entrée, cela minimise la quantité de code que l'on doit analyser : on ne dépend pas de classes qui font des choses sophistiquées qui n'ont rien à voir avec le parsing des données en entrée. Ce découplage facilite aussi la mise en place de tests unitaires spécifiques au code qui parse.
De même, le code qui traite les données déjà parsées est découplé du code qui parse : il dépend de l'objet en sortie du code qui parse, mais il ne sait pas si le code qui parse a pour entrée des arguments en ligne de commande, une URL, un fichier, etc. On peut aussi faire des tests unitaires dessus qui ne dépendent pas du code qui parse.
2  0 
Avatar de esperanto
Membre expérimenté https://www.developpez.com
Le 05/03/2020 à 16:07
Citation Envoyé par Pyramidev Voir le message
Quand je structure mon code, je découple le code qui parse les données en entrée (arguments en ligne de commande, URL, fichier, etc.) du code qui les traite et, comme dans l'article Parse, don’t validate de Alexis King, j'utilise la puissance du typage statique pour propager statiquement les garanties sur les données en sortie du code qui parse.
Je ne vois pas comment tu utilises le typage statique, du moins en Java: dans les exemples que tu donnes (entier borné, chaîne respectant une expression régulière...), les types String et int étant finaux, je ne vois pas comment tu peux propager la contrainte grâce à un type.
A moins de créer un type qui contient une String et délègue toutes les méthodes... pas très pratique.
Au contraire j'ai déjà fait ça... en Ada, où il est possible de définir des types juste pour ajouter ce genre de contrainte, le système de types permettant alors de vérifier que tu ne mélanges jamais des objets de type différent même si ces types sont dérivés de la même base.
Et Ada, ce n'est pas de la programmation objet (du moins avant la version 1995). De même, l'article que tu cites utilise un langage à typage statique (Haskell) assez proche de celui d'Ada (enfin, avec l'inférence en plus parce qu'il est plus récent)... et qui n'est pas vraiment orienté objet. D'où la question: pourquoi utiliser un langage objet - où les méthodes sont supposées intelligentes - si c'est pour au final n'avoir que des POJO qui sont des structures sans méthodes intelligentes?

Citation Envoyé par Pyramidev Voir le message
Quand on met à jour le code, si on modifie le format des données en entrée, cela minimise la quantité de code que l'on doit analyser : on ne dépend pas de classes qui font des choses sophistiquées qui n'ont rien à voir avec le parsing des données en entrée.
A moins d'avoir un moyen de propager la contrainte au niveau des POJO (voir point précédent), le problème ici c'est qu'on oublie un détail important: une certaine tendance à ré-utiliser le code. Si tu découples le parsing et les POJO, comment garantir que d'autres programmes ne créeront pas des objets de la même classe mais sans passer par le même parsing en entrée? Comme c'est la même classe, des objets ne respectant pas la contrainte peuvent se retrouver injectés dans ton programme initial!
Ce n'est pas qu'une vue de l'esprit, c'est un problème que j'ai au quotidien sur un programme pour lequel je maintiens des plugins: quand l'API du programme me sort un POJO, je suis certain qu'il respecte les contraintes; mais faute de documentation, je ne sais pas quelles contraintes je dois respecter quand c'est moi qui dois fournir un objet à l'API: tout ce que la doc dit, c'est que ça doit être une String...

Du coup je n'ai pas la même position sur le découplage. Placer une fonction de parsing en dehors de la classe elle-même, oui, sans problème - en plus ça évite à la classe de base d'avoir certaines dépendances extérieures (par exemple elle n'aura pas besoin de faire référence au parseur xml). Mais la validation par contre, si les contraintes sont inhérentes à l'objet créé, c'est dans sa classe qu'il faut valider! Donc soit le système de types le permet - et là encore, j'attends un exemple parce que pour le moment je ne vois pas comment le faire en Java - soit il faut le faire dans le constructeur, ce que ne permet pas un record ou un POJO!
1  0 
Avatar de Pyramidev
Expert confirmé https://www.developpez.com
Le 05/03/2020 à 17:21
Citation Envoyé par esperanto Voir le message
Je ne vois pas comment tu utilises le typage statique, du moins en Java: dans les exemples que tu donnes (entier borné, chaîne respectant une expression régulière...), les types String et int étant finaux, je ne vois pas comment tu peux propager la contrainte grâce à un type.
A moins de créer un type qui contient une String et délègue toutes les méthodes... pas très pratique.
Par exemple, si un identifiant d'utilisateur a pour contrainte que c'est une chaîne non vide qui n'a que des caractères alphanumériques ASCII, alors je crée un type UserId qui encapsule une String et qui a pour invariant de classe que cette chaîne respecte le format.
La classe UserId doit empêcher de violer l'invariant. Par exemple, si UserId a un constructeur public qui prend en paramètre une String alors, si le paramètre ne respecte pas le format, le constructeur doit lancer une exception.
La classe UserId a un getter qui permet de récupérer la String. String est immuable, donc il n'y a pas de danger que l'utilisateur ne casse la chaîne qui est dans UserId. Avec ce getter, il n'y a pas besoin de réimplémenter dans UserId toutes les méthodes de String.
Cette classe UserId ne sera pas une record Java, mais un des champs d'une record Java pourrait être de type UserId.

Citation Envoyé par esperanto Voir le message
D'où la question: pourquoi utiliser un langage objet - où les méthodes sont supposées intelligentes - si c'est pour au final n'avoir que des POJO qui sont des structures sans méthodes intelligentes?
Utiliser des POJO à certains endroits ne veut pas dire qu'il faut en mettre partout.

Citation Envoyé par esperanto Voir le message
A moins d'avoir un moyen de propager la contrainte au niveau des POJO (voir point précédent), le problème ici c'est qu'on oublie un détail important: une certaine tendance à ré-utiliser le code. Si tu découples le parsing et les POJO, comment garantir que d'autres programmes ne créeront pas des objets de la même classe mais sans passer par le même parsing en entrée? Comme c'est la même classe, des objets ne respectant pas la contrainte peuvent se retrouver injectés dans ton programme initial!
Non car la classe doit empêcher de violer son invariant (voir ci-avant).
D'ailleurs, d'autres programmes doivent pouvoir passer par la même classe (ex : UserId ) sans passer par le même parseur. Par exemple, si un identifiant d'utilisateur peut être en argument de ligne de commande ou dans un fichier, le code qui parse la ligne de commande et le code qui parse le fichier, s'ils sont codés dans le même langage, devraient tous les deux utiliser la même classe UserId. Le code de la classe UserId ne connaît pas le code des parseurs : ce sont les parseurs qui connaissent la classe UserId. Cette réutilisation du code (la classe UserId) permet de garantir une certaine cohérence. Au quotidien, je vois trop souvent des codes incohérents qui n'imposent pas les mêmes contraintes sur les données métiers.

Citation Envoyé par esperanto Voir le message
Mais la validation par contre, si les contraintes sont inhérentes à l'objet créé, c'est dans sa classe qu'il faut valider! Donc soit le système de types le permet - et là encore, j'attends un exemple parce que pour le moment je ne vois pas comment le faire en Java - soit il faut le faire dans le constructeur, ce que ne permet pas un record ou un POJO!
Si l'un des champs de la record est de type UserId, alors la contrainte de type est bien propagée pour ce champ. Par contre, ce que la record ne peut pas faire, c'est imposer des contraintes qui font intervenir plusieurs champs à la fois. C'est dans ce sens que j'ai écrit :
Citation Envoyé par Pyramidev Voir le message
En entrée du code qui traite les données, il m'arrive d'avoir un amas de champs dont chacun a sa propre contrainte (ex : entier entre certaines bornes, chaîne qui doit respecter un certain format, etc.), mais pas de contrainte qui fait intervenir plusieurs champs à la fois. Dans ce cas, définir une data class (ce que Java 14 appelle une record) est approprié. Dans cette data class, chaque champ a un type qui garantit la contrainte spécifique au champ (ex : une classe qui encapsule un entier avec comme invariant de classe que cet entier est entre certaines bornes, une classe qui encapsule une chaîne avec comme invariant de classe que cette chaîne respecte un certain format, etc.)
1  0 
Avatar de foetus
Expert éminent https://www.developpez.com
Le 06/03/2020 à 4:15
Citation Envoyé par Pyramidev Voir le message
Le code de la classe UserId ne connaît pas le code des parseurs : ce sont les parseurs qui connaissent la classe UserId.
c'est la définition d'un Data Transfert Object (DTO) (<- lien wiki en anglais) : un "sac de données" entre 2 classes, entre 2 domaines/ couches d'abstraction.

Citation Envoyé par Pyramidev Voir le message
Non car la classe doit empêcher de violer son invariant (voir ci-avant).
D'ailleurs, d'autres programmes doivent pouvoir passer par la même classe (ex : UserId ) sans passer par le même parseur.
Justement , ce n'est pas aux DTO de vérifier les règles de gestion ni les règles de validation données :
  • La classe qui va remplir le DTO (lecteur fichier, requêtes SQL, saisie formulaire, dump réseau, enregistrement du gyroscope, ...) doit vérifier les données si nécessaire
  • La classe qui va enregistrer le DTO (dans une base de données, un fichier, ...), je pense, doit valider les données.
  • La classe qui va utiliser les données doit respecter les règles de gestion. C'est ton exemple UserId - dans le cahier de charges , cela doit être indiqué que l'identifiant ne doit pas être vide, avoir ...

Le DTO peut avoir des champs avec une représentation précise. Par exemple, une adresse IPv4 : soit 4 chars (1 octet), soit un entier (4 octets), soit ...

Citation Envoyé par Pyramidev Voir le message
Cette réutilisation du code (la classe UserId) permet de garantir une certaine cohérence.
Peut-être qu'1 façon de coder , c'est d'utiliser les "traits" (<- ceux du PHP pas ceux du C++ ). Et ainsi, tu peux faire par exemple, un "trait" "validation d'identifiant", un autre "chiffrement de données sensibles", ...
1  0 
Avatar de Pyramidev
Expert confirmé https://www.developpez.com
Le 06/03/2020 à 10:59
Citation Envoyé par foetus Voir le message
Citation Envoyé par Pyramidev Voir le message
Le code de la classe UserId ne connaît pas le code des parseurs : ce sont les parseurs qui connaissent la classe UserId.
c'est la définition d'un Data Transfert Object (DTO) (<- lien wiki en anglais) : un "sac de données" entre 2 classes, entre 2 domaines/ couches d'abstraction.
Ça, c'est encore autre chose. Dans l'article Data Transfer Object de Martin Fowler, je vois un exemple de DTO : une classe AlbumDTO qui a deux attributs title et artist et deux méthodes toXmlElement et readXml. À côté, il y a aussi deux classes métier Album et Artist. Pour convertir les classes métiers en DTO ou les DTO en classes métiers, il y a une quatrième classe AlbumAssembler.

Dans mon exemple, UserId n'est pas un DTO. Conceptuellement, UserId est presque comme une String avec une étiquette collée dessus qui indique que la String respecte le format de l'identifiant d'utilisateur. Et, pour construire un objet de type UserId à partir d'un objet de type String, on est obligé de passer par une opération qui sépare le flot d'exécution en deux : une branche dans laquelle le format est correct, ce qui a permis de construire un objet de type UserId et une branche dans laquelle le format est incorrect, où aucun objet de type UserId n'a été créé.
Dans les langages où la manière idiomatique de gérer les erreurs est de lancer une exception, l'opération qui sépare le flot d'exécution en deux sera typiquement un constructeur public qui prend en paramètre une String et qui lance une exception en cas de format incorrect. Ou alors, pour ceux qui n'aiment pas les constructeurs qui lancent des exceptions, on peut rendre privé le constructeur et obliger de passer par une méthode statique qui retourne un UserId, qui prend en paramètre une String et qui lance une exception en cas de format incorrect.
Ainsi, on a la garantie qu'un objet de type UserId contient une String qui respecte le format. Cela évite les erreurs d'étourderie. C'est un peu comme des assert vérifiés à la compilation, en moins verbeux.
0  0 
Avatar de wax78
Modérateur https://www.developpez.com
Le 06/03/2020 à 20:30
Citation Envoyé par esperanto Voir le message

[*]Une meilleure syntaxe pour les chaînes très longues c'est très bien; mais quand aura-t-on droit à un soupçon d'interpolation? Parce que s'il faut écrire """très long""" + variable + """très long", les situations où on peut utiliser une chaîne très longue vont vite se réduire, au point qu'il sera plus efficace de mettre la chaîne dans un fichier séparé et de la lire comme une ressource!
Code : Sélectionner tout
1
2
3
String str = String.format("""
très long %s très long
""", "le truc à mettre entre les très longs");
ou

Code : Sélectionner tout
1
2
3
4
5
6
7
8
9
10
String str = String.format(
"""
<HTML>
  <BODY>
    <H1>"Java %d is here!"</H1>
  </BODY>
</HTML>"""
,14
);
Tu parles d'un truc de ce genre ?
0  0 
Avatar de esperanto
Membre expérimenté https://www.developpez.com
Le 08/03/2020 à 16:21
Citation Envoyé par wax78 Voir le message
Tu parles d'un truc de ce genre ?
Pas tout à fait. Moi je pensais plutôt à quelque chose comme

Code : Sélectionner tout
1
2
3
4
5
6
7
String str = """
<HTML>
  <BODY>
    <H1>Hello, ${user.getName()}</H1>
  </BODY>
</HTML>""";
qui serait traduit à la compilation vers

Code : Sélectionner tout
1
2
3
4
5
6
7
String str = """
<HTML>
  <BODY>
    <H1>Hello, " + user.getName()+ """</H1>
  </BODY>
</HTML>""";
Ce genre de mécanisme existe depuis longtemps dans les langages de script, et plus récemment les dernières versions de C# le supportent.

Quand on commence à avoir des chaînes très longues, ce que permet la nouvelle syntaxe, on risque d'avoir aussi beaucoup de variables à l'intérieur, donc si tu dois les mettre à la fin comme avec String.format, tu risques de les mettre dans le désordre.
De plus, les chaînes formatées sont évaluées à l'exécution (String.format étant une fonction), alors que la substitution que j'ai décrite plus haut peut se faire dès la compilation (sans même parler des optimisations que le compilateur pourrait encore faire dessus).

Cela dit, les chaînes formatées restent utiles quand tu ne connais pas le format à l'avance. C'est par exemple le cas quand tu utilises des tables de traduction (et de fait, on trouve fréquemment des chaînes formatées dans les Ressource Bundles en Java). A l'inverse, les chaînes longues et l'interpolation sont souvent utilisées pour introduire un bout de code dans un autre langage, comme une requête SQL ou, comme dans le cas de l'exemple, du code HTML. Et on peut alors se retrouver à combiner les deux techniques:

Code : Sélectionner tout
1
2
3
4
5
6
7
String str = $"""
<HTML>
  <BODY>
    <H1>${String.format(bundle.getString("HELLO_USER"), user.getName())}</H1>
  </BODY>
</HTML>""";
0  0 
Avatar de Pyramidev
Expert confirmé https://www.developpez.com
Le 08/03/2020 à 17:56
Citation Envoyé par esperanto Voir le message
A l'inverse, les chaînes longues et l'interpolation sont souvent utilisées pour introduire un bout de code dans un autre langage, comme une requête SQL ou, comme dans le cas de l'exemple, du code HTML. Et on peut alors se retrouver à combiner les deux techniques:

Code : Sélectionner tout
1
2
3
4
5
6
7
String str = $"""
<HTML>
  <BODY>
    <H1>${String.format(bundle.getString("HELLO_USER"), user.getName())}</H1>
  </BODY>
</HTML>""";
Ouh là, malheureux. Ça, c'est la porte ouverte aux injections SQL et à de bêtes bogues sur le format du HTML.

Dans le cas des requêtes SQL, au lieu de s'aventurer à concaténer des bouts de chaînes (par exemple via le sucre syntaxique de l'interpolation, pour les langages qui le permettent), il vaut mieux utiliser la notion de requête préparée. Par exemple, en Java, c'est avec PreparedStatement. Extrait de la doc :
Code : Sélectionner tout
1
2
3
4
   PreparedStatement pstmt = con.prepareStatement("UPDATE EMPLOYEES
                                     SET SALARY = ? WHERE ID = ?");
   pstmt.setBigDecimal(1, 153833.00)
   pstmt.setInt(2, 110592)
Et concernant HTML, si tu concatènes directement des chaînes, il ne faut pas oublier d'encoder, par exemple pour remplacer < par &lt;, > par &gt;, etc. Dans le cas de Java, après une recherche sur internet, je suis tombé sur StringEscapeUtils.escapeHtml4.
Au lieu de concaténer des chaînes, il est aussi possible, à partir d'un objet de type HTMLDocument, de construire les éléments du HTML un par un, mais c'est verbeux.

En ce moment, je fais du Python et l'endroit où j'utilise le plus la fonctionnalité de l'interpolation, c'est dans la construction des messages de log et des messages d'erreur.
0  0 
Avatar de esperanto
Membre expérimenté https://www.developpez.com
Le 08/03/2020 à 20:48
Citation Envoyé par Pyramidev Voir le message
Ouh là, malheureux. Ça, c'est la porte ouverte aux injections SQL et à de bêtes bogues sur le format du HTML.

Dans le cas des requêtes SQL, au lieu de s'aventurer à concaténer des bouts de chaînes (par exemple via le sucre syntaxique de l'interpolation, pour les langages qui le permettent), il vaut mieux utiliser la notion de requête préparée. .
Les requêtes préparées, ça ne marche que si le nom des tables et des champs est statique. Si tu écris par exemple

Code : Sélectionner tout
1
2
   PreparedStatement pstmt = con.prepareStatement("UPDATE " + ((some condition) ? "TABLE1" : "TABLE2") 
                                  + "  SET SALARY = ? WHERE ID = ?");*
et de réutiliser la requête préparée si la condition a changé.

L'injection de code, c'est vrai qu'il faut faire attention dès lors que l'une des variables peut contenir quelque chose saisi par l'utilisateur. Quand ce n'est pas le cas, on reste relativement tranquille.

Quant au code HTML, oui en effet si j'ai des doutes sur le contenu potentiel des variables je peux écrire

Code : Sélectionner tout
1
2
3
4
5
6
7
String str = $"""
<HTML>
  <BODY>
    <H1>${StringEscapeUtils.escapeHtml4(String.format(bundle.getString("HELLO_USER"), user.getName()))}</H1>
  </BODY>
</HTML>""";
Maintenant, c'est bien d'avertir sur les dangers de la mauvaise utilisation d'une technique, mais on ne va pas interdire l'informatique parce que certains l'utilisent de façon incorrecte.
0  0 
Avatar de esperanto
Membre expérimenté https://www.developpez.com
Le 09/03/2020 à 10:20
Citation Envoyé par Pyramidev Voir le message
Par exemple, si un identifiant d'utilisateur a pour contrainte que c'est une chaîne non vide qui n'a que des caractères alphanumériques ASCII, alors je crée un type UserId qui encapsule une String et qui a pour invariant de classe que cette chaîne respecte le format.
Bon, quand j'ai parlé avant de "type qui contient une String et délègue toutes les méthodes", je m'attendais en effet à ce que tu proposes quelque chose dans ce genre.

Questions:
  • 1. as-tu déjà utilisé cette technique sur un projet réel?


A priori ça m'a l'air bien lourd: non seulement tu dois déclarer plein de classes avec une seule méthode, mais en plus tu vas traîner des getValue() partout (qui en plus ne sont pas neutres en performances) alors même que le test qui justifie l'usage de cette classe n'est appelé que dans le constructeur!

  • 2. connais-tu un projet (idéalement open source pour qu'on puisse vérifier) qui utilise cette technique?


Je demande ça parce que quand tu écris:

Citation Envoyé par Pyramidev Voir le message
Non car la classe doit empêcher de violer son invariant (voir ci-avant).
je suis tout à fait d'accord... quand l'auteur de la classe record a choisi d'utiliser cette technique! Quand ce n'est pas le cas, quand je dois utiliser l'API écrite par un tiers, il y a peu de chances qu'il ait pensé à blinder ses records comme tu le fais!

Globalement je reste d'accord avec ce que dit l'article que tu cites... quand tu utilises un langage qui a un système de types approprié. Avec cet exemple on voit bien que ce n'est pas réellement le cas de Java. Même si tu peux utiliser cette technique, elle est loin d'être idiomatique en Java ce qui réduit son intérêt. D'ailleurs, si tel était le cas, ceux qui ont proposé le mot-clé record pour simplifier les POJO auraient probablement proposé quelque chose aussi pour simplifier la création de ce genre de types!

Puisqu'on parle d'idiomatismes, qu'est-ce qui interdit dans un POJO de faire ceci:

Code : Sélectionner tout
1
2
3
4
public void setUserId(String userId) {
    assert(! userId.contains(" "));
    this.userId = userId;
}
Alors, qu'est-ce qui l'empêche? Techniquement, absolument rien. Même la spécification Java Beans ne l'interdit pas, elle dit même explicitement le contraire (paragraphe 7.1 de la spécification):

So properties need not just be simple data fields, they can actually be computed values. Updatesmay have various programmatic side effects. For example, changing a bean’s background colorproperty might also cause the bean to be repainted with the new color
Sauf que la plupart des gens ne lisent jamais les specs, ils lisent des exemples, en oubliant au passage qu'un exemple sert à illustrer un argument et non à être recopié au pied de la lettre dans tous les projets! Résultat, les Java Beans sont peu à peu remplacés par les POJO, qui eux interdisent ce genre d'écriture. Encore que... les POJO, contrairement à Java Beans, ce n'est pas une spécification, seulement des règles écrites nulle part mais admises par tous!

Citation Envoyé par Pyramidev Voir le message
Utiliser des POJO à certains endroits ne veut pas dire qu'il faut en mettre partout.
Non, mais le fait d'en simplifier la syntaxe entérine leur utilisation comme une bonne pratique, et tout le monde ne fait pas la part des choses.

A la limite, les record m'embêteraient moins s'il était possible d'écrire:
Code : Sélectionner tout
1
2
3
4
5
public record BankTransaction(
                              @Check(id -> ! (id.contains(" "))) String userId,
                              Date date,
                              double amount,
                              String description) {}
A noter dans cette syntaxe que:
  • le contenu de l'annotation n'est pas une expression statique mais une fonction booléenne: ici c'est un bout de code dont je charge le compilateur de l'injecter au bon endroit (ici dans le constructeur)
  • j'utilise une annotation: l'idéal serait alors qu'on puisse déclarer ses propres annotations avec pour chacune, la possibilité de déclarer dans le code de l'annotation l'effet qu'elle aura sur le code généré quand elle est utilisée dans un record (puisqu si j'ai bien compris un record est transformé en POJO à la compilation...)


De cette manière, les record me permettraient de simplifier sans sacrifier toute possibilité d'évolution. Tant que ce n'est pas le cas, non merci.
0  0