Как вы объявляете значения словарной записи как изменяемые? - PullRequest
Новая
       29

Как вы объявляете значения словарной записи как изменяемые?

12 голосов
/ 30 июля 2009

Google дает множество примеров добавления и удаления записей в словаре F # (или другой коллекции). Но я не вижу примеров, эквивалентных 

myDict["Key"] = MyValue;

Я пробовал 

myDict.["Key"] <- MyValue

Я также пытался объявить словарь как 

Dictionary<string, mutable string>

а также несколько вариантов по этому вопросу. Тем не менее, я еще не выбрал правильную комбинацию ... если она действительно возможна в F #.

Редактировать: Код ошибки: 

type Config(?fileName : string) =
    let fileName = defaultArg fileName @"C:\path\myConfigs.ini"

    static let settings =
        dict[ "Setting1", "1";
              "Setting2", "2";
              "Debug",    "0";
              "State",    "Disarray";]

    let settingRegex = new Regex(@"\s*(?<key>([^;#=]*[^;#= ]))\s*=\s*(?<value>([^;#]*[^;# ]))")

    do  File.ReadAllLines(fileName)
        |> Seq.map(fun line -> settingRegex.Match(line))
        |> Seq.filter(fun mtch -> mtch.Success)
        |> Seq.iter(fun mtch -> settings.[mtch.Groups.Item("key").Value] <- mtch.Groups.Item("value").Value)

Я получаю ошибку: 

System.NotSupportedException: This value may not be mutated
   at Microsoft.FSharp.Core.ExtraTopLevelOperators.dict@37-2.set_Item(K key, V value)
   at <StartupCode$FSI_0036>.$FSI_0036_Config.$ctor@25-6.Invoke(Match mtch)
   at Microsoft.FSharp.Collections.SeqModule.iter[T](FastFunc`2 action, IEnumerable`1 sequence)
   at FSI_0036.Utilities.Config..ctor(Option`1 fileName)
   at <StartupCode$FSI_0041>.$FSI_0041.main@()
stopped due to error

Ответы [ 2 ]

27 голосов
/ 30 июля 2009

f # имеет две общие ассоциативные структуры данных:

Тот, к которому вы больше всего привыкли, изменяемый словарь, который он наследует, который находится в BCL и использует хеш-таблицу под капотом. 

let dict = new System.Collections.Generic.Dictionary<string,int>()
dict.["everything"] <- 42

Другой известен как Карта и в обычном функциональном стиле неизменен и реализован с помощью двоичных деревьев.

Вместо операций, которые могли бы изменить словарь, карты предоставляют операции, которые возвращают новую карту, которая является результатом любого изменения, которое было запрошено. Во многих случаях под капотом нет необходимости делать полностью новую копию всей карты, поэтому обычно доступны те части, которые могут быть общими. Например: 

let withDouglasAdams = Map.add "everything" 42 Map.empty

Значение withDouglasAdams останется навсегда как ассоциация «всего» с 42. так что если вы позже сделаете: 

let soLong = Map.remove "everything" withDouglasAdams

Тогда эффект этого «удаления» виден только через значение soLong.

Карта F #, как уже упоминалось, реализована в виде двоичного дерева. Следовательно, Lookup - это O (log n), тогда как словарь (с хорошим поведением) должен быть O (1). На практике словарь, основанный на хеше, будет стремиться превзойти древовидный словарь почти во всех простых (малое количество элементов, низкая вероятность столкновения), так как он обычно используется. При этом неизменный аспект Map может позволить вам использовать его в ситуациях, когда словарь вместо этого потребует более сложной блокировки или для написания более «элегантного» кода с меньшим количеством побочных эффектов, и, таким образом, он остается полезной альтернативой.

Это, однако, не источник вашей проблемы. Параметр dict 'operator' возвращает неизменную реализацию IDictionary<K,T> (хотя это не указано в документации).

С fslib-extra-pervasives.fs (обратите внимание также на использование параметров на клавишах): 

let dict l = 
    // Use a dictionary (this requires hashing and equality on the key type)
    // Wrap keys in an Some(_) option in case they are null 
    // (when System.Collections.Generic.Dictionary fails). Sad but true.
    let t = new Dictionary<Option<_>,_>(HashIdentity.Structural)
    for (k,v) in l do 
        t.[Some(k)] <- v
    let d = (t :> IDictionary<_,_>)
    let c = (t :> ICollection<_>)
    let ieg = (t :> IEnumerable<_>)
    let ie = (t :> System.Collections.IEnumerable)
    // Give a read-only view of the dictionary
    { new IDictionary<'key, 'a> with 
            member s.Item 
                with get x = d.[Some(x)]            
                and  set (x,v) = raise (NotSupportedException(
                                            "This value may not be mutated"))
   ...
5 голосов
/ 30 июля 2009

Какую ошибку вы получаете? Я попробовал следующее, и он прекрасно компилируется 

let map = new System.Collections.Generic.Dictionary<string,int>()
map.["foo"] <- 42

РЕДАКТИРОВАТЬ Убедитесь, что этот код работает нормально.

...