F#自定义NUnit相等约束时ApplyTo匹配多个重载如何解决

错误原因 #

你遇到的重载匹配报错，是因为自定义的ApplyTo方法签名和基类EqualConstraint的签名不匹配：你写的ApplyTo (actual:Company option)是新增的重载，而非对基类方法的重写。基类ApplyTo的入参类型为obj，调用时编译器无法匹配到正确实现，就会抛出多匹配错误。

你遇到的默认equal约束无法正确比较Types字段的问题，是因为F#中list是有序集合，默认相等校验会严格匹配元素顺序，如果业务上不关注Types的元素顺序，只需将两边的Types排序后再比较即可。

完整实现代码 #

以下实现同时支持Company和Company option类型的比较：

open FsUnit
open NUnit.Framework.Constraints

type equalCompany(expected: Company) =
    inherit EqualConstraint(expected)

    override this.ApplyTo(actual: obj) =
        match actual with
        // 处理Company option类型入参
        | :? Company option as actualOpt ->
            match actualOpt with
            | Some actualVal ->
                let typesEqual = (actualVal.Types |> List.sort) = (expected.Types |> List.sort)
                let isEqual = actualVal.Id = expected.Id && typesEqual
                ConstraintResult(this, actual, isEqual)
            | None ->
                ConstraintResult(this, actual, false)
        // 处理Company类型直接入参
        | :? Company as actualVal ->
            let typesEqual = (actualVal.Types |> List.sort) = (expected.Types |> List.sort)
            let isEqual = actualVal.Id = expected.Id && typesEqual
            ConstraintResult(this, actual, isEqual)
        // 其他不匹配类型直接返回不相等
        | _ ->
            ConstraintResult(this, actual, false)

用法示例 #

// 1. 直接比较Company类型
let actualCompany = { Id = "com001"; Types = [Exchange; Bank] }
let expectedCompany = { Id = "com001"; Types = [Bank; Exchange] }
actualCompany |> should equalCompany expectedCompany // 测试通过

// 2. 比较Company option类型
let actualOpt = Some actualCompany
actualOpt |> should equalCompany expectedCompany // 测试通过
None |> should not' (equalCompany expectedCompany) // 测试通过

内容的提问来源于stack exchange，提问作者Alex 75