2

好的，C# 有显式接口实现 我想在 F# 中做类似的事情。

我有一些接口（和类）

type IState = interface
    abstract member Update : IAction-> IState
    ...
end
type IEnviroment = interface
    abstract member Update : IAction-> IEnviroment
    ...
    end


type IBoard  = 
    inherit IState
    inherit IEnviroment
    abstract member Update : Move -> IBoard
    ...

[<AbstractClass>]
and Move ()= 
    abstract member Apply : IBoard -> IBoard
    interface IAction with        
        override this.Cost = 1M

所以我遇到的问题是 Update 的定义有 3 次不同。所以我需要 C# 的Explicitit Interface Implementation的等价物，我想我会在接口中实现它（因为这在 F# 中是合法的）——它只包含一些类型转换。

我的理解是，F# 中的所有接口实现都是显式的，在类中，但是一旦一个接口从另一个接口继承，那么你只能（显式地）实现那个接口。（所以我的 Board 课程只实现了 I Board）

4

1 回答 1

3

member this.IState.Update我在 的实现中尝试了语法IBoard，但编译器拒绝了它。

我在规范中看不到做你想做的事的方法。

这是针对此类名称冲突的解决方法，使用抽象类将调用转发到每个接口。

type I1 =
    interface
        abstract F : unit -> unit
    end

type I2 =
    interface
        abstract F : unit -> unit
    end

type II =
    interface
        inherit I1
        inherit I2
        abstract F : unit -> unit
    end

[<AbstractClass>]
type III() =
    abstract F1 : unit -> unit
    abstract F2 : unit -> unit
    abstract F3 : unit -> unit
    interface I1 with
        member this.F() = this.F1()
    interface I2 with
        member this.F() = this.F2()

type Works() =
    inherit III()
    override this.F1() = printfn "F1"
    override this.F2() = printfn "F2"
    override this.F3() = printfn "F3"

type Fails() =
    interface II with
        member this.F() = ()
于 2012-05-05T15:46:52.837 回答