OCaml代码示例中惰性求值的工作机制是什么？

OCaml 默认采用**严格求值（按值调用）**策略，不存在默认的惰性求值逻辑，你观察到的打印次数差异，本质是let绑定、函数调用的求值规则差异导致的。

第一段代码仅打印一次foo的原因 #

对应代码：

let x = print_endline "foo" in x,x;;

OCaml 中普通let值绑定的求值顺序是固定的：

• 优先对等号=右侧的表达式做完整求值，执行过程中产生的所有副作用（比如打印、修改可变变量）会在这一步全部触发
• 等右侧表达式算出最终的具体值后，把这个值和标识符x绑定，后续所有引用x的位置，都直接使用这个已经算好的现成值，不会重复执行右侧的计算逻辑。

在这段代码里，等号右侧是print_endline "foo"：

• 求值这个表达式时会直接触发打印副作用，输出一次foo，随后返回unit类型的唯一值()
• 绑定完成后x就只是一个固定的()值，后续构造元组x,x时，只是把两个已经存在的()组合成元组，没有任何新的计算触发，自然不会再打印。
  这段代码最终得到类型为unit * unit的元组((), ())，完全符合类型规则。

第二段代码打印两次foo的原因 #

对应代码：

let x () = print_endline "foo" in x(),x();;

这里的let x () = ...不是普通的值绑定，是函数定义：x是一个接收unit类型参数的函数，函数体为print_endline "foo"。
OCaml 中函数的求值规则和普通值完全不同：

• 定义函数的阶段，只会把函数本身包装成一个函数值绑定给标识符，绝对不会执行函数体内的任何代码，所以定义x的时候不会产生任何打印
• 只有实际调用函数、传入参数的时候，才会执行一次函数体内的逻辑，触发对应的副作用，得到返回值。

在这段代码里，构造元组时我们写了两次x()，也就是主动调用了两次x函数：

• 第一次调用x()：执行函数体，打印一次foo，返回()
• 第二次调用x()：再次完整执行函数体，再打印一次foo，返回第二个()
  最终同样得到类型为unit * unit的元组，但是因为触发了两次函数执行，所以会打印两次foo。

关于惰性求值的澄清 #

这个现象和语言默认的惰性求值逻辑无关，需要明确两个点：

• 惰性求值的核心特征是：表达式仅在其结果被实际需要时才求值，且只求值一次，求值结果会被缓存，后续访问直接复用缓存值。OCaml 本身是严格求值语言，只有你显式使用lazy关键字或Lazy模块时，才会获得惰性求值的行为，比如下面的代码就算多次强制求值，也只会打印一次foo：

  let lazy_val = lazy (print_endline "foo"; ()) in
  Lazy.force lazy_val;
  Lazy.force lazy_val;;
  

• 第二段代码里用函数封装计算的写法，本质是手动把计算逻辑延迟到调用时执行，但每次调用都会重新执行一遍计算，不会缓存结果，不属于语言层面的惰性求值，只是一种手动实现延迟计算的技巧。

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