скажем, у меня есть
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);;
что становится довольно грязным, когда в типе много конструкторов
Вы можете переписать приведенное выше, несколько проще:
match xx, yy with
| A _, A _
| B _, B _ -> true
| (A _ | B _), _ -> false
но я не знаю решения без перечисления всех конструкторов.
Это возможно, вроде, через модуль 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, но не обязательно осмысленное.
Другой способ сделать это, который может хорошо работать, — это создать другой тип, соответствующий тегам, и использовать этот тип.
type t = A of int | B of int
module Tag = struct type t = A | B end
let to_tag = function A _ -> Tag.A | B _ -> Tag.B
let tags_are_equal x y =
to_tag x = to_tag y
_,_и лучше использовать(A _ | B _ ), _. Таким образом, если конструктор изменится, компилятор может помочь вам найти ошибки. Обсуждается это, stackoverflow.com /вопросы/4346901/ 29.06.2011