f# - OR 模式匹配

Question

我正在尝试使用 OR 模式，如 here 所述:

let foo = function
    | Some (0, x) when x > 0 | None -> "bar"
    | _ -> "baz"

但是，这会导致编译器错误:

error FS0010: Unexpected symbol '|' in pattern matching. Expected '->' or other token.

我究竟做错了什么？和 when有关系吗？ guard ？

Answer 1

A when守卫指的是单个案例，无论组合了多少模式。需要分开的案例:

let foo = function
  | Some (0, x) when x > 0 -> "bar"
  | None -> "bar"
  | _ -> "baz"

出于这个原因，最好将返回值分解出来，因此不会重复可能复杂的表达式:

let foo value =
  let ret = "bar"
  match value with
  | Some (0, x) when x > 0 -> ret
  | None -> ret
  | _ -> "baz"

使用事件模式是避免此类重复的另一种方法:

let (|Bar|_|) = function
  | Some(0, x) when x > 0 -> Some()
  | None -> Some()
  | _ -> None

let foo = function
  | Bar -> "bar"
  | _ -> "baz"