OCaml如何将自定义类型t转换为int？解决Unbound value int错误

OCaml没有内置的int()转换函数，你遇到的“Unbound value int”错误就是因为调用了不存在的函数。要将自定义类型t转换为int，需要通过模式匹配提取类型内部包裹的整数值，同时修正代码里的几个基础错误：

问题代码里的核心错误 #

1. 类型t的构造函数是Num（或你注释里建议的Num2），而非类型名t，所以intp函数的Num n分支不能写t(n)，必须用构造函数包装值。
2. 类型e和t都使用Num作为构造函数，容易造成混淆，建议按注释改成Num2区分。

修正后的完整代码 #

(* 重命名t的构造函数为Num2，避免与e类型的Num冲突 *)
type t = Num2 of int

type e = Num of int
| Add of e * e

(* 自定义函数：将t类型转换为int *)
let t_to_int = function
  | Num2 n -> n

let rec intp e : t =
  | Num n -> Num2 n  (* 用t的构造函数包装原始整数 *)
  | Add (e1, e2) ->
      (* 先将两个子表达式的结果转为int，相加后再包装回t类型 *)
      let val1 = t_to_int (intp e1)
      and val2 = t_to_int (intp e2) in
      Num2 (val1 + val2)

简化写法（无需单独转换函数） #

如果不想额外写t_to_int，可以在Add分支直接通过模式匹配提取值：

let rec intp e : t =
  | Num n -> Num2 n
  | Add (e1, e2) ->
      match intp e1, intp e2 with
      | Num2 v1, Num2 v2 -> Num2 (v1 + v2)

关键逻辑说明 #

• 自定义类型的转换本质是拆解构造函数：通过模式匹配Num2 n，直接取出类型内部的整数n，这就是t转int的核心操作。
• 加法操作需要先把两个t类型的值都转成int，相加后再用Num2构造函数包装回t类型，保证函数返回值符合t的类型声明。

内容的提问来源于stack exchange，提问作者newb hi