f# - 如何在 F# 中声明返回满足多个约束的类型的泛型函数？

Question

我想写的:

type A() =
    interface IX with ...
    interface IY with ...

type B() =
    interface IX with ...
    interface IY with ...

let mk t : 'T when 'T :> IX and 'T :> IY =
    match t with
    | Choice1 -> new A()
    | Choice2 -> new B()

注意 mk 的返回类型的类型约束。虽然它没有编译，但编译器提示它不能将 A 和 B 转换为 'T。

Answer 1

约束没问题，但问题是没有类型可以满足约束，并且这将是 A 的父类(super class)型。和 B .
match构造需要从两个分支返回相同的类型，因此您需要将向上转换 ( :> ) 添加到某种类型，以便转换适用于两个分支。类型可以是 IX或 IY ，但这不会满足约束。

仅当 .NET 允许您编写类似 IX+IY 的内容时，这才有可能。这意味着实现两个接口(interface)的类型。然后你也可以使用这种类型的值，例如:

let (a:IX+IY) = new A()  // This isn't supported

我认为最好的解决方案是简单地返回一个元组 IX * IY包含两次相同的实例，但表示为不同的类型。在这里，您编写的约束可能非常有用:

// Type: 'a -> IX * IY when 'a :> IX and 'a :> IY
let asTuple a = (a :> IX, a :> IY)

let mk t = 
  match t with 
  | Choice1Of2() -> new A() |> asTuple
  | Choice2Of2() -> new B() |> asTuple