为什么带有隐式转换运算符的自定义结构上的 Assert.AreEqual 会失败？

Question

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

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

[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 结构以便两个测试都能成功？

（我知道我可以更改测试以进行显式转换，但如果我不是绝对必须这样做，我不会）

我的 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

当您可以双向转换 implicitly 时，就会发生不好的事情，这就是一个例子。

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

由于它们是相等的，因此推理不会选择任何重载。

由于没有通过推理选择的重载，因此也不会将其列入选择最佳匹配的列表，并且只有 (object, object) 表格可用。所以它是被选中的。

对于Assert.AreEqual(1, amount)，由于存在从int 到Amount 的隐式转换（通过隐式int->decimal），但没有从Amount 到int 的隐式转换，编译器认为“显然它们意味着Assert.AreEqual<Amount>() here"†，所以它被选中了。

您可以使用Assert.AreEqual<Amount>() 或Assert.AreEqual<decimal>() 显式选择重载，但如果可能的话，您最好将其中一个转换“缩小”为explicit，因为您的此功能struct 会再次伤害你。 （单元测试发现缺陷的欢呼声）。

---

*另一个有效的重载选择是选择Assert.AreEqual<object>，但它从未被推理选择，因为：

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

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

†编译器将对其所说的所有内容视为意义明显或完全不可理解。也有这样的人。