f# - 为什么 Seq.isEmpty 说没有足够的元素？

Question

当我将鼠标悬停时，nums 确实是 int 的 seq。知道发生了什么吗？
此函数行旨在等效于 C# 的 DefaultIfEmpty Linq 函数。

一般的想法是用空格分隔的字符串行并写出哪些字符串出现了 count 次。



代码:

    open System

[<EntryPoint>]
let main argv = 
    let tests = Console.ReadLine() |> int
    for i in [0..tests] do
        let (length, count) = Console.ReadLine() 
                                |> (fun s -> s.Split [|' '|])
                                |> (fun split -> Int32.Parse(split.[0]), Int32.Parse(split.[1]))
        Console.ReadLine() 
            |> (fun s -> s.Split [|' '|])
            |> Seq.map int 
            |> Seq.take length
            |> Seq.groupBy (fun x -> x)     
            |> Seq.map (fun (key, group) -> key, Seq.sum group)
            |> Seq.where (fun (_, countx) -> countx = count)
            |> Seq.map (fun (n, _) -> n)
            |> (fun nums -> if Seq.isEmpty nums then "-1" else String.Join(" ", nums))
            |> Console.WriteLine

    0 // return an integer exit code

样本输入:
3
9 2
4 5 2 5 4 3 1 3 4

Answer 1

因此，F# 中的序列使用惰性求值。这意味着当您使用 map 等函数时, where , take等等，结果不会立即评估。

仅在实际枚举序列时才评估结果。当您调用 Seq.isEmpty您触发了对 MoveNext() 的调用这会导致结果序列的第一个元素被评估 - 在您的情况下，这会导致大量函数被评估。

在这种情况下，InvalidOperationException 实际上是由 Seq.take 触发的。如果序列没有足够的元素，则会抛出。这可能会让来自 C# 的您感到惊讶，其中 Enumerable.Take将占用请求的元素数量，但如果您到达序列的末尾，可能会占用更少的元素。

如果你想在 F# 中出现这种行为，你需要替换 Seq.take与 Seq.truncate .