ocaml - OCaml 函数中的新构造函数

Question

编写此函数时:

let make_new_instance class_name = new class_name

我收到错误“unbound class class_name”，但是，这只是一个函数定义，而不是函数调用。如何延迟“new”，以便在调用函数之前它不会尝试构造对象？

Answer 1

您无法在 OCaml 中执行此操作，它是一种静态类型语言。类必须在 new 处静态指定并且不能用作函数应用程序的参数。 ( new 甚至不是一个函数，而是一种特殊形式 new <classname> 。)

参数化类的一种方法是使用仿函数:

module A = struct
  class c = object
    method x = 1
  end
end

module Make(A : sig class c : object method x : int end end) = struct
  let make_new_instance () = new A.c
end

module MakeA = Make(A)

但恐怕这远不是你想要的。