您无法在F＃中实现通用接口的多个实例。在我的情况下，这实在太可惜了，因为我计划实现一个称为ICastableTo 的接口，该接口可用于模式匹配：
type ICastableTo<'T> =
/// <summary>
/// Returns a casted version of the object
/// </summary>
member this.Value : 'T
...
(*x:obj*)
match x with
| :? ICastableTo<SomeType> as x -> doSomethingWith(x.Value)
| _ -> invalidOp("can't cast like that")
但是，当我尝试实际使用它时，由于无法实现ICastableTo接口的多个版本（请参见Implementing the same interface at different generic instantiations），我遇到了一个问题，但是我的某些类实际上可转换为多个类型。
我在这里最好的选择是什么？我当然可以定义一个ICastable接口并使用一个“ PossibleCasts”属性，该属性将公开所有可用的强制转换委托，但它不是非常漂亮，并且不能很好地继承。
这是我的代码：
type BindableFunction<'T,'V>(func : 'T -> 'V) =
member val Parent : 'T = nothing with get, set
interface Specializable with
member SpecializeFor(x: obj) =
match x with | :? ICastable<'T> as x -> Parent <- x.Value | _ -> invalidOp("")
然后我有我的可塑班。例如，我有一个TCell类，该类具有对Cell（组成）的引用，因此可以将其强制转换为Cell以实现功能绑定，即使这两种类型之间没有继承链接。
我认为我最终要做的是生成非匹配的“ match x with | ICastable ”（aka，我将使用ICastableOf_Cell并使用Reflection找到好的接口（按名称获取类型），然后使用Reflection.Emit生成代码。
另一种选择是为BindableFunction提供两种泛型类型，一种为值类型，另一种为ICastableOf_Cell，这可能是一个更好的主意，但会使我的代码在各个地方更加冗长。
最佳答案
最后，我采用以下方法：
type BindableFunction<'T,'V>(convert: obj -> 'T, func : 'T -> 'V) =
member val Parent : 'T = nothing with get, set
interface Specializable with
member SpecializeFor(x: obj) =
match x with
| :? 'T as x -> (Parent <- x)
| _ -> (Parent <- convert(x))
这使我可以为每种类型使用唯一的接口，因此不使用通用的接口。
let CastToCell = ref(fun(o:obj) -> match o with | :? ICellScope as o -> o.ICell.Cell | _ -> invalidOp("invalid scope conversion"))
最后：
new BindableFunction<Cell,_>(!CastToCell,...)