可变参考单元格不适用于静态成员

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 机制没有任何问题——它在函数内部和外部都正确地更新了所指对象。但是静态成员似乎有些奇怪 - 就像，它不是每次都给我相同的静态 ref 'a，而是复制 'a，然后为此创建一个新的 ref。

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

提前致谢。

Answer 1

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

如果值必须在类中，请使用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 - 或者名称将是一个普通的可变而不是参考单元格 - 并且像 AddName 这样的其他方法会改变值。如果不需要这样的封装，请参阅 kvb 的评论，了解如何将此示例缩短为只有一个成员。 （感谢提示！）

---

替代方案： 通常，这是使用 F# 模块的情况。只需定义

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

或

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

在一个模块中，根据需要具有额外的访问限制或封装。