class - 类方法的可见细化

Question

考虑以下小的 ocaml 类层次结构:

class x = object method i = 0 end ;;
class y = object method x = new x end ;;
class x2 = object method i = 0 method j = 1 end ;;
class z = object method x = new x2 inherit y end;; (* type error *)

我要实现的是细化领域 x的 class z w.r.t. class y并在 z 类型处看到这种细化，即

class z = object method x = (new x2 :> x) inherit y end;; 
(new z)#x#j;; (* type error *)

是 不是 我想要达到的目标。

我非常有信心有一种方法可以说服类型检查器改进的兼容性，但是如何呢？

Answer 1

看起来直接做这个很难:如果你尝试放宽method x的类型在 y使用类型参数，

class ['a] y = object
  constraint 'a = #x
  method x = new x
end

您可以看到类型检查器强制 'a正好 x而不是任何子类型 #x的 x :

class ['a] y = object
  constraint 'a = x
  method x = new x
end

因此，这将排除任何重新定义 method x 的尝试。与另一种类型。但是，可以定义需要类型为 #x 的对象的类。作为参数，并导出原始 class y和 class z从他们:

class x = object method i = 0 end ;;

class ['a] y_gen (x:'a) = object
  constraint 'a = #x
  method x = x end
;;

class y = object inherit [x] y_gen (new x) end

class x2 = object method i = 0 method j = 1 end ;;

class ['a] z_gen (x:'a) = object
  constraint 'a = #x2
  inherit ['a] y_gen x
  method! x = x 
end;;

class z = object inherit [x2] z_gen (new x2) end

此外， z确实是 y 的子类型，即以下内容已正确类型检查:

let my_z = new z
let my_y = (my_z :> y)