F# 类型约束和反射

Question

有没有办法通过反射来判断给定的类型参数是否满足F#比较约束？

我怀疑不是，因为表达式

typedefof<Set<_>>.MakeGenericType [| typeof<System.Type> |]

似乎没有产生任何错误。不过，我还是想听听一些权威的意见。

Answer 1

引用 Don Syme 的彻底 post on equality and comparison constraints：

约束 type : comparison 在以下情况下成立：

• 如果类型是命名类型，则类型定义没有NoComparison 属性；和
• 类型定义实现System.IComparable；和
• 任何类型的“比较依赖”也满足ty_i：比较

约束 'T when 'T :> IComparable 可以在 CIL 中编码并反映，而 'T when 'T : comparison 两者都不是。

由于这两个约束不等价，将 comparable 类型标记为 IComparable 约束有点误导，因为使用反射无法区分两者。

equality 约束和IEquatable<_> 之间存在类似的关系。

编辑

Jack 提到 comparison 约束可以在 F# 元数据中编码，这促使我查看了 PowerPack 中的元数据阅读器。可用于检测约束：

open Microsoft.FSharp.Metadata

let setEntity = FSharpAssembly.FSharpLibrary.GetEntity("Microsoft.FSharp.Collections.FSharpSet`1")
for typeArg in setEntity.GenericParameters do
  printfn "%s - comparison=%b" 
    typeArg.Name 
    (typeArg.Constraints |> Seq.exists (fun c -> c.IsComparisonConstraint))

这是一个人为的例子，显示了实现IComparable 和满足comparison 之间的差异：

type A() = 
  interface IComparable with
    member __.CompareTo(_) = 0

[<NoComparison>]
type B() =
  inherit A()

type C<'T when 'T : comparison>() = class end
type D<'T when 'T :> IComparable>() = class end

let c = C<B>() //ERROR
let d = D<B>() //OK