首页 文章

F#Type Constraint在泛型函数上使用约束时不匹配

提问于
浏览
5

在f#项目中,我有以下类型:

type A = { Name: string }
type B = { Name: string; SurName: string }
type C = { Name: string; SurName: string; MaidenName: string }

以及使用泛型参数约束的以下函数:

let inline filterByName<'a when 'a: (member Name: string)> (name: string) (collection: 'a seq) =
    collection |> Seq.where(fun i -> i.Name = name)

问题是我得到以下编译时错误:

类型约束不匹配 . 类型'a与类型C不兼容类型''a'与类型'C'不匹配

从函数定义中删除 inline 会给出以下编译时错误:

此代码不够通用 . 类型变量^ a当^ a :(成员get_Name:^ a - > string)无法泛化,因为它会逃避其范围 .

我想要实现的是一个函数,它采用具有特定名称属性的泛型类型,在这种情况下为“Name” . 我做错了什么或我错过了什么?

1 回答

  • 6

    问题是如何使用 i.Name 语法,但必须使用更详细的语法 . 从好的方面来说,这可以推断出方法本身的签名,因此您不必复制所有内容:

    let inline filterByName name collection =
        collection |> Seq.where(fun i -> (^a : (member Name : string) i) = name)
    

    另请注意,您需要使用静态解析的类型变量( ^a )而不是普通的泛型类型变量( 'a ) .

相关问题