有没有办法打印用户定义的数据类型？

Question

我无法使用 print_endline 因为它需要一个字符串，而且我（认为）没有任何方法将非常简单的用户定义数据类型转换为字符串。如何检查这些数据类型的变量值？

Answer 1

在许多情况下，编写自己的 string_of_ 转换例程并不难。这是一个简单的替代方案，不需要任何额外的库或非标准 OCaml 扩展。对于我教授的使用 OCaml 的课程，这对于学生来说通常是最简单的机制。

（如果支持对字符串的通用转换，那就太好了；也许 OCaml 派生的东西会流行起来。）

Answer 2

基本语言中没有任何内容可以为您执行此操作。有一个名为 OCaml Deriving（以 Haskell 的一项功能命名）的项目，可以自动从类型声明派生打印函数。我没用过，但听起来很棒。

http://code.google.com/p/deriving/

一旦您拥有了以下功能：打印您的类型（无论是否派生），您可以将其安装在 ocaml 顶层。这很方便，因为内置的顶级打印有时并不能完全满足您的要求。为此，请使用 #install-printer 指令，如 OCaml 手册第 9 章。

Answer 3

有第三方库函数，例如 OCaml Batteries Included 或 OCaml Extlib 中的 dump，它们通常会使用它可以获得的所有运行时信息将任何值转换为字符串。但这并不能恢复所有信息；例如，构造函数名称会丢失并变成整数，因此它看起来不会完全符合您想要的方式。您基本上必须编写自己的转换函数，或者使用一些可以为您编写转换函数的工具。

Answer 4

沿着前面的答案，ppx_sexp 是一个 PPX，用于从类型定义生成打印机。下面是一个示例，说明如何在使用 jbuilder 作为构建系统并使用 Base 和 Stdio 作为 stdlib 时使用它。

首先，jbuild 文件指定如何进行构建：

(jbuild_version 1)

(executables
 ((names (w))
  (libraries (base stdio))
  (preprocess (pps (ppx_jane ppx_driver.runner)))
  ))

这是代码。

open Base
open Stdio

type t = { a: int; b: float * float }
[@@deriving sexp]

let () =
  let x = { a = 3; b = (4.5,5.6) } in
  [%sexp (x : t)] |> Sexp.to_string_hum |> print_endline

当您运行它时，您会得到以下输出：

((a 3) (b (4.5 5.6)))

S-表达式转换器存在于整个 Base 和所有相关库（Stdio、Core_kernel、Core、Async、Incremental 等）中，因此您几乎可以依靠能够序列化您在那里遇到的任何数据结构，以及您自己定义的任何数据结构。

Answer 5

也许超出了这个问题的范围，但也可以使用客户格式化程序 格式.printf。考虑一个简单的例子：

module Foo = struct
  type t = Foo of int * int

  let pp ppf (Foo (a, b)) =
    Format.fprintf ppf "(%d, %d)" a b
end

然后我们可以打印一个 Foo.foo 类型的值：

# Format.printf "%a\n" Foo.pp @@ Foo.Foo (27, 42);;
(27, 42)
- : unit = ()

这样做的优点是它可以很容易地用于生成字符串。

# Format.asprintf "%a" Foo.pp @@ Foo.Foo (27, 42);;
- : string = "(27, 42)"