后置条件确保方法返回的结果与提供的定义匹配。这为调用者提供了预期结果的定义。后置条件可以简化实现，因为静态分析器可以提供一些可能的结果。
例...
string GetValue() { Contract.Ensures(Contract.Result<string>() != null); return null; }
静态分析结果...