如何检查是否使用相同的构造函数创建了两个值？

Question

让我说我有

type t = A of int | B of int

let xx = A(2);;
let yy = A(3);;

我想测试xx和yy的构造函数是否相等,有没有一种简单的方法可以做到这一点？而不是必须

match xx with
  A _ ->
  (match yy with A _ -> true | B _ -> false)
| B _ -> 
  (match yy with A _ -> false | B _ -> true);;

当一个类型上有许多构造函数时会变得非常混乱

Answer 1

你可以重写上面的内容,有点简单:

match xx, yy with
| A _, A _
| B _, B _ -> true
| (A _ | B _), _ -> false

但是我不知道没有列举所有构造函数的解决方案.

Answer 2

这是可能的,通过Obj模块.通过Obj函数分析对象,如果操作正确,不会导致程序崩溃; 但如果你想获得有意义的结果,你需要小心.

let equal_constructors (x : 'a) (y : 'a) =
  let r = Obj.repr x and s = Obj.repr y in
  if Obj.is_int r && Obj.is_int s then (Obj.obj r : int) = (Obj.obj s : int) else
  if Obj.is_block r && Obj.is_block s then Obj.tag r = Obj.tag s else
  false

当调用变量类型的值(不是多态变体类型)时,true如果两个值都具有相同的零参数构造函数或者两者都具有相同的1或更多参数构造函数,则此函数返回,false否则返回.类型系统不会阻止你equal_constructors在其他类型实例化; 你会得到一个true或false返回值,但不一定是有意义的.