exception - ArgumentNullException 対 Contract.Requires

Question

渡された引数が null の場合、ArgumentNullException は例外をスローします。これは実行時に発生します。Contract.Requiresは何をしますか? コンパイル時のチェックですか、それとも実行時にチェックされますか?

Answer 1

Contract.Requiresランタイム チェックです (ランタイム チェックはコンパイル時に自動的に生成されます。ドキュメントの 6.2 章と 7 章を​​参照してください)。実行できる特定の静的チェックもあります (ドキュメントの第 6.6 章を参照) が、これRequiresはランタイム チェックです。

スローする例外を指定できる一般的なオーバーロードがあることに注意してください (ArgumentNullException など)。