从 F# 中的列表中提取单个元素

Question

我想从 F# 的序列中提取单个项目，或者如果没有或多个则给出错误。 做这个的最好方式是什么？

我目前

let element = data |> (Seq.filter (function | RawXml.Property (x) -> false | _ -> true))
                   |> List.of_seq
                   |> (function head :: [] -> head | head :: tail -> failwith("Too many elements.") | [] -> failwith("Empty sequence"))
                   |> (fun x -> match x with MyElement (data) -> x | _ -> failwith("Bad element."))

似乎可行，但这真的是最好的方法吗？

编辑：当我被指向正确的方向时，我想到了以下内容：

let element = data |> (Seq.filter (function | RawXml.Property (x) -> false | _ -> true))
                   |> (fun s -> if Seq.length s <> 1 then failwith("The sequence must have exactly one item") else s)
                   |> Seq.hd
                   |> (fun x -> match x with MyElement (_) -> x | _ -> failwith("Bad element."))

我想它更好一点。

Answer 1

序列有查找功能。

val find : ('a -> bool) -> seq<'a> -> 'a

但如果你想确保seq只有一个元素，那么做一个Seq.filter，然后取filter后的长度并确保它等于1，然后取头。 全部在Seq中，无需转换为列表。

编辑：
顺便说一句，我打算建议检查结果的尾部是否为空（O(1)），而不是使用函数length (O(n)).Tail 不是 seq 的一部分，但我认为您可以找到一种模拟该功能的好方法。

Answer 2

以现有序列标准函数的风格完成

#light

let findOneAndOnlyOne f (ie : seq<'a>)  = 
    use e = ie.GetEnumerator()
    let mutable res = None 
    while (e.MoveNext()) do
        if f e.Current then
            match res with
            | None -> res <- Some e.Current
            | _ -> invalid_arg "there is more than one match"          
    done;
    match res with
        | None -> invalid_arg "no match"          
        | _ -> res.Value

您可以做一个纯粹的实现，但它最终会跳过圈子以确保正确和高效（在第二场比赛中快速终止实际上需要一个标志说“我已经找到了它”）

Answer 3

更新的答案是使用 Seq.exactlyOne ，它会引发 ArgumentException

Answer 4

使用现有的库函数有什么问题吗？

let single f xs = System.Linq.Enumerable.Single(xs, System.Func<_,_>(f))

[1;2;3] |> single ((=) 4)

Answer 5

用这个：

> let only s =
    if not(Seq.isEmpty s) && Seq.isEmpty(Seq.skip 1 s) then
      Seq.hd s
    else
      raise(System.ArgumentException "only");;
val only : seq<'a> -> 'a

Answer 6

我的两分钱...这适用于选项类型，所以我可以在我的自定义也许 monad 中使用它。 可以很容易地修改，但可以使用异常

let Single (items : seq<'a>) =
    let single (e : IEnumerator<'a>) =
        if e.MoveNext () then
            if e.MoveNext () then
                raise(InvalidOperationException "more than one, expecting one")
            else
                Some e.Current
        else
            None
    use e = items.GetEnumerator ()
    e |> single