你的浏览器禁用了JavaScript, 请开启后刷新浏览器获得更好的体验!

代码合同对错误的理解

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

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\'

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

已邀请:

2 个回复

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

public bool IsUsed {get; set;}

然后在你的SomeMethod（）中有

Contract.Requires(!IsUsed);

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

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

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

要回复问题请先登录或注册