OCaml是否支持for-each循环？如何用其遍历列表打印整数

OCaml标准语法里并没有你假设的for i in digits do ... end这种直接遍历列表的for-each循环结构，但可以通过几种方式实现类似的命令式遍历效果：

1. 封装递归函数模拟for-each #

你可以自己定义一个简单的递归函数，实现遍历列表并执行命令式操作的逻辑：

let rec for_each f lst =
  match lst with
  | [] -> ()
  | x::xs -> f x; for_each f xs

调用时直接传入操作函数和目标列表，写法接近命令式风格：

for_each (fun i -> print_int i; print_newline ()) digits

2. 用while循环配合可变引用 #

如果更偏向纯命令式写法，可以借助可变引用和while循环来遍历列表：

let lst_ref = ref digits in
while !lst_ref <> [] do
  let i = List.hd !lst_ref in
  print_int i;
  print_newline ();
  lst_ref := List.tl !lst_ref
done

不过这种方式需要使用可变状态，且List.hd和List.tl在空列表时会抛出异常，实际使用时要确保列表非空，或者添加异常处理。

3. 简化List.iter的调用方式 #

其实List.iter本身就是OCaml中处理列表命令式操作的惯用工具，如果你觉得管道写法不符合习惯，可以直接写成普通函数调用形式，不需要管道：

List.iter (fun i -> print_int i; print_newline ()) digits

这种写法同样把命令式逻辑放在管道之外，也是OCaml社区的常见写法。

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