如何通过类型构造函数比较相等性的值？

Question

背景

我是 Reason 的相对新手，并且对比较采用参数的变体是多么容易感到惊喜：

type t = Header | Int(int) | String(string) | Ints(list(int)) | Strings(list(string)) | Footer;

比较不同的变体很好且可预测：

/* not equal */
Header == Footer
Int(1) == Footer
Int(1) == Int(2)

/* equal */
Int(1) == Int(1)

这甚至适用于复杂类型：

/* equal */
Strings(["Hello", "World"]) == Strings(["Hello", "World"])

/* not equal */
Strings(["Hello", "World"]) == Strings(["a", "b"])

题

是否可以仅通过我找不到的现有内置运算符/函数或其他一些语言构造来比较类型构造函数？

let a = String("a");
let b = String("b");

/* not equal */
a == b

/* for sake of argument, I want to consider all `String(_)` equal, but how? */

Answer 1

通过检查值的内部表示是可能的，但我不建议这样做，因为它相当脆弱，而且我不确定跨编译器版本和各种后端对诸如此类的内部组件做出了哪些保证。 相反，我建议要么编写手工构建的函数，要么使用一些 ppx 来生成与手工编写的相同类型的代码。

但这并不好玩，所以说了这么多，这应该做你想做的，使用几乎没有记录的Obj模块：

let equal_tag = (a: 'a, b: 'a) => {
  let a = Obj.repr(a);
  let b = Obj.repr(b);

  switch (Obj.is_block(a), Obj.is_block(b)) {
  | (true, true) => Obj.tag(a) == Obj.tag(b)
  | (false, false) => a == b
  | _ => false
  };
};

在哪里

equal_tag(Header, Footer) == false;
equal_tag(Header, Int(1)) == false;
equal_tag(String("a"), String("b")) == true;
equal_tag(Int(0), Int(0)) == true;

要了解此函数的工作原理，您需要了解 OCaml 如何在内部表示值。 这在 OCaml 手册的C 与 OCaml 接口一章中的 OCaml 数据类型的表示部分中进行了描述（并且已经在这里我们看到了这可能不适用于各种 JavaScript 后端的迹象，例如，尽管我相信它确实如此至少现在是这样。我已经用 BuckleScript/rescript 对此进行了测试，并且 js_of_ocaml 倾向于更接近内部结构。）

具体来说，本节对变体的表示进行了以下说明：

type t =
  | A             (* First constant constructor -> integer "Val_int(0)" *)
  | B of string   (* First non-constant constructor -> block with tag 0 *)
  | C             (* Second constant constructor -> integer "Val_int(1)" *)
  | D of bool     (* Second non-constant constructor -> block with tag 1 *)
  | E of t * t    (* Third non-constant constructor -> block with tag 2 *)

也就是说，没有有效载荷的构造函数直接表示为整数，而有有效载荷的构造函数则表示为带有标签的“块”。 还要注意块标签和非块标签是独立的，所以我们不能先从我们然后比较的值中提取一些“通用”标签值。 相反，我们必须检查它们是否都是块，然后比较它们的标签。

最后，请注意，虽然此函数可以接受任何类型的值，但在编写时只考虑了变体。 比较其他类型的值可能会产生意想不到的结果。 这是不使用它的另一个很好的理由。