オブジェクト参照が Null 参照例外をスローする可能性がある場合に警告を取得する方法が必要です。これにより、これらの防御コードを記述できます。
私はResharperを見てきましたが、これを達成するものは何も見当たりませんでした。
Code Contracts はおそらく初心者向けではありません。アプリケーションは非常に大きく、コード コントラクトが正式に利用可能になる前に、.NET 3.5 で記述されています。
オブジェクト参照が Null 参照例外をスローする可能性がある場合に警告を取得する方法が必要です。これにより、これらの防御コードを記述できます。
私はResharperを見てきましたが、これを達成するものは何も見当たりませんでした。
Code Contracts はおそらく初心者向けではありません。アプリケーションは非常に大きく、コード コントラクトが正式に利用可能になる前に、.NET 3.5 で記述されています。
Resharperは実際にこのようなことを達成します。考えられるNullReferenceExpectionsは、IDEで青色で強調表示され、カーソルを合わせるとツールチップが表示されます。
次に、Resharperは、独自の検査結果ウィンドウで潜在的なエラーと警告を追跡します(Visual Studioのコンパイラエラーと警告とは別に)。
一般的に言って、オブジェクトを具体的に初期化しない限り、少なくともコンパイラーに関する限り、常にnullオブジェクト参照をスローする可能性があります。
オブジェクトへの参照が潜在的にnullになる可能性があるかどうかをアルゴリズムがチェックするには、プログラムがたどることができるすべての可能なパスをトラバースする必要があります。これには、使用している可能性のある外部ライブラリのパスが含まれます。最も単純なプログラムであっても、そのようなアルゴリズムはコンパイラのパフォーマンスを低下させます。