OCaml 中的中介者设计模式

Question

我试图在 OCaml 中实现两个类之间的相互绑定（中介模式），但在编译时出现错误。

class virtual ['mediator] colleague mIn = object 
 val m = mIn
 method virtual getmediator : 'mediator
end;;

class concreteColleague mIn = object inherit colleague 
 method getmediator = m
end;;

(* Some other classes here *)

class mediator = object (self)
 val mutable myColleague = (None:colleague option)
 initializer 
  myColleague <- Some (new concreteColleague self)
end;;

错误：类构造函数同事需要 1 个类型参数，但此处应用于 0 个类型参数。

我不能说我对类定义中的 ['foo] 语法非常熟悉，但已经诉诸它（但没有效果）试图让中介者保留对所有同事和每个同事的引用其各自的中介者，同时还试图克服源代码中类定义的重要性。 我该如何让同事保留对他们的调解员的参考？

Answer 1

我修复了所有编译问题。 当您从同事那里继承时，您需要提供其类型参数。 因此，我相信creteColleague也需要一个类型参数。 另外，您忘记将构造函数参数 mIn 传递给继承的类。 我使用对象的类型为 myColleague 的类型保护添加了一个类型参数。

class virtual ['mediator] colleague mIn = object 
 val m = mIn
 method virtual getmediator : 'mediator
end;;

class ['mediator] concreteColleague mIn =
 object inherit ['mediator] colleague mIn
 method getmediator = m
end;;

(* Some other classes here *)

class mediator = object (self : 'self)
 val mutable myColleague = (None:'self colleague option)
 initializer 
  myColleague <- Some (new concreteColleague self)
end;;

但是，我对中介者模式不熟悉，因此我不确定实现中介者模式的正确方法是什么。 您确定需要对象和虚拟类之类的东西吗？