“合约不能位于 try 块中”是什么意思？意思是？

Question

我正在使用 3.5 库来执行 microsoft 代码合约，

public object RetrieveById(int Id)
{    
    //stuff happens...
    Contract.Ensures(newObject != null, "object must not be null");
    return newProject;
    //No error message if I move the Contract.Ensures to here
    //But it isn't asserting/throwing a contract exception here either           
}

我收到编译器消息： “方法‘Controller.RetrieveById(System.Int32)’中 try 块内的错误 18 Contract 部分

更新：

在您的帮助下我找到了答案：

• 移至顶部

• 检查 Contract.Result

  Contract.Ensures(Contract.Result() != null, "对象不能为 null ");

Answer 1

我可能遗漏了一些东西，但我只是查看了相关文档：

http: //msdn.microsoft.com/en-us/library/dd412865.aspx

它说：

该方法调用必须位于
方法或属性的开头，
在任何其他代码之前。

因此，只需将 Ensures 调用保留在方法的顶部，您就不应该遇到任何问题。

Answer 2

这非常简单：Contract 类通过抛出异常来发出违反合同的信号。将其放在 try 块中就达不到目的，您很容易捕获异常。

Answer 3

这是一个类似的解决方案：

http:// /social.msdn.microsoft.com/Forums/en/codecontracts/thread/43f467f1-14b7-4e56-8030-50f842b7ba68

您最近的编辑显示您的代码位于 Contract.Ensures 语句之上。 Contract.Ensures 必须位于方法中的任何其他代码之前，因此：

public object RetrieveById(int Id)
{    
    //first line of method:
    Contract.Ensures(newObject != null, "object must not be null");

    //stuff happens...

    return newProject;        
}