递归地填充字典？

Question

我正在测试以下代码以递归地填充字典。然而，类型推断似乎无法识别字典类型。我尝试过使用类型注释，但这似乎没有帮助。

在递归例程中使用字典是否有一些限制？我是否需要使字典可变，因为我希望在迭代期间更改它。

open System
open System.Collections.Generic

////dictionary recursion test

let pop_dict tlist = 
   // let rec inner tlist acc ddict:Dictionary<string,int> =
    let rec inner tlist acc ddict =
       match tlist with 
            | [] ->  ddict.Add ("dummykey", acc)                             
            | x::xs  -> inner xs  (x::acc) ddict
    let  ddict = Dictionary<string,int>()
    inner tlist [] ddict 


// Main Entry Point
let main() =

    let tlist = [1;2;3;4]
    let d = pop_dict tlist

main()

Answer 1

首先，你们的类型不匹配。

您正在尝试将 int 列表（这就是 acc 的含义）添加到应该包含 int 的字典中。

然而除此之外，编译器无法推断 ddict 类型的原因是。请记住，当类型检查器确定函数的类型时，它不会查看稍后调用的内容。它仅具有以下可用信息：

let rec inner tlist acc ddict =
   match tlist with 
        | [] -> ddict.Add ("dummykey", acc)                             
        | x::xs  -> inner xs  (x::acc) ddict

这意味着，它在编译函数时了解的关于 ddict 的唯一信息是它有一个名为 Add 的方法，该方法<代码>字符串*'一个列表-> ？。

要修复此问题，请更改

let rec inner tlist acc ddict =

为

let rec inner tlist acc (ddict:Dictionary<string,int>) =

您仍然遇到字典上不匹配类型的问题，因此，如果您打算存储 ，您可能希望它是 Dictionary >int list 其中。

Answer 2

这就是你想要的吗？

let pop_dict tlist = 
    let rec inner tlist acc (ddict:Dictionary<string,int list>) =
       match tlist with 
            | [] ->  ddict.Add ("dummykey", acc)                             
            | x::xs  -> inner xs  (x::acc) ddict
    let  ddict = Dictionary<string,int list>()
    inner tlist [] ddict 


// Main Entry Point
let main() =

    let tlist = [1;2;3;4]
    let d = pop_dict tlist
    ()