从 IComparable.CompareTo() 抛出是否可以接受？

Question

示例（货币是枚举）：

public struct MoneyQuantity: IComparable<MoneyQuantity>
{
    public Currency Currency { get; }
    public decimal  Amount   { get; }

    public MoneyQuantity(Currency currency, decimal amount)
    {
        Currency = currency;
        Amount   = amount;
    }

    public int CompareTo(MoneyQuantity that)
        => Currency == that.Currency ?
            Amount.CompareTo(that.Amount) :
            throw new InvalidOperationException("Can't compare quantities of money in different currencies");
}

这可以接受吗？还是期望当一个类型是 IComparable 时，该类型的任何两个实例都应该是可比较的，并且如果客户端代码尝试比较它们，则不应抛出异常？

Answer 1

我认为这是一个问题，而不是不可接受的。显然，抛出Sort 的东西或调用CompareTo() 的任何操作（包括用户可能没有意识到调用它的东西）将不如“正常工作”的东西有用，所以这种可能性必须是有据可查（错误消息有帮助）。但另一方面，它比以一种可能不太正确的方式“正常工作”的东西要好。

您迫使用户要么避免此类比较，要么自己想办法进行比较（例如，转换为一致的货币进行比较），但这也迫使他们确保按照适合他们的条件进行比较（例如，根据他们实际使用的费率进行此类转换）。这可能是你能做到的最好的平衡。

Answer 2

我过去曾尝试将“单位”（例如此处的货币）建模为类型，然后您可以将 MoneyQuantity 设为其中一种类型的泛型。 （你可以做很多花哨的尝试来确保它被参数化的类型只是你想要支持的货币）。这可以立即防止问题发生（因为MoneyQuantity<Dollar> 可以与其他MoneyQuantity<Dollar>s 相媲美，但不能与MoneyQuantity<PoundSterling> 或任何其他类型相媲美）。

例如下面的Console.WriteLine 行无法编译，但其余的都很好：

using System;

namespace PlayAreaCSCon
{
    class Program
    {
        static void Main(string[] args)
        {
            var d = new MoneyQuantity<Dollar>(1);
            var p = new MoneyQuantity<PoundSterling>(1);

            Console.WriteLine(p.CompareTo(d));
        }
    }
    public abstract class Currency
    {
        protected Currency() { }
    }
    public class Dollar : Currency
    {
        public Dollar() : base() { }
    }
    public class PoundSterling : Currency
    {
        public PoundSterling() : base() { }
    }
    public struct MoneyQuantity<TCurrency> : 
           IComparable<MoneyQuantity<TCurrency>>
           where TCurrency : Currency, new()
    {
        public decimal Amount { get; }

        public MoneyQuantity(decimal amount)
        {
            Amount = amount;
        }

        public int CompareTo(MoneyQuantity<TCurrency> that)
                => Amount.CompareTo(that.Amount);
    }
}

（当Dollar 和PoundSterling 更多地用作标记时，我并不完全满意在上面使它们可构造，但它允许我们使用new() 约束来防止MoneyQuantity<Currency>s一个有效的类型）

如果使用 C# 7.2 或更高版本，您可以将Currency 的构造函数private protected 作为防止人们创建流氓Currency 类型的一种保护措施。

当然，这可能并不适合您的问题领域的所有部分，所以不要在没有权衡利弊的情况下直接跳槽去做。当然，F# 的单位看起来好多了，但我没有在愤怒中使用它们。