在不同的泛型实例中实现相同的接口

Question

在 C# 中，我可以在一个类上实现一个通用接口两次，使用两个不同的类型参数：

interface IFoo<T> { void Foo(T x); }

class Bar : IFoo<int>, IFoo<float>
{
    public void Foo(int x) { }
    public void Foo(float y) { }
}

我想在 F# 中做同样的事情：

type IFoo<'a> = abstract member Foo : 'a -> unit

type Bar() =
    interface IFoo<int> with 
        [<OverloadID("int")>]
        member this.Foo x = ()

    interface IFoo<float> with 
        [<OverloadID("float")>]
        member this.Foo x = ()

但它给出了编译器错误：

此类型在不同的泛型实例化'IFoo<float>' 和'IFoo<int>' 处实现或继承相同的接口。此版本的 F# 中不允许这样做。

我在网上找不到任何discussion of this issue。出于某种原因，这种用途是否令人不悦？是否有计划在即将发布的 F# 中允许这样做？

Answer 1

目前我不知道有计划允许这样做。。功能 has been planned 至少部分（参见 cmets）在 F# 4.0 中实现。

我认为它目前不被允许的唯一原因是它的实现并不简单（尤其是 F# 类型推断），而且它在实践中很少出现（我只记得一个客户曾经问过这个问题）。

考虑到无限量的时间和资源，我认为这是允许的（我可以想象这会被添加到该语言的未来版本中），但目前看来，这是一个值得努力的功能支持。 （如果您知道一个强有力的激励案例，请发送邮件至 fsbugs@microsoft.com。）

编辑

作为好奇的实验，我写了这个 C#：

public interface IG<T>
{
    void F(T x);
}
public class CIG : IG<int>, IG<string>
{
    public void F(int x) { Console.WriteLine("int"); }
    public void F(string x) { Console.WriteLine("str"); }
}

并从 F# 中引用它（cmets 建议结果）

let cig = new CIG()
let idunno = cig :> IG<_>  // type IG<int>, guess just picks 'first' interface?
let ii = cig :> IG<int>    // works
ii.F(42)                   // prints "int"
let is = cig :> IG<string> // works
is.F("foo")                // prints "str"

所以这就是使用 F# 的“边界”内容通常会发生的情况 - F# 可以正常使用这些内容，即使您无法从该语言中创作相同的内容。

Answer 2

有一种合理但不优雅的方法来实现它，为每个接口创建一个新类型这里是一个使用来自 ESB (nSvcBus) 的多个事件的示例，它要求每个事件对应于一个已实现的接口。下面的第一种类型包含通用的“处理程序”代码，其他类型只是实现接口并调用通用处理程序

type public nSvcBusEvents() = 

    member this.HandleEvents(msg:IEvent) = ()
        //handle messages ie: let json = JsonConvert.SerializeObject(msg)

type public ActionLoggedHandler() = 
    interface IHandleMessages<Events.ActionLoggedEvent> with
        member this.Handle(msg : ActionLoggedEvent) = 
            nSvcBusEvents().HandleEvents(msg)

type public ActionCompletedHandler() = 
    interface IHandleMessages<Events.ActionCompletedHandler> with
        member this.Handle(msg : ActionCompletedHandler) = 
            nSvcBusEvents().HandleEvents(msg)

type public ActionFailedHandler() =       
    interface IHandleMessages<Events.ActionFailedHandler> with
        member this.Handle(msg : ActionFailedHandler) = 
            nSvcBusEvents().HandleEvents(msg)