1
アプリケーションでデバッグするときに、評価がfalse（すべてこれまで良好）だったためにContract.Requires()が失敗することがあります。ただし、[中断]ボタンをクリックするとWebサーバーがクラッシュし、メッセージが表示されます。「...には、 という問題が発生したため終了する必要があります...」 2つの質問：コード契約を使用しているときにWebdev.Webserver40.exeがクラッシュする
- これは正常な動作ですか？
- そうでない場合は、何が問題になるでしょうか？プロジェクトの設定でCodeContractsセクション
そしてチェックを外しから
おかげディマ「をチェックするランタイム」の「アサート契約の失敗で」チェックボックス、これは避けコードコントラクトのデフォルト動作を変更してAssertダイアログを表示して例外を生成するようにしてください。だから私はこの問題を完全に回避することができます。しかし、Abortの効果について私の質問には答えません。 –