阐明 F# 中的字段类型

Question

在对 F# 进行了一些练习之后，我还有一些需要澄清的地方：

这个问题专门针对类型中的字段。

这是我的理解，有些肯定是错误的，因为如果我是对的，命名就没有意义：

let x -> private read-only field, evaluated once
let mutable x -> private mutable field

val x -> public read-only field.. difference with let?
val mutable x -> public mutable field

member this.x -> private read-only field, evaluated every time
member val -> public mutable field.. difference with val? why no mutable keyword?

有人可以告诉我什么是对/错，或者我可能弄错了一些概念。

Answer 1

首先，您几乎可以忽略val和val mutable 。 这两个用于定义未完全正式弃用的类的较旧语法，但在编写新的正常 F# 代码时我几乎不会使用它（有一些罕见的用例，但我认为不值得担心那些）。

这使得let和let mutable与member和member val相比。

• let定义了一个只能在 class 内访问的私有字段。 您分配给它的值会被评估一次。 您还可以定义诸如let foo x = x + 1或let bar () = printfn "hi"之类的函数，它们的主体在调用 function 时进行评估。

• let mutable定义了一个私有的可变字段。 这是通过评估右侧来初始化的，但您可以稍后使用fld <- <new value>对其进行变异。

• member this.Foo = (...)定义了一个 get-only 属性。 每当访问该属性时，都会重复计算表达式(...) 。 这是 .NET 属性工作方式的副作用——它们有一个隐藏的get()方法，每当访问它们时都会调用它，因此主体是该方法的主体。

• member val Foo = (...)是一种编写只评估一次的属性的方法。 在 F# 的早期版本中，这是不可用的，因此您必须通过定义一个本地字段（运行一次代码）然后从常规属性返回该字段来非常乏味地自己实现此功能：

   let foo = (...) member x.Foo = foo