抽象类型定义f＃

Question

我正在尝试在接口或抽象类中定义几种类型，而实现的方式尚未指定。 然后，我想从另一个接口继承，以便我可以在interface2中使用在第一个接口中定义的类型指定我的方法。

例如：

type Interface1 =
      type MyType1
      type MyType2

type Interface2 =
      inherit Interface1
      abstract member method1 : MyType1*MyType2 -> int


Module MyModule =

这个想法是我希望模块然后实现interface2，因此它应该实现MyType1和MyType2，以及method1。

我没有在签名文件中完成所有这些操作的原因是因为我也希望能够在c＃中实现type1和2，但要实现Interface1。

谁能帮我这个？

Answer 1

我认为您真正想要的是使用泛型：

type Interface2<'T1,'T2> =
      abstract member method1 : 'T1*'T2 -> int

您在这里根本不需要Interface1 。 然后，如果在C＃中实现Type1和Type2 （或者在F＃中实现），则C＃类可以从Interface2<Type1,Type2>继承Interface2<Type1,Type2> 。

编辑：如果我正确理解了您的评论，则要对'T1和'T2设置一些约束，以使它们实现特定的接口。 所有这些的通用名称（ 'T1 ， Type1等）开始让我感到困惑，因此我将使用特定名称作为示例。 假设您有一个通用的IKeyboard接口和一个通用的IMouse接口，并且希望库的用户为您的方法实现特定的键盘和鼠标类。 换句话说，上面的'T1类型必须从IKeyboard派生，而上面的'T2类型必须从IMouse派生。 在这种情况下，您要寻找的是类型约束 ：

type IKeyboard = class end
type IMouse = class end

type IInputDevices =
    abstract member getInput<'K,'M when 'K :> IKeyboard and 'M :> IMouse> : 'K*'M -> int