OCaml如何依据文本表示对多态变体进行排序？

在OCaml里，默认的多态变体比较可不是按你看到的文本标签来排序的哦——它是基于底层运行时的整数编码来做比较的，这和我们直观想要的按文本字母顺序排序完全不是一回事。

先说说默认比较的问题 #

根据《Real World OCaml》的内容，无参数的多态变体在运行时是作为未装箱的整数存储的，这个整数值是通过对变体的文本标签做哈希得到的。哈希值的顺序和文本的字母顺序没有直接关联，比如 Apple和 Banana的哈希值大小完全由哈希函数决定，所以直接用List.sort compare得到的结果肯定不符合文本排序的预期。

实现按文本表示排序的两种方法 #

方法一：手动绑定变体与文本映射（最稳妥）

你可以写一个函数，把每个多态变体转换成对应的字符串，然后基于字符串的比较逻辑来排序。这种方法最直观，也最不容易出问题，适合变体数量不多的场景。

举个例子：

(* 定义一个多态变体类型 *)
type fruit = [ `Apple | `Banana | `Cherry | `Date ]

(* 把变体映射到对应的文本字符串 *)
let variant_to_text = function
  | `Apple -> "Apple"
  | `Banana -> "Banana"
  | `Cherry -> "Cherry"
  | `Date -> "Date"

(* 按文本顺序排序的函数 *)
let sort_by_text lst =
  List.sort (fun a b -> String.compare (variant_to_text a) (variant_to_text b)) lst

(* 测试一下 *)
sort_by_text [ `Date; `Apple; `Banana; `Cherry ];;
(* 输出: [ `Apple; `Banana; `Cherry; `Date ]，符合文本顺序 *)

方法二：借助反射自动提取文本（适合多变体场景）

如果你的多态变体数量特别多，手动写映射函数太麻烦，可以借助OCaml的反射机制来自动提取变体的文本标签。这里可以用Printexc模块的打印功能，不过要注意处理输出的格式（比如去掉开头的`符号）：

let generic_variant_to_text v =
  let raw_str = Printexc.to_string (Obj.repr v) in
  (* 去掉字符串开头的`字符 *)
  String.sub raw_str 1 (String.length raw_str - 1)

(* 测试通用函数 *)
generic_variant_to_text `Apple;; (* 返回 "Apple" *)
generic_variant_to_text `Banana;; (* 返回 "Banana" *)

(* 通用排序函数 *)
let generic_sort_by_text lst =
  List.sort (fun a b -> String.compare (generic_variant_to_text a) (generic_variant_to_text b)) lst

不过这个方法有个小缺点：它依赖Printexc的输出格式，如果OCaml版本更新改变了这个格式，代码可能就失效了。另外，带参数的多态变体不能用这个方法，因为Printexc的输出会包含参数信息，没法直接提取出纯净的文本标签。

总结 #

如果是简单的无参数多态变体，要么手动写映射函数（稳妥），要么用反射自动提取（高效），核心都是把变体转换成文本字符串，再用字符串的比较逻辑来实现按文本排序的需求。

内容的提问来源于stack exchange，提问作者Greg Nisbet