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 =()