在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的值。