Contract.Requires 和 DateTime

Question

我有以下方法：

private static void SampleMethod(DateTime dateTime1, DateTime dateTime2)
{
    Contract.Requires(dateTime1 > dateTime2);
    Console.WriteLine("date 1 > date 2");
}

SampleMethod(DateTime.Today, DateTime.Today.AddDays(1));

当我在启用静态检查的情况下构建它时，我收到警告 CodeContracts: require unproven: dateTime1 > dateTime2

请注意，动态检查对我来说工作得很好，它只是我遇到问题的静态检查。

我该如何证明这个断言，或者抑制警告？

编辑：

我正在阅读有关 ContractVerificationAttribute，如果我将 [ContractVefirication(false) 添加到方法中，则没有什么区别（我怀疑这可能是一个错误），但将其添加到类中将正确关闭静态检查对于全班来说。我仍在寻找一种方法来关闭该 Requires 的静态检查。

Answer 1

静态验证器有其局限性，有时您必须提供帮助。它对数值数学的理解有限，但 DateTime 似乎超出了它的范围。

这就是 Contract.Assume(bool) 存在的原因：

    DateTime d1 = DateTime.Today;  
    DateTime d2 = d1.AddDays(-7);

    Contract.Assume(d1 > d2);

    SampleMethod(d1, d2);

CodeContracts：检查了 4 个断言：4 个正确