f# - 使用 seq 表达式的递归对象警告

Question

我有以下(简化的)代码:

open System
open System.IO

[<EntryPoint>]
let main argv =     
    let rec lineseq = seq {
        match Console.ReadLine() with
        | null -> yield! Seq.empty
        | line ->
            yield! lineseq
        }

    0

Visual Studio 正在为第二个 yield 语句发出“递归对象”警告，即 yield! lineseq.

这是为什么？

Answer 1

这是因为您将 lineseq 定义为一个值。

只需按照警告的建议在开头写上 #nowarn "40"，或者添加一个虚拟参数使其成为一个函数:

open System
open System.IO

[<EntryPoint>]
let main argv =     
    let rec lineseq x = seq {
        match Console.ReadLine() with
        | null -> yield! Seq.empty
        | line ->
            yield! lineseq x
        }

    // But then you need to call the function with a dummy argument.
    lineseq () |> ignore

    0

另请注意，序列仍然不会被评估，并且 ReadLine 将不返回 null，我猜您正在等待一个空行，即 ""。

尝试这样的事情以可视化结果:

let main argv =     
    let rec lineseq x = seq {
        match Console.ReadLine() with
        | ""   -> yield! Seq.empty
        | line -> yield! lineseq x}

    lineseq () |> Seq.toList |> ignore
    0

它与这个问题有相似之处:Recursive function vs recursive variable in F#