F# seq.skipWhile 没有预期的行为（跳过整个序列）

Question

我正在编写一个程序，它比较远程文件的内容并实时记录（而不是下载文件并每次用它的最新“版本”替换它）它的内容到本地文件。为此，我创建了一个 FTP 连接，读取远程文件，跳过所有内容直到读取的最后一行，然后将所有新行复制到本地文件中。

为了比较新与否，我使用了以下函数：

let getNewLines (lineToLookFor:string) (varLogLines:seq<string>) =
    let newLines = Seq.skipWhile ((fun (lineToMatch:string) (varLogLine:string) -> not(lineToMatch.Equals(varLogLine))) lineToLookFor) varLogLines
    match Seq.length newLines with
    | 0 -> (varLogLines, lineToLookFor)  // There has been a rollover of the messages file, take all the lines as they are all new
    | _ -> (newLines, Seq.last newLines) // Only take the new lines which were written since the last check in the messages file

Seq.skipWhile 应该跳过 seq 中谓词函数返回 true 的所有条目，然后返回 seq 的其余部分。就我而言，我想读取所有行，直到 lineToMatch.Equals(varLogLine)，然后在 seq 中返回该点之后的所有其他内容。

不幸的是，newLines 总是空的，因此我的程序的流程总是在第一个匹配中进行 | 0->。我不知道为什么。

为了记录，我也尝试过 Contains 而不是 Equals，但没有任何成功。

Answer 1

您可以使用以下代码简化Seq.skipWhile 中的函数：

let getNewLines (lineToLookFor:string) (varLogLines:seq<string>) =
    let newLines = Seq.skipWhile (fun varLogLine -> varLogLine <> linetoLookFor) varLogLines
    match Seq.length newLines with
    | 0 -> (varLogLines, lineToLookFor)  // There has been a rollover of the messages file, take all the lines as they are all new
    | _ -> (newLines, Seq.last newLines) // Only take the new lines which were written since the last check in the messages file

或者，如果您想要的只是“我要查找的行之后的所有行”，您可以这样做：

let getNewLines (lineToLookFor:string) (varLogLines:seq<string>) =
    let maybeIndex = Seq.tryFindIndex (fun line -> line = lineToLookFor) varLogLines
    match maybeIndex with
    | Some index -> Seq.skip (index + 1) varLogLines // return the elements after the one you provided
    | None -> varLogLines // return all elements.

然后您可以获取该函数的结果并存储最后一个条目以供以后使用 - 您以前在 getNewLines 中执行此操作，但我觉得让调用者处理该工作更清洁：

let newLines = getNewLines lastLine varLogLines
let newLastLine = Seq.last newLines

编辑：看起来你在没有匹配的时候返回原来的lineToLookFor——感觉你应该返回Seq.last lineToLookFor。

另外，如果您使用 CCR 并且可以避免让这个特定功能使用它，我肯定会避免使用它。该功能很简单，我认为您不需要将其包装在 ccr { } 块中，而且我之前被 CCR 咬过，因为它们看起来应该可以正常工作，但最终却没有这样做。