代码跳过Contract.Requires

Question

我试着在调试时使用c# contracts...but编写这个方法，它完全忽略了Contract.requires和CheckRep()，我用错了吗？？

    public Poly Add(Poly q)
    {
        CheckRep();
        Contract.Requires(q != null, "You need to provide a valid non-null Poly.");

        Poly la, sm;

        if (deg > q.deg)
        {
            la = this; sm = q;
        }
        else
        {
            la = q; sm = this;
        }

        int newdeg = la.deg;

        if (deg == q.deg)
        {
            for (int k = deg; k > 0; k--)
            {
                if (trms[k] + q.trms[k] != 0)
                {
                    break;
                }
                else
                {
                    newdeg--;
                }
            }
        }

        Poly r = new Poly(newdeg);

        int i;

        for (i = 0; i <= sm.deg && i <= newdeg; i++)
        {
            r.trms[i] = sm.trms[i] + la.trms[i];
        }
        for (int j = i; j <= newdeg; j++)
        {
            r.trms[j] = la.trms[j];
        }

        return r;
    }

Answer 1

它必须是：

  public Poly Add(Poly q)
    {
        Contract.Requires(q != null, "You need to provide a valid non-null Poly.");
        CheckRep();

来自MSDN

1. 此方法调用必须在方法或属性的开头，在任何其他代码之前。
2. 此协定向客户端公开；因此，它必须仅引用至少与封闭方法一样可见的成员。如果要在前提条件失败时引发异常，则
3. 使用此方法而不是Contract.Requires(Boolean，String)方法。

您还必须激活运行时检查。右键单击您的项目->属性。单击左侧菜单中的"Code Contracts“。选中"Perfrom Runtime Contact Checking“