F#接口实现

Question

假设我在C#中有这个接口,并希望在F#中实现它

public interface IBatch
{
    System.Data.IDbConnection Connection { get; set; }
}

我希望在F#中实现接口,但无法找出正确的语法.我有这样的事情:

type public Batch = 
    interface IBatch with
        member f.Connection 
            with get() = new Devart.Data.Oracle.OracleConnection()
            and set value = ()

我得到的错误是:

此表达式应具有类型IDbConnection,但此处具有类型Devart.Data.Oracle.OracleConnection

Answer 1

F#没有像C#那样实现隐式向下转换,你需要拥有

type public Batch = 
    interface IBatch with
        member f.Connection 
            with get() = new Devart.Data.Oracle.OracleConnection() :> System.Data.IDbConnection
            and set value = ()