Mutable опорные ячейки не работают со статическими элементами

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, а затем создает новый 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 

Oftentimes, класс не раскрывает саму эталонную камеру, а члены читать, добавлять или удалять имена. Затем Names вернется !names - или имена были бы простой изменяемые вместо ссылки на ячейку - и другие методы, такие как AddName бы изменить значение. Если нет необходимости в такой инкапсуляции, см. Комментарий kvb о том, как сократить этот пример до одного члена. (Спасибо за подсказку!)

---

Альтернатива: Обычно, это тот случай, в котором используются F # модулей. Просто определить

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

или

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

в модуле, с дополнительными ограничениями доступа или инкапсуляции в соответствии с требованиями.