OCaml生成随机整数列表代码问题：返回空列表及Random.self_init崩溃

第一段代码返回空列表的原因 #

你这段代码的核心问题出在模式匹配的变量绑定逻辑上：

let randlist dolzina maksimum =
  let rec aux dolz maks acc =
    match (List.length acc) with
    | dolz -> acc  // 这里的dolz是新绑定的变量，不是参数里的dolz
    | _ -> aux dolz maks ((Random.int maks) :: acc)
  in
  aux dolzina maksimum []

OCaml模式匹配里的标识符（比如这里的dolz）是用来绑定新值的，不是做相等判断。也就是说，不管List.length acc返回什么值，都会匹配第一个分支| dolz -> acc，直接返回初始的空列表[]，根本不会进入递归逻辑。

修复方案 #

推荐用剩余长度计数器代替每次计算列表长度（List.length会遍历整个列表，效率低），改写后的代码：

let randlist dolzina maksimum =
  let rec aux remaining maks acc =
    match remaining with
    | 0 -> acc
    | n -> aux (n - 1) maks ((Random.int maks) :: acc)
  in
  aux dolzina maksimum []

或者保留原逻辑但用模式匹配守卫（when）做判断：

let randlist dolzina maksimum =
  let rec aux dolz maks acc =
    match List.length acc with
    | len when len = dolz -> acc
    | _ -> aux dolz maks ((Random.int maks) :: acc)
  in
  aux dolzina maksimum []

第二段代码崩溃的原因 #

这段代码是语法错误导致崩溃：

let randlist dolzina maksimum =
  Random.self_init ()
  let rec aux dolz maks acc = ...  // 这里缺少分号或者in，语法不合法
  in
  aux dolzina maksimum []

OCaml函数体里如果有多个表达式，需要用分号;分隔。正确写法应该是：

let randlist dolzina maksimum =
  Random.self_init ();
  let rec aux remaining maks acc =
    match remaining with
    | 0 -> acc
    | n -> aux (n - 1) maks ((Random.int maks) :: acc)
  in
  aux dolzina maksimum []

不过这里不建议在函数里每次调用都初始化随机数生成器，原因看下面的说明。

Random.self_init的作用、时机与正确用法 #

• 作用：用系统当前时间作为种子，初始化OCaml的随机数生成器。如果不调用它，随机数生成器会使用默认固定种子，每次运行程序生成的随机数序列完全相同。
• 使用时机：全局初始化一次即可，不要在函数内部反复调用。如果每次调用randlist都初始化，会导致随机数生成器被频繁重置，生成的随机数可能重复、随机性变差，甚至在短时间内多次调用时，因为系统时间变化极小，种子几乎一样，生成的序列几乎相同。
• 正确用法：一般在程序的入口处（比如main函数开头）调用一次，示例：

let () =
  Random.self_init ();  // 全局初始化一次
  let my_rand_list = randlist 10 100 in
  List.iter print_int my_rand_list

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