在非泛型 F# 接口中创建和使用泛型函数

Question

目前这超出了我的范围。我正在尝试创建一个看起来像这样的界面 这。

type IFetchData = 
     abstract FetchData: string -> seq<'a>

上面的声明是有效的（并且可以编译），但是当我使用它时，我收到编译时错误。该表达式的预期类型为“a”，但这里的类型为“我当前尝试返回的内容”，即 seq。

然而，我的示例用法如下所示：

type SampleFetchData() =
    interface IFetchData with
        member self.FetchData str =           
           seq {
                    for letter in str do
                        yield letter // compile error here
                }

我不确定我做错了什么。我想做的就是允许接口实现者能够编写返回通用序列的任何函数 seq,seq,< code>seq<此处的记录类型>、seq<此处的联合类型> 等。

有人可以告诉我这里缺少什么吗？

谢谢。

Answer 1

如果您使用反射加载接口实现，那么使用它将会非常困难。问题是你得到了一个 obj 类型的对象。您知道它为某些 'T 实现了 IFetchData<'T>，但静态地，您不知道为哪个 'T。这是一个问题，因为您无法将对象强制转换为任何更具体的类型 - 如果您尝试使用 IFetchData，它将不起作用，因为您无法强制转换，例如 < code>IFetchData为该类型。

我建议使用非通用接口，这是非常常见的 .NET 模式：

type IFetchDataUntyped = 
  abstract FetchData : string -> System.Collections.IEnumerable

type IFetchData<'T> =  
  inherit IFetchDataUntyped
  abstract FetchData : string -> seq<'T> 

当您使用 Reflection 加载实现时，您可以将对象强制转换为 IFetchDataUntyped 并以相当合理的方式使用它（使用 Seq.cast 将序列转换为更具体的类型（如果您知道元素类型）。

根据您的应用程序，您还可以将 FetchData 方法设置为通用方法，并保持接口非通用。然后，您可以将动态加载的对象强制转换为接口并调用该方法。然而，这改变了设计（因为该方法必须适用于它作为类型参数获取的任何类型）：

type IFetchData =  
  abstract FetchData<'T> : string -> seq<'T>  // Note: Generic parameter here!

Answer 2

您需要做类似的事情

type IFetchData<'a> = 
     abstract FetchData: string -> seq<'a>

type SampleFetchData() =
    interface IFetchData<char> with
        member self.FetchData str =           
           seq {
                    for letter in str do
                        yield letter 
                }

，即接口需要变得通用。如果您想避免通用性，您可以使用一些内联约束，而不是接口

编辑：内联魔术版本

let inline Fetchdata string obj=
   (^a: (member FetchData: string -> seq<'b> )(obj, string))

type SampleFetchData() =
        member self.FetchData str =           
           seq {
                    for letter in str do
                        yield letter 
                }

Fetchdata "hello" (new SampleFetchData())