在 OCaml 中即时创建对象

Question

我试图通过使用编译代码而不是顶层代码来学习 OCaml； 然而，网上的大部分示例代码似乎都对后者有吸引力。

我想在下面的对象的方法中创建一个新的 Foo 。 此代码无法编译，因为 doFooProc 定义存在语法错误。

class bar =
object (self)
 method doFooProc = (new Foo "test")#process
end;;

class foo (param1:string)=
object (self)
 method process = Printf.printf "%s\n" "Processing!"
 initializer Printf.printf "Initializing with param = %s\n" param1
end;;

此外，“let”语法在类定义中似乎并不友好。 这是为什么？

class bar =
object (self)
 method doFooProc = 
  let xxx = (new Foo "test");
  xxx#process
end;;

class foo (param1:string)=
object (self)
 method process = Printf.printf "%s\n" "Processing!"
 initializer Printf.printf "Initializing with param = %s\n" param1
end;;

如何在 doFooProc 方法中创建 foo 类的新对象并调用实例化的 foo 的进程命令？

Answer 1

您基本上是正确的，但要么将语法与模块系统混淆，要么考虑其他语言。 接受我的考虑，你应该会好起来的！

我想创建一个新的 Foo
在每个对象的方法内
以下。 这段代码无法编译，
引用语法错误
doFooProc 定义。

小写“foo”表示对象，模块大写。 另外，您必须将 foo 的定义放在调用它的对象之上。 如果发生这种情况，您应该得到一个Unbound class foo。

class bar =
object (self)
 method doFooProc = (new foo "test")#process
end;;

此外，“let”语法在类定义中似乎不太友好。 这是为什么？

因为您没有匹配的 in，而是有一个分号。 然后它就会起作用。 另外，您可以删除那些多余的括号，但这并不重要。

class bar =
object (self)
 method doFooProc = 
  let xxx = (new Foo "test") in
  xxx#process
end;;

如果，比如说，实例化了 foo 中的一个方法
还有酒吧，有什么办法吗
逃避出现的问题
对其中的类定义进行排序
源文件？

是的。 这就像编写相互递归的函数和模块一样，用 and 关键字将它们连接起来。

class bar =
  object (self)
    method doFooProc = (new foo "test")#process
  end

and foo (param1:string) = 
  object (self)
    method process = Printf.printf "%s\n" "Processing!"
    initializer Printf.printf "Initializing with param = %s\n" param1
  end

Answer 2

对于两个相互递归的类，使用 and 关键字

class bar =
  object (self)
    method doFooProc = 
      let xxx = (new foo "test") in
      xxx#process
  end
and foo (param1:string)=
  object (self)
    method process = Printf.printf "%s\n" "Processing!"
    initializer Printf.printf "Initializing with param = %s\n" param1
    method bar = new bar
  end;;`