Partager via

Copie et mise à jour des expressions d’enregistrement

  • Article

Une expression d’enregistrement de copie et de mise à jour est une expression qui copie un enregistrement existant, met à jour les champs spécifiés et retourne l’enregistrement mis à jour.

Syntaxe

{ record-name with
    updated-labels }

{| anonymous-record-name with
    updated-labels |}

Notes

Les enregistrements et les enregistrements anonymes sont immuables par défaut, il n’est donc pas possible de mettre à jour un enregistrement existant. Pour créer un enregistrement mis à jour, tous les champs d’un enregistrement doivent être à nouveau spécifiés. Pour simplifier cette tâche, une expression de copie et de mise à jour peut être utilisée. Cette expression prend un enregistrement existant, en crée un nouveau du même type à l’aide des champs spécifiés de l’expression et du champ manquant spécifié par l’expression.

Cela peut être utile lorsque vous devez copier un enregistrement existant et éventuellement modifier certaines des valeurs de champ.

Par exemple, prenez un enregistrement nouvellement créé.

let myRecord2 =
    { MyRecord.X = 1
      MyRecord.Y = 2
      MyRecord.Z = 3 }

Pour mettre à jour seulement deux champs de cet enregistrement, vous pouvez utiliser l’expression d’enregistrement de copie et de mise à jour :

let myRecord3 = { myRecord2 with Y = 100; Z = 2 }

Voir aussi