关闭代码合同警告

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];

这有点难看，但我相信它应该有用。