ocaml中的匹配是否会调用构造函数？

Question

假设我用这种方式在OCaml中定义一个类型:

type 'a foo = My_none | Bar of 'a;;

制作时

let a = Bar 4;;

该Bar构造被"叫".

在下面的函数中,匹配是否调用构造函数,或者只是"识别"模式而不调用构造函数？

let get_bar x = match x with
     | My_none -> failwith "None"
     | Bar z -> z;;

Answer 1

匹配是否调用构造函数,或者只是"识别"模式而不调用构造函数？

后者.匹配Bar z不会创建新Bar值.它只是检查是否x是一个Bar值.