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