OCaml模式匹配与嵌套模式匹配的变量绑定规则及语法疑问

OCaml 的模式匹配本质是结构化解构+自动变量绑定，不需要额外写取值函数就能直接提取复合类型里的字段/元素，你提到的两个疑问本质都是对这个特性不熟悉导致的，具体解释如下： #

针对两个疑问的回应 #

疑问a：(x_ll, y_ll)看起来没有被赋值给任何变量 #

这个认知是错误的。
OCaml 中let关键字后可以跟任意合法的模式，而不只是单个变量名。第一个函数里的let (x_ll, y_ll) = lower_left本身就是赋值操作：

• 等号右侧的lower_left是point类型的二元组
• 等号左侧的(x_ll, y_ll)是元组模式，和lower_left的结构完全匹配
• 这行代码执行后，x_ll就被绑定为元组的第一个元素，y_ll被绑定为元组的第二个元素
  你没有给整个元组绑定变量，只是因为这段逻辑不需要用到完整的元组，如果需要的话可以写成let ((x_ll, y_ll) as full_ll) = lower_left，此时full_ll就是完整的lower_left元组。

疑问b：不需要写提取函数就能直接用元组内的值 #

这就是OCaml模式匹配的原生特性，模式匹配本身就承担了值提取的功能，不需要手动实现类似let x_ll (a, b) = a的getter函数。
你写的第二个center函数更是把嵌套解构做到了match分支的模式里：

| Rectangle {lower_left = (x_l, y_l); upper_right = (x_r, y_r)} -> 

这行代码在匹配到Rectangle类型的同时，直接把lower_left字段的元组解构成x_l、y_l，upper_right字段的元组解构成x_r、y_r，后续代码直接用这四个变量即可，连后续的let解构步骤都省了。 #

简单示例验证 #

你可以自己试下这段代码，运行结果是3.：

let p = (1., 2.) in
let (a, b) = p in
a +. b

和你手动写提取函数的效果完全一致，但写法简洁很多：

let get_fst (a, _) = a in
let get_snd (_, b) = b in
let p = (1., 2.) in
(get_fst p) +. (get_snd p)

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