Ocaml 模式匹配

Question

我对 OCaml 和模式匹配很陌生，所以我很难弄清楚这一点。

假设我有一个元组列表。 我想要做的是根据元组中的第一个元素将参数与其中一个元组进行匹配，在这样做时，我想返回元组的第二个元素。 例如，我想做这样的事情：

let list = [ "a", 1; "b", 2; "c", 3; "d", 4 ] ;;
let map_left_to_right e rules = match e with 
    | first -> second 
    | first -> second 
    | first -> second

如果我使用 map_left_to_right "b" 列表，我想得到 2 作为回报。 因此，我想列出规则列表中的所有第一个元素，并将参数与这些元素之一匹配，但我不知道该怎么做。 我在想我需要使用 List.iter 或 List.for_all 来做这样的事情。 任何帮助将不胜感激。 谢谢！

Answer 1

模式匹配适用于您想要匹配固定模式列表的情况。 在您目前的情况下，惯用的做法是List.assoc ：

let map_left_to_right e rules default = 
  try List.assoc e rules with Not_found -> default

当找不到元素时，您需要提供默认值。 这里， map_left_to_right "b" list 0将按预期返回 2，而map_left_to_right "z" list 0将返回 0。

Answer 2

匹配只匹配固定模式，而不是变量。 在这种情况下，匹配的适当使用如下所示：（注意包含“默认”，就像在其他答案中一样）

let list = [ "a", 1; "b", 2; "c", 3; "d", 4 ]
let rec map_left_to_right e rules default = match rules with 
    [] -> default (* No rules left to match *)
  | (first,second)::rest -> (* At least one rule remaining, which we'll put into first,second *)
      if first = e
      then second
      else map_left_to_right e rest default

如果我们想在没有找到任何东西的情况下返回 0，那么这将被调用如下：

map_left_to_right "b" list 0

所有这些在功能上等同于另一个答案中的代码，实际上我建议使用该代码，因为它更小并且可以更好地利用现有库，但我认为我会给出此代码，因为它更好地说明了模式匹配的方式在这种情况下实际上将被应用。