OCaml自定义类型('a, 'b) holder的模式匹配实现问题

你遇到的问题是对列表结构的模式匹配逻辑有误，和holder类型本身的匹配无关：

• 你要操作的是('a, 'b) holder list（由holder类型元素组成的列表），列表的非空模式固定为首元素 :: 剩余列表的结构
• 你当前的写法跳过了列表的cons结构匹配，直接把整个列表当成单个holder匹配，自然无法得到预期结果

补充说明：你定义的holder是三元组的类型别名，不是带构造器的变体类型，所以单个holder的匹配逻辑和普通三元组完全一致，不需要额外加构造器，你原本的(a0, a1, b0)匹配单个holder的写法是正确的。

用标准库List.fold_left实现 #

比如你需要把所有holder的第二个元素收集为列表，写法如下：

type ('a, 'b) holder = 'a * 'a * 'b option

(* 示例输入列表 *)
let holder_list : (int, string) holder list = [
  (1, 2, Some "test1");
  (3, 4, None);
  (5, 6, Some "test2")
]

(* fold 实现 *)
let collect_a1 = List.fold_left
  (fun acc current_holder ->
    (* 直接匹配单个holder取出第二个元素 *)
    let (_, a1, _) = current_holder in
    a1 :: acc
  )
  []
  holder_list
(* 输出结果为 [6; 4; 2]，要正序可以后续调用 List.rev 翻转 *)

手写递归fold实现 #

如果你需要自己实现递归fold逻辑，写法如下：

let rec fold_holder f acc = function
  | [] -> acc
  (* 先匹配列表非空结构，再匹配首元素的holder结构 *)
  | (a0, a1, b_opt) :: tl ->
    fold_holder f (f acc a0 a1 b_opt) tl

(* 调用示例，同样收集所有a1元素 *)
let res = fold_holder (fun acc _ a1 _ -> a1 :: acc) [] holder_list

你原有匹配逻辑只需要补充列表的cons结构即可匹配到第一个holder的元素：

match currently_holder with
| [] -> acc
(* 非空分支先匹配首元素+剩余列表的结构，再匹配首元素的holder结构 *)
| (a0, a1, b0) :: tl -> a1 :: acc

如果需要处理整个列表，递归调用处理tl部分即可。

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