let vs member 用于私有函数，在 F#

Question

让我们考虑一下这段代码：

type TransactionTypes =
| TransactionType1
| TransactionType2

type Test() =

    let mutable lastTransactionType1 = DateTime.MinValue
    let mutable lastTransactionType2 = DateTime.MinValue

    let getLastTransaction transaction =
        match transaction with
        | TransactionType1 -> lastTransactionType1
        | TransactionType2 -> lastTransactionType2

    let updateLastTransaction transaction =
        match transaction with
        | TransactionType1 -> lastTransactionType1 <- DateTime.UtcNow
        | TransactionType2 -> lastTransactionType2 <- DateTime.UtcNow

现在（了解到我仍在学习 F#），我想澄清几点：

类似：

let a = DateTime.Now

进行永久绑定，因此 'a' 在后续使用中总是相同的时间。

但是，我的理解是，如果有参数的话，比如：

let a anyParameter = DateTime.Now

由于参数的存在，每次都会重新评估。对吗？

在上面的代码中，两个 let 语句（getLastTransaction 和 updateLastTransaction）是类型私有的（Test）

我也可以将它们实现为：

member private this.getLastTransaction = ...
member private this.updateLastTransaction = ...

有什么理由让私有函数更喜欢 let vs. member private this？ “让可变”已经暗示了这个。所以这两种形式都可以访问这些字段。

那么，一种形式相对于另一种形式的优势是什么？

Answer 1

当您使用成员时，F# 从 .NET 对象模型中继承了很多东西。一个 .NET 对象可以有几个不同的东西：

• 字段 - 存储值（就像记录的字段一样）。它们可以是可变的或不可变的。
• 方法 - 可以使用零个或多个参数调用的方法（如函数）
• 属性 - 没有参数（如字段）；它们可以被读取或写入，但是当发生这种情况时，会调用一些代码。属性基本上是一对 getter 和 setter 方法。

在 F# 中，其中一些不太明显。但是，let 对应于一个字段，而带有参数的member 对应于一个方法。您的棘手案例是没有参数的成员。例如：

type A() = 
  member x.Foo = printfn "Hi"; 42

Hi 将只打印一次，还是每次访问Foo 时都会打印？要回答这个问题，知道Foo 是一个带有getter 的属性是很有用的。以上其实是完整版的语法糖：

type A() = 
  member x.Foo 
    with get() = printfn "Hi"; 42

现在您可以看到Foo 属性后面有一个方法！每次访问Foo，编译器都会生成对get()方法的调用，所以Hi会被重复打印。

Answer 2

除了托马斯的回答：

  let mutable lastTransactionType1 = DateTime.MinValue

在 C# 中等同于：

internal DateTime lastTransactionType1 = DateTime.MinValue;

和

member private this.getLastTransaction ...

就 IL 而言，与 IL 相同

let getLastTransaction ...

在等效的 C# 中，两者都是

internal DateTime getLastTransactionMember(TransactionTypes transaction)
{
    if (transaction.Tag != 1)
    {
        return lastTransactionType1;
    }
    return lastTransactionType2;
}

但要以惯用的方式使用 F#，您可能希望使用 let。 还有一点不同，member 确实允许您在声明之前使用绑定中的方法，这在某些情况下可能有用（阅读：hacks）

let getType1 = this.getLastTransactionMember TransactionType1 //this compiles

member private this.getLastTransactionMember transaction =
        match transaction with
        | TransactionType1 -> lastTransactionType1
        | TransactionType2 -> lastTransactionType2