关闭代码合同警告

Question

我想关闭代码合同警告，但仅限特定的代码行。我怎么做？

举例来说，我得到：

Warning 87 CodeContracts: requires unproven: key != null 

为：

return HttpContext.Current.Items[typeof(T).AssemblyQualifiedName]; 

它永远不会在我们的应用中发生。

Answer 1

好，其中一个方案是：

string key = typeof(T).AssemblyQualifiedName; 
Contract.Assume(key != null); 
return HttpContext.Current.Items[key]; 

这是一个有点难看，但我相信它应该工作。