Question

type bytesLookup = Map<byte,int list>
type lookupList = bytesLookup list

let maps:bytesLookup = Map.empty

let printArg arg = printfn(Printf.TextWriterFormat<unit>(arg))

let array1 = [|byte(0x02);byte(0xB1);byte(0xA3);byte(0x02);byte(0x18);byte(0x2F)|]

let InitializeNew(maps:bytesLookup,element,index) =
    maps.Add(element,List.empty<int>)(*KeyNotFoundException*)
    maps.[element]

let MapArray (arr:byte[],maps:bytesLookup ) =
   for i in 0..arr.Length do
       match maps.TryFind(arr.[i]) with
        | Some(e) -> i::e
        | None -> InitializeNew(maps,arr.[i],i)

MapArray(array1,maps);

printArg( maps.Count.ToString())

异常

System.Collections.Generic.KeyNotFoundException：给定的密钥不是出现在字典中。在 Microsoft.FSharp.Collections.MapTreeModule.find [TValue，a]（IComparer 1 comparer, TValue k, MapTree 2 m）at at Script1.fsx中的Microsoft.FSharp.Collections.FSharpMap 2.get_Item(TKey key) at FSI_0012.MapArray(Byte[] arr, FSharpMap 2 maps）：第16行 at。$ FSI_0012.main @（）in Script1.fsx：第20行

在函数中我试图使用int列表初始化地图中的新元素。我还尝试将新的int值同时推送到列表中。

我做错了什么？

Answer 1

F＃Map是一个不可变的数据结构，Add方法不会修改现有的数据结构，它会返回一个新的Map，其中包含您所请求的附加内容。

观察：

let ex1 = 
    let maps = Map.empty<byte, int list>
    maps.Add(1uy, [1]) // compiler warning here!
    maps.[1uy]

关于此代码的两件事：

运行时会抛出System.Collections.Generic.KeyNotFoundException
它为您提供编译器警告：行maps.Add...应该具有类型unit但实际上具有类型Map<byte,int list>。不要忽视警告！

现在试试这个：

let ex2 =
    let maps = Map.empty<byte, int list>
    let maps2 = maps.Add(1uy, [1])
    maps2.[1uy]

没有警告。没有例外。代码按预期工作，返回值[1]。

F＃在KeyNotFoundException中为map结果添加值

1 个答案: