Ocaml 模式匹配

是否有可能对集合进行模式匹配，就像对列表一样？例如，考虑下面的代码：

module MySet = Set.Make (struct ... end)
match MySet.empty with
| MySet () -> "Empty Set"
| MySet (x) -> "Set with exactly one element"
| MySet (x, y, _) -> "Set with at least two elements"

当然，集合是一种无序的数据类型，因此我不能期望在每次运行中获得与

x

和

y

相同的绑定（虽然可以通过compare函数实现此功能，但对于这个问题，我们保持简单）

我为什么要问这个问题？有时我想检查一个集合是否为空，或者它是否只包含一个元素，然后继续使用这个元素，或者它是否包含两个元素等等

---

我的第一个实现比较了集合的基数，然后选择了一个元素，或者两个元素等等，但这有点麻烦，我希望模式匹配能够产生更可读/可维护的代码。

否。Set的实现是隐藏的，因此您无法直接对值进行模式匹配。您必须使用Set模块中定义的函数来解构它。选中

set.mli

。如果没有关于您的问题的详细信息，我们无法确定您应该使用哪个函数。可能

选择
和
拆分
，或
iter
或
折叠
，或干脆选择
元素

集合需要对元素值进行排序，它被实现为一个二叉树，其中元素按该顺序排序。因此，Set的这些功能对于
equal
集合应始终相同。
感谢您的解释！我曾希望模式匹配能够以某种方式工作，但您完全正确，因为实现是隐藏的，所以我们无法解构集合。