F＃记录成员评估

Question

为什么在每次通话中评估t.b？有没有办法让它只评估一次？

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

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

Answer 1

这是一个属性;你基本上打电话给get_b()成员。

如果你想要的效果与构造，一旦发生，你可以使用一个类：

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

Brian的回答的另一个版本，将最多一次评估b，但不会对其进行评估如果全部是B从未使用

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

在回答您的意见Brian的帖子，你可以通过选配的名为/ ARGS假冒复制和更新记录表达式。例如：

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

以前的答案建议切换到类而不是使用记录。如果你想留在记录（其简单的语法和不变性），你可以采取这种做法：

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

如果是由其他库创建的test实例（如来自Web的数据提供者，这是有用服务或数据库）。使用这种方法，您必须记住在您的代码中使用它之前，通过初始化函数从该API接收到的任何test实例。