可變參考單元不適用於靜態成員

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") 
... 

Inside S.addSymbol我可以看到新的鍵/值被添加到表中，但S.names沒有得到更新。相反，如果我叫addSymbol這樣的：

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

然後我可以看到TMP正與新的鍵/值對更新，但仍S.names沒有更新。

下面是我認爲我知道的：ref機制沒有什麼錯 - 它正確地更新了函數內部和外部的指示對象。但是對於靜態成員來說似乎有點奇怪 - 就像，每次都只給我一個相同的靜態引用，而是複製'a'，然後爲此創建一個新的引用。

我有這個權利嗎？如果是這樣，爲什麼它這樣做？我能做些什麼來使其表現得更明智？

在此先感謝。

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> 

在一個模塊中，有額外的訪問限制或封裝的要求。