不清楚OCaml参数的默认值

Question

我有点不清楚OCaml中此函数定义中var_c的确切值。是否为var_c分配了函数结果的默认值？或者默认值为Enum.peek var_c到var_c？

let rec read var_a ?(var_b = var_a) var_c = match Enum.peek var_c with
    None -> None
    ...

感谢您的帮助。

Answer 1

var_c在您发布的代码段中没有默认值。它不是可选的，必须作为参数给出。 var_b确实有默认值（即var_a的值）。

match Enum.peek var_c with ...将是该函数的结果。它不是任何东西的默认值。