为什么 Seq.iter 和 Seq.map 这么慢？

Question

考虑一下 F# 中的这段代码：

let n = 10000000
let arr = Array.init n (fun _ -> 0)

let rec buildList n acc i = if i = n then acc else buildList n (0::acc) (i + 1)
let lst = buildList n [] 0

let doNothing _ = ()
let incr x = x + 1

#time

arr |> Array.iter doNothing         // this takes 14ms
arr |> Seq.iter doNothing           // this takes 74ms

lst |> List.iter doNothing          // this takes 19ms
lst |> Seq.iter doNothing           // this takes 88ms

arr |> Array.map incr               // this takes 33ms
arr |> Seq.map incr |> Seq.toArray  // this takes 231ms!

lst |> List.map incr                // this takes 753ms
lst |> Seq.map incr |> Seq.toList   // this takes 2111ms!!!!

为什么Seq 模块上的iter 和map 函数比Array 和List 等效模块慢得多？

Answer 1

一旦你调用Seq，你就会丢失类型信息——移动到列表中的下一个元素需要调用IEnumerator.MoveNext。与Array 相比，您只需增加一个索引，而对于List，您只需取消引用一个指针。本质上，您会为列表中的每个元素获得一个额外的函数调用。

由于类似原因，转换回 List 和 Array 也会减慢代码速度