空体构造函数中的契约先决条件

Question

早上好！我正在编写一个用于绘制直方图的类，为了方便用户，我决定添加一些方便的构造函数。

然而，当我最近从 DevLabs 切换到 .NET 代码合约时，我想充分利用先决条件来防止我自己（或某人）的愚蠢行为。

    public HistoGrapher(IList<string> points, IList<T> values)
        : this(points.Select((point, pointIndex) => new KeyValuePair<string, T>(point, values[pointIndex])))
    {
        Contract.Requires<ArgumentNullException>(points != null, "points");
        Contract.Requires<ArgumentNullException>(values != null, "values");
        Contract.Requires<ArgumentException>(points.Count == values.Count, "The lengths of the lists should be equal.");
    }

    public HistoGrapher(IEnumerable<KeyValuePair<string, T>> pointValuePairs)
    {
        // useful code goes here
    }

有件事让我很困惑。如果合同被破坏，我不希望第一个构造函数调用第二个构造函数；但是，假设在执行第一个构造函数的主体之前将执行对 this(...) 的调用。

这段代码能按照我的要求工作吗？我还没试过。 如果没有，是否有能力解决这样的问题？

Answer 1

如果没有，是否有能力
解决这样的问题吗？

由于构造函数主体仅在调用其他构造函数之后执行，我认为您当前的方法不起作用。我建议将通用代码分解为一个单独的方法，即 Init() ，然后您可以从两个构造函数调用该方法，这将使您的代码保持干燥并解决您的问题：

public class HistoGrapher
{

    public HistoGrapher(IList<string> points, IList<T> values)
    {
        Contract.Requires<ArgumentNullException>(points != null, "points");
        Contract.Requires<ArgumentNullException>(values != null, "values");
        Contract.Requires<ArgumentException>(points.Count == values.Count, "The lengths of the lists should be equal.");

        var pointValuePairs = points.Select((point, pointIndex) => new KeyValuePair<string, T>(point, values[pointIndex]))
        Init(pointValuePairs);
    }

    public HistoGrapher(IEnumerable<KeyValuePair<string, T>> pointValuePairs)
    {
        Init(pointValuePairs);
    }

    private void Init(IEnumerable<KeyValuePair<string, T>> pointValuePairs)
    {
         // useful code goes here
    }
}