如何用F#反射获取泛型接口实现约束？

以下F#代码试图获取seq { typeof<IDisposable>; typeof<ICloneable> }作为interfaces变量的值，但编译失败：

open System
open FSharp.Reflection

let getInterfaces f: Type seq = Unchecked.defaultof<_>
// 提取函数f的参数env上的接口约束

let a (env: #IDisposable & #ICloneable) = env.Clone()
let interfaces = getInterfaces a

编译时出现以下错误：

Error (active) FS0331 无法解析此处的泛型构造隐式实例化，因为它可能解析为多个不相关类型，例如'ICloneable'和'IDisposable'。请考虑使用类型注释消除歧义
Error (active) FS0071 为类型推断变量应用默认类型'IDisposable'时发生类型约束不匹配。类型'IDisposable'与类型'ICloneable'不兼容，请考虑添加更多类型约束

需求是实现getInterfaces函数，接收类似a的函数（其参数env被约束为实现多个接口），并返回这些接口的System.Type实例集合。

解决方案 #

1. 报错原因 #

函数a的参数使用了#IDisposable & #ICloneable这种复合接口约束，这是匿名的约束组合，F#类型推断无法自动确定泛型实例的具体类型，必须显式添加类型注释消除歧义。

2. 完整实现代码 #

open System
open FSharp.Reflection

let getInterfaces (f: 'T -> 'R) : Type seq =
    // 解析函数的输入、输出类型，提取输入参数类型
    let _, argType = FSharpType.GetFunctionElements(typeof<'T -> 'R>)
    // 提取参数类型上的所有接口约束
    argType.GetGenericConstraints()
    |> Seq.filter (fun t -> t.IsInterface)

// 显式标注函数a的类型，解决类型推断歧义
let a (env: #IDisposable & #ICloneable) = env.Clone()
let interfaces = getInterfaces (a : #IDisposable & #ICloneable -> obj)

3. 代码说明 #

• getInterfaces通过FSharpType.GetFunctionElements解析函数的输入输出类型，提取输入参数类型后，用GetGenericConstraints获取该参数上的所有泛型约束，最后过滤出接口类型。
• 调用getInterfaces时，显式标注a的类型为#IDisposable & #ICloneable -> obj，帮助类型推断确定具体的约束组合，解决编译错误。

运行后，interfaces变量将包含typeof<IDisposable>和typeof<ICloneable>两个类型实例。

内容的提问来源于stack exchange，提问作者Franco Tiveron