c# - "Contract can' t be in try block”是什么意思？

Question

我正在为 Microsoft 代码契约(Contract)使用 3.5 库

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 block 中的错误 18 契约(Contract)部分

更新:

在你的帮助下我弄明白了:

• 移至顶部

• 检查 Contract.Result

  Contract.Ensures(Contract.Result() != null, "object must not be null ");

Answer 1

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

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

它说:

This method call must be at the beginning of a method or property, before any other code.

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