c# - 为什么使用隐式转换运算符的自定义结构上的 Assert.AreEqual 会失败？

Question

我创建了一个自定义结构来表示金额。它基本上是 decimal 的包装器。它有一个隐式转换运算符，可以将其转换回 decimal。

在我的单元测试中，我断言金额等于原始十进制值，但测试失败。

[TestMethod]
public void AmountAndDecimal_AreEqual()
{
    Amount amount = 1.5M;

    Assert.AreEqual(1.5M, amount);
}

当我使用 int 时(我没有为其创建转换运算符)，测试确实成功了。

[TestMethod]
public void AmountAndInt_AreEqual()
{
    Amount amount = 1;

    Assert.AreEqual(1, amount);
}

当我将鼠标悬停在 AreEqual 上时，它显示第一个解析为

public static void AreEqual(object expected, object actual);

第二个导致

public static void AreEqual<T>(T expected, T actual);

看起来 int 值 1 被隐式转换为 Amount，而 decimal 值 1.5M 不是。

我不明白为什么会这样。我本以为恰恰相反。第一个单元测试应该能够将 decimal 转换为 Amount。

当我向 int 添加隐式转换(这没有意义)时，第二个单元测试也失败了。因此，添加隐式转换运算符会破坏单元测试。

我有两个问题:

1. 对此行为的解释是什么？
2. 如何修复 Amount 结构，以便两个测试都能成功？

(我知道我可以更改测试以进行显式转换，但如果不是绝对必要，我不会)

我的金额结构(只是显示问题的最小实现)

public struct Amount
{
    private readonly decimal _value;

    private Amount(decimal value)
    {
        _value = value;
    }

    public static implicit operator Amount(decimal value)
    {
        return new Amount(value);
    }

    public static implicit operator decimal(Amount amount)
    {
        return amount._value;
    }
}

Answer 1

当你可以转换时，坏事就会发生 implicit位于两个方向，这是一个例子。

由于隐式转换，编译器能够选择 Assert.AreEqual<decimal>(1.5M, amount);和 Assert.AreEqual<Amount>(1.5M, amount);具有同等值(value)*

因为它们相等，所以不会通过推理选择任何重载。

由于没有过载可以通过推理来选择，因此既不进入选择最佳匹配的列表，也只选择 (object, object)。表格可用。所以这是被选中的那个。

与 Assert.AreEqual(1, amount)然后因为有一个从 int 的隐式转换至 Amount (通过隐式 int->decimal)但没有从 Amount 隐式转换至 int编译器认为“显然它们指的是这里的 Assert.AreEqual<Amount>()”†，因此它被选中。

您可以使用 Assert.AreEqual<Amount>() 显式选择重载或 Assert.AreEqual<decimal>()但您最好将您的转换之一从必须是 explicit 的“缩小”如果可能的话，因为你的结构的这个特性会再次伤害你。 (为发现缺陷的单元测试欢呼)。

---

*另一个有效的重载选择是选择 Assert.AreEqual<object> , 但它从来没有被推论选中，因为:

1. 两个被拒绝的重载都被认为更好。
2. 它总是被采用 object 的非泛型形式打败无论如何。

因此，它只能通过包含 <object> 来调用在代码中。

†编译器将对它所说的一切都视为意义明显或完全无法理解。也有这样的人。