Question

我今天晚上一直在使用f＃中的列表（创建，添加，搜索等），并且最近卡在列表项删除上。代码很简单。

let menu = [("pizza",17);("hotdog",5);("burger", 12);("drink",3);
("milkshake",4)]

//If key is in dictionary , return new dictionary with value removed
//otherwise return dictionary unchanged
let rec remove dict key =
    match dict with
    //if the list is empty, return an empty list
    | [] -> []
    //if the list is not empty and the head meets the removing criteria
    //return a list obtained by reiterating the algorithm on the tail
    //of the list
    | (k,v) :: tl when k = key -> tl :: remove tl key
    //if the list is not empty and the head does not meet the removing criteria
    //return a list obtained by appending the head to a list obtained by
    //reiterating algorithm on tail of the list 
    | (k,v) :: tl -> (k,v) :: remove tl key

错误来自函数的最后一行| (k,v) :: tl -> (k,v) :: remove tl key。显然，它不会将(k,v)识别为列表的头部，而只会看到带有值的元组。这是有道理的，我不知道我还能期待什么，但问题是我不知道如何解决它。我尝试将元组放在列表中，如[(k,v)]，但这让事情变得更糟。我甚至试过| hd :: tl -> hd :: remove tl key，但我遇到了同样的问题。我写的每个其他函数都接受了hd和tl作为模式匹配中的列表。

如何解决此问题？

Answer 1

第二名后卫是错误的。您正在使用尾部两次，并且因为您在cons操作中将它用作第一个参数，所以它不会进行类型检查（它需要单个元素，而不是列表）。

将其更改为：

| (k,v) :: tl when k = key -> remove tl key

Answer 2

我看到你正在犯的另一个错误。这是一个概念上的错误，而不是代码中的错误，但除非您了解错误，否则会导致更多错误。你写道：

我写的其他所有函数都在模式匹配中接受了hd和tl作为列表。

（强调我的）。你的错误在于，当你写hd :: tl时，hd和tl都是列表。你是对的一半：tl确实是该语法中的列表，但hd是单项。证明：

let theList = [1; 2; 3; 4; 5]
printfn "The list: %A" theList
// Prints "The list: [1; 2; 3; 4; 5]"
match theList with
| [] -> printfn "The list was empty"
| hd :: tl -> printfn "Head was %A and tail was %A" hd tl
// Prints "Head was 1 and tail was [2; 3; 4; 5]"

在模式匹配中使用语法hd :: tl时，它会将列表拆分为第一个项目（头部）和列表的其余部分（尾部）。在正常表达式中使用语法hd :: tl时（例如，在模式匹配的任何位置），您将获取一个名为tl的列表和一个名为的单项 hd，并且将该项目预先到列表中，从而产生一个全新的列表，其前面的项目比前一个列表还多一个。

如果您写的话，我引用的句子是正确的：

我写的每个其他函数都接受tl作为列表，并将hd作为模式匹配中的列表项。

我希望这有助于您更好地理解F＃列表！

从列表中删除f＃

2 个答案: