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