Copiare e aggiornare espressioni di record
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 }