使用 F# 反射将两个对象与默认 IComparable 实现进行比较

Question

给定 F# 中的两个对象，有没有办法使用它们的 IComparable 方法来比较它们，假设它们都是相同的子类型并且 IComparable 是针对它们的公共子类型实现的。

我想用伪代码实现什么：

    let tycompare (o1 : obj) (o2 : obj) : int option =
        let (ty1, ty2) = (o1.GetType(), o2.GetType())
        if ty1 <> ty2 then
            None
        else
            if IComparable is implemented on ty1 then
                o1.CompareTo(o2) |> Some
            else
                None

我知道这个post，但我认为这对直接回答我的问题没有帮助。

Answer 1

您也可以使用Option.bind 更简洁地编写此代码，但这非常适合模式匹配。

我们可以定义一个active pattern 来匹配IComparable。

let (|IsComparable|) (obj : obj) = 
    match obj with
    | :? IComparable as comparable -> Some(comparable)
    | _ ->  None

F# 允许您在 let 绑定中使用活动模式，从而更清楚地传达函数的意图。

let compare (IsComparable o1) (IsComparable o2) =        
    match (o1, o2) with
    | (Some o1, Some o2) when 
        o1.GetType() = o2.GetType() -> Some(o1.CompareTo(o2))
    | _ -> None

这也可以被压缩（没有活动模式 - @kaefer）：

let compare (o1 : obj) (o2: obj) = 
    match (o1, o2 ) with
    | (:? System.IComparable as o1), (:? System.IComparable as o2) when 
        o1.GetType() = o2.GetType() -> Some(o1.CompareTo(o2))
    | _ -> None