OCaml标准库List.of_seq为何采用非直观的源码实现？

OCaml标准库List模块的of_seq实现如下：

let[@tail_mod_cons] rec of_seq seq =
  match seq () with
  | Seq.Nil -> []
  | Seq.Cons (x1, seq) ->
      begin match seq () with
      | Seq.Nil -> [x1]
      | Seq.Cons (x2, seq) -> x1 :: x2 :: of_seq seq
      end

你可能会疑惑，为什么不采用更简洁直接的实现：

let[@tail_mod_cons] rec of_seq seq =
  match seq () with
  | Seq.Nil -> []
  | Seq.Cons (x1, seq) -> x1 :: of_seq seq

核心原因是性能优化，具体体现在这几点：

• 减半递归调用次数：每次迭代处理两个元素，递归调用的数量直接减少一半，降低了函数调用带来的开销。
• 优化内存分配与缓存：连续构造两个cons节点，能让内存分配器更高效地分配连续内存块，减少内存碎片化；同时连续的节点布局能提升缓存局部性，后续访问列表元素时缓存命中率更高。
• 充分利用@tail_mod_cons优化：两种实现都能通过tail_mod_cons将递归转化为循环（避免栈溢出），但一次处理两个元素的方式，能让编译器的优化效果更充分，进一步降低运行时的额外开销。

这种“批量处理”的优化是标准库的常见思路，用微小的逻辑复杂度换来了显著的性能提升，同时保持了代码的可读性。

内容的提问来源于stack exchange，提问作者Chris