在 F# 中是否有更通用的方法对集合进行迭代、过滤和应用操作？

Question

让我们看一下这段代码：

open System
open System.IO

let lines = seq {
  use sr = new StreamReader(@"d:\a.h")
  while not sr.EndOfStream do yield sr.ReadLine()
}

lines |> Seq.iter Console.WriteLine
Console.ReadLine()

在这里，我正在读取 seq 中的所有行，并使用 Seq.iter 来检查它。如果我有一个列表，我将使用 List.iter，如果我有一个数组，我将使用 Array.iter。是否有一个更通用的遍历函数我可以使用，而不必跟踪我拥有的集合类型？例如，在 Scala 中，我只需调用 foreach 并且无论我使用的是 List、Array 还是 Seq，它都会起作用。

我做错了吗？

Answer 1

您可能需要也可能不需要跟踪您处理的集合类型，具体取决于您的情况。

在对项目进行简单迭代的情况下，没有什么可以阻止您在 F# 中的列表或数组上使用 Seq.iter：它将在数组和列表上工作，因为两者也是序列，或 从 .NET 的角度来看，IEnumerable。在数组上使用 Array.iter 或在列表上使用 List.iter 只会根据每种类型集合的特定属性提供更有效的遍历实现。作为Seq.iter的签名 Seq.iter : ('T -> unit) -> seq<'T> -> unit 表明您不关心遍历后的类型 'T。

在其他情况下，如果您关心进一步的组合，您可能需要考虑输入和输出参数的类型并使用专门的函数。例如，如果您需要过滤列表并继续使用结果，则

List.filter : ('T -> bool) -> 'T 列表 -> 'T list 会完整保留底层集合的类型，但是 Seq.filter : ('T -> bool) -> seq<'T> -> seq<'T> 应用于列表将返回一个序列，而不是列表：

let alist = [1;2;3;4] |> List.filter (fun x -> x%2 = 0) // alist is still a list
let aseq = [1;2;3;4] |> Seq.filter (fun x -> x%2 = 0) // aseq is not a list anymore

Answer 2

Seq.iter 也适用于列表和数组。

类型 seq 实际上是接口 IEnumerable<'T> 的别名，list 和 array 都实现了该接口。因此，正如 BLUEPIXY 所指出的，您可以在数组或列表上使用 Seq.* 函数。

一种看起来不太实用的方法如下：

for x in [1..10] do
    printfn "%A" x

Answer 3

List 和 Array 被视为 Seq。

let printAll seqData =
  seqData |> Seq.iter (printfn "%A")
  Console.ReadLine() |> ignore

printAll lines
printAll [1..10]
printAll [|1..10|]