Как родовой тип T ограничен кодом Дона Сайма? - PullRequest
Новая
       45

Как родовой тип T ограничен кодом Дона Сайма?

4 голосов
/ 02 марта 2012 
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

1 Ответ

5 голосов
/ 02 марта 2012

Причина, по которой связано с использованием x. Значения x и y используются в качестве аргументов для одного и того же обратного вызова: f x и f y. Тип y в этом выражении известен как T, следовательно, x также должен быть типа, совместимого с T, поэтому F # выбирает T

...