C# Code Contracts の素晴らしいデモを見たので、それらを 5 月のコードに実装したいと思います。すでにコードにそれらがあればいいのにと思います。どこから始めますか?
デモから印刷物を取り除けませんでした。推奨される読書はありますか?
Code Contracts の初心者向けの提案はありますか?
よろしくお願いします。
C# Code Contracts の素晴らしいデモを見たので、それらを 5 月のコードに実装したいと思います。すでにコードにそれらがあればいいのにと思います。どこから始めますか?
デモから印刷物を取り除けませんでした。推奨される読書はありますか?
Code Contracts の初心者向けの提案はありますか?
よろしくお願いします。
Design by Contractについて説明しているこの Wiki から始めます。次に、 MS の実装に関するドキュメントに飛び込みます。実際にコードに組み込むには、ほぼどこからでも開始できると思いますが、影響が最も少ない領域から開始することもできます。したがって、適切な場合は、いくつかの Contract.Requires を ctor 引数に追加してください。より快適になったら、それらをインターフェイスに追加できますが、これにより事態が悪化する可能性があることに注意してください...ただし、良い方法です. エラーまたは警告は、DbC に違反していることを意味し、おそらくLiskov Substitution Principleにも違反しています。
コード コントラクトプロジェクト ページで提供されるユーザーマニュアルには、コード コントラクトの使用方法と可能性が非常によく説明されています。