如何使用模式匹配检测 Ocaml 中的交换模式？

Question

我需要检测我的函数之一中的交换模式。我认为编写以下内容可以完成工作：

let my_fun a b = match a,b with
  (*...*)
  | a,b
  | b,a when is_valid b -> process b  (***)
  (*...*)

这不起作用，Ocaml 抱怨 this sub-pattern isused 对标有 (***) 的行发出警告。

1）有人可以向我解释这个警告的意思以及为什么这不起作用吗？

2) 鉴于我现在想要哪个参数 is_valid，我如何才能在不使用 if then else 的情况下优雅地编写此代码？

2) 是仅使用模式匹配即可获得预期功能，并且无需重复 when is_valid b ->;进程 b 如下所示？

let my_fun a b = match a,b with
  (*...*)
  | a,b when is_valid b -> process b
  | b,a when is_valid b -> process b 
  (*...*)

编辑：

在我的具体示例中，a 和 b 是成对的。该函数有点复杂，但下面将说明这种情况：

let f a b = match a,b with
  | (a1,a2),(b1,b2)
  | (b1,b2),(a1,a2) when b1 = b2 -> a1 + a2

调用 f (1,1) (1,2) 将导致模式匹配失败。我知道为什么（感谢下面的答案），并且我知道如果每个元素都有不同的构造函数（如 Ashish Agarwal 的答案），我如何才能使其工作。您能建议一种方法使其在我的情况下发挥作用吗？

Answer 1

匹配的工作原理是首先匹配模式，如果成功，则通过该模式匹配的附加环境评估条件。由于 a,b 将始终绑定，因此这是唯一使用的情况，并且编译器正确报告 b,a 从未使用过。您必须重复这一行，

let my_fun a b = match a,b with
  | a,b when is_valid b -> process b
  | b,a when is_valid b -> process b

如果您没有执行与变量的匹配，而是对某些变体进行匹配，您的方法可能会起作用，例如，

let my_fun a b = match a,b with
  | a, `Int b
  | `Int b, a when is_valid b -> process b

编辑：将使用一个守卫的多个模式视为一种子表达式，

let my_fun a b = match a,b with
  | ((a,b) | (b,a)) when is_valid b -> process b

您将在 模式 的定义中看到这一点。它实际上是一种模式，由多个模式组成，相互匹配。

Answer 2

对于你的第一个问题，要认识到你只有一个模式 ((a,b) | (b,a))，它恰好是一个“或”模式。匹配以“或”模式从左到右进行。由于 (a,b) 将匹配任何内容，因此第二部分将永远不会被使用。

对于你的第二个问题，我没有看到问题，但这取决于 a 和 b 的类型。这是一个示例：

type t = A of int | B of float

let my_fun a b = match a,b with
  | A a, B b
  | B b, A a when b > 0. ->  (float_of_int a) +. b
  | … -> (* other cases *)

它也适用于更简单的类型：

let my_fun a b = match a,b with
  | 1,b
  | b,1 when b > 0 -> b + 1
  | … -> (* other cases *)

如果您仍然无法使其在您的情况下工作，请告诉我们您的 a 和 b 类型正在与.