是否可以使用静态代码验证潜在的空对象引用？

Question

我想要一种方法来获取警告,当一个对象引用可能会抛出一个Null引用异常,这样我就可以编写防御代码.

我看过Resharper,但没有看到任何完成此事的东西.

代码合约可能不是首发; 应用程序非常庞大,它是在.NET 3.5中编写的,在Code Contracts正式推出之前.

Answer 1

事实上，Resharper 确实完成了类似的事情。可能的 NullReferenceExpections 在 IDE 中以蓝色突出显示，当您将鼠标悬停在它们上方时会出现工具提示。

然后，Resharper 在其自己的检查结果窗口中跟踪潜在的错误和警告（与 Visual Studio 的编译器错误和警告分开）。