代码合同对错误的理解

问题描述

| 我刚开始使用代码合同，需要一些帮助来纠正错误： 给出以下代码：

class MyClass
{
    private bool _isUsed = false;

    public void SomeMethod()
    {
        Contract.Requires(!_isUsed);
    }
}

我收到以下错误：

error CC1038: Member \'MyClass._isUsed\' has less visibility than the enclosing method \'MyClass.someMethod\'

这似乎使很多标准检查不可用。在此示例中我缺少什么？     

解决方法

        您有一个公共方法SomeMethod。但是，您需要将private成员变量设置为false。您没有提供设置_isUsed的方法，因此您要检查一个调用者无法控制的变量。 您可以将_isUsed设置为属性，即

public bool IsUsed {get; set;}

然后在你的SomeMethod（）中有

Contract.Requires(!IsUsed);

    ,        已经说明，“ 4”中的任何一个都具有可见性问题（呼叫者没有控制权），而这是由需求正确实施的。 但是，根据您要完成的合同，

Contract.Assert

可能会满足您的需求。

public void SomeMethod()
{
    Contract.Assert(!_isUsed);
}

将有效，而“需求”则无效。