我是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? */
可以通过检查值的内部表示形式来实现,但是我不建议这样做,因为它相当脆弱,而且我不确定跨这些内部版本的编译器版本和各种后端会做出什么保证。相反,我建议您要么编写手工构建的函数,要么使用一些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后端,但在这里我们已经看到一些迹象表明这可能并不适用于各种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 *)
也就是说,没有有效负载的构造函数直接表示为整数,而具有有效负载的构造函数则表示为带有标签的“块”。还要注意,块标记和非块标记是独立的,因此我们不能首先从比较的值中提取一些“通用”标记值。相反,我们必须检查它们是否都是块,然后比较它们的标签。
最后,请注意,尽管此函数将接受任何类型的值,但在编写时仅考虑了变体。比较其他类型的值可能会产生意外的结果。这是不使用它的另一个很好的理由。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句