f# - 可变引用单元格不适用于静态成员

Question

我想我明白这里发生了什么，但我真的很感激有人能解释为什么会这样。

基本上(我在这里即时编码，以提供最简单的说明)我有一个类 S，除其他外，它维护一个符号表，该表将名称与类的对象相关联。所以，在我定义的类中:

static member (names:Map<string,S> ref) = ref Map.empty

...然后，同样在 S 中，我定义:

member this.addSymbol (table: Map<string,S> ref) (name:string)
    table := (!table).Add(name, this)
    this

我从别处调用它，因此:

ignore (s.addSymbol S.names "newname")
...

在 S.addSymbol 中，我可以看到新的键/值被添加到表中，但 S.names 没有得到更新。相反，如果我这样调用 addSymbol:

ignore (
    let tmp = S.names
    s.addSymbol tmp "newName"
)

然后我可以看到 tmp 正在使用新的键/值对进行更新，但是 S.names 仍然没有更新。

这是我认为我知道的:ref 机制没有任何问题 - 它在函数内部和外部都正确地更新了引用对象。但是静态成员似乎有些奇怪 - 就像，它不是每次都给我相同的静态引用 'a，而是复制 'a 然后为它创建一个新的引用。

我做对了吗？如果是这样，它为什么要这样做？我该怎么做才能让它表现得更明智？

提前致谢。

Answer 1

静态成员 names 是一个属性，而不是一个静态值。在内部，它是一个每次调用时都会创建一个新 map 的函数。

如果该值必须在类中，请使用 static let 在类中定义它。这样，引用单元格只会创建一次。

type S () =
    static let names = ref Map.empty : Map<string, S> ref
    static member Names = names

S.Names := ["Don", S()] |> Map.ofList
S.Names // gives map with one element

通常，该类不公开引用单元格本身，而是公开读取、添加或删除名称的成员。然后，Names 将返回 !names —— 或者 names 将是一个普通的可变而不是引用单元格 —— 而像 AddName 这样的其他方法将改变值(value)。如果不需要这样的封装，请参阅 kvb 关于如何将此示例缩短为仅一个成员的注释。 (感谢提示!)

---

备选方案: 通常，这是使用 F# 模块的情况。只需定义

let names = ref Map.empty : Map<string, S> ref

或

let mutable names = Map.empty : Map<string, S>

在模块中，根据需要进行额外的访问限制或封装。