F # Datensatzelement Auswertung

Question

Warum wird t.b bei jedem Aufruf ausgewertet? Und gibt es einen Weg, wie man es nur einmal bewerten kann?

type test = 
    { a: float } 
    member x.b = 
    printfn "oh no" 
    x.a * 2. 

let t = { a = 1. } 
t.b 
t.b 

Answer 1

Es ist eine Eigenschaft; Sie rufen im Grunde das get_b() Mitglied.

Wenn Sie die Wirkung wollen mit dem Konstruktor einmal passieren, könnten Sie eine Klasse verwenden:

type Test(a:float) = 
    // constructor 
    let b = // compute it once, store it in a field in the class 
     printfn "oh no" 
     a * 2. 
    // properties 
    member this.A = a 
    member this.B = b 

Answer 2

Eine alternative Version von Brians Antwort, die b höchstens einmal bewerten, sondern wertet es überhaupt nicht wenn über B nie

type Test(a:float) = 
    // constructor 
    let b = lazy 
       printfn "oh no" 
       a * 2. 
    // properties 
    member this.A = a 
    member this.B = b.Value 

Answer 3

Als Antwort auf Ihre Kommentare in Brians Post verwendet wird, können Sie gefälschte Kopie-und-Verbuchungssatz Ausdrücke optional/named args verwenden. Zum Beispiel:

type Person(?person:Person, ?name, ?age) = 

    let getExplicitOrCopiedArg arg argName copy = 
     match arg, person with 
     | Some(value), _ -> value 
     | None, Some(p) -> copy(p) 
     | None, None -> nullArg argName 

    let name = getExplicitOrCopiedArg name "name" (fun p -> p.Name) 
    let age = getExplicitOrCopiedArg age "age" (fun p -> p.Age) 

    member x.Name = name 
    member x.Age = age 

let bill = new Person(name = "Bill", age = 20) 
let olderBill = new Person(bill, age = 25) 

printfn "Name: %s, Age: %d" bill.Name bill.Age 
printfn "Name: %s, Age: %d" olderBill.Name olderBill.Age 

Answer 4

Die bisherigen Reaktionen auf eine Klasse empfehlen, Schalten, anstatt einen Datensatz zu verwenden. Wenn Sie mit Datensatz bleiben wollen (für ihre einfache Syntax und Unveränderlichkeit), können Sie diesen Ansatz:

type test = 
    { a : float 
     b : float } 
    static member initialize (t: test) = 
     { t with b = t.a * 2. } 

Dies ist nützlich, wenn die Instanz von test von einer anderen Bibliothek erstellt wird (wie ein Datenprovider von einem Web Dienst oder Datenbank). Bei diesem Ansatz müssen Sie daran denken, jede Instanz von test, die Sie von dieser API erhalten, über die Initialisierungsfunktion zu übergeben, bevor Sie sie in Ihrem Code verwenden.