OCaml中使用foldl实现twoMin函数遇报错，请求排查问题

问题根源 #

你自定义的foldl函数调用折叠函数时，是把当前列表元素作为第一个参数，累加器作为第二个参数。但你在twoMin里写的折叠函数完全搞反了参数逻辑：你错误地把参数a当成累加器、b当成当前元素，导致所有比较判断都颠倒了，这就是代码报错的核心原因。

修正后的代码 #

let rec foldl f l acc = match l with
  | [] -> acc
  | x :: xs -> foldl f xs (f x acc)

let twoMin lst =
  match lst with
  | [] | [_] -> failwith "List must contain at least two elements with different values."
  | x :: y :: rest ->
    let initial_acc = if x < y then (x, y) else (y, x) in
    (* 明确区分当前元素和累加器，修正比较逻辑 *)
    let (min1, min2) = foldl (fun curr_elem (curr_min1, curr_min2) ->
        if curr_elem < curr_min1 then (curr_elem, curr_min1)
        else if curr_elem < curr_min2 then (curr_min1, curr_elem)
        else (curr_min1, curr_min2)
      ) rest initial_acc in
    (min1, min2)

关键修正说明 #

• 重命名折叠函数的参数为curr_elem（当前元素）和(curr_min1, curr_min2)（累加器，存储当前找到的最小、次小值），从根源避免参数混淆。
• 调整比较逻辑：用当前元素和累加器里的最小值、次小值对比，完全符合“找列表中两个最小值”的逻辑。

测试验证 #

比如调用twoMin [5;3;8;2;7]会返回(2, 3)，调用twoMin [10;1;4;2]会返回(1, 2)，均符合预期。

内容的提问来源于stack exchange，提问作者J.B