Condividi tramite

Copiare e aggiornare espressioni di record

  • Articolo

Un'espressione di record di copia e aggiornamento è un'espressione che copia un record esistente, aggiorna i campi specificati e restituisce il record aggiornato.

Sintassi

{ record-name with
    updated-labels }

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

Osservazioni:

I record e i record anonimi non sono modificabili per impostazione predefinita, pertanto non è possibile aggiornare un record esistente. Per creare un record aggiornato, è necessario specificare di nuovo tutti i campi di un record. Per semplificare questa attività, è possibile usare un'espressione di copia e aggiornamento. Questa espressione accetta un record esistente, crea uno nuovo dello stesso tipo usando i campi specificati dall'espressione e il campo mancante specificato dall'espressione.

Ciò può essere utile quando è necessario copiare un record esistente ed eventualmente modificare alcuni valori di campo.

Prendere per esempio un record appena creato.

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

Per aggiornare solo due campi nel record, è possibile usare l'espressione di copia e aggiornamento del record:

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

Vedi anche