OCaml中构造器模式匹配式let绑定的工作原理咨询

这种写法是OCaml里模式匹配式let绑定的用法，本质是用模式直接解构表达式的结果，而非仅绑定单个变量，下面是具体的工作逻辑和通用场景：

核心工作流程 #

1. 执行右侧表达式：先计算=右边的代码，得到一个具体的值（比如你代码里num 1会返回Cons(1, fun () -> num 2)）。
2. 模式匹配与绑定：用=左侧的模式（比如Cons (cur, rest_l)）去匹配右侧的结果：
   • 匹配成功时，模式里的变量会被依次绑定到对应位置的值：cur绑定到构造器里的第一个元素1，rest_l绑定到那个返回下一个无限列表的函数。
   • 若右侧结果和左侧模式不匹配，OCaml会直接抛出运行时错误（比如如果右侧返回的是其他构造器实例）。

通用适用场景 #

这种模式解构的写法覆盖所有支持模式匹配的OCaml类型：

• 元组解构：let (a, b) = (1, "hello")，将1绑定给a，"hello"绑定给b。
• 列表解构：let hd :: tl = [1;2;3]，将列表首元素1绑定给hd，剩余子列表[2;3]绑定给tl。
• 记录解构：假设定义type person = {name: string; age: int}，可以写let {name; age} = {name="Alice"; age=25}，直接把name和age字段绑定到同名变量。

你的代码示例拆解 #

修正代码里的小笔误（integers应为num）后，实际执行逻辑如下：

type 'a inf_list = Cons of 'a * (unit -> inf_list);; 

(* 从n开始的无限列表生成函数 *)
let rec num n = Cons (n, fun () -> num (n+1));; 

(* 解构num 1返回的Cons结构 *)
let Cons (cur, rest_l) = num 1;; 
let x = cur;; (* x的值为1 *)
let y = (rest_l());; (* y是Cons(2, fun () -> num 3) *)

执行let Cons (cur, rest_l) = num 1时，num 1生成的无限列表实例和左侧模式完全匹配，因此cur和rest_l分别拿到对应的值，后续就能通过rest_l()获取下一个元素的结构。

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