Question

let compareOn f x (yobj: obj) =
     match yobj with
     | :? 'T as y -> compare (f x) (f y)
     | _ -> invalidArg "yobj" "cannot compare values of different types"

我不知道上面的'T 与x的类型有什么关系。为什么x的类型不是'a ？

用于：

type stamp = int

[<CustomEquality; CustomComparison>]
type MyUnionType =
    | MyUnionType of stamp * (int -> int) 

    static member Stamp (MyUnionType (s,_)) = s

    override x.Equals y = equalsOn MyUnionType.Stamp x y
    override x.GetHashCode() = hashOn MyUnionType.Stamp x
    interface System.IComparable with
      member x.CompareTo y = compareOn MyUnionType.Stamp x y

Answer 1

之所以与x的使用有关。值x和y用作同一回调的参数：f x和f y。此表达式中y的类型已知为T，因此x也必须属于与T兼容的类型，因此F＃选择T

通用类型'T如何限制在这个Don Syme的代码上？

1 个答案: