不清楚OCaml参数的默认值

Question

我有点不清楚var_cOCaml中这个函数定义的确切价值.是否分配var_c了函数结果的默认值？或Enum.peek var_cvar_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 ...将是该功能的结果.它不是任何东西的默认值.