Code Contracts に関して、Spec# が C# 4.0 に移行する可能性がある概念を誰か説明できますか?
- コード コントラクトとは (コンパイル時のチェック パターンのようです)
- 私はこれについて興奮する必要がありますか?
- 実行時チェックをコンパイル時に移動すると仮定して、私は正しいでしょうか?
ありがとう!
Code Contracts に関して、Spec# が C# 4.0 に移行する可能性がある概念を誰か説明できますか?
ありがとう!
私は個人的に、Object Oriented Software Contruction という本を書いた Bertrand Meyer という男の大ファンであり、Design By Contract または Contract ベースのプログラミングを支持する Eiffel という言語を作成しました。
この一連のビデオのリンクを見たいと思うかもしれません
これは、 Microsoft Researchから直接提供されたコード コントラクトの適切な説明です。主なメリットは以下のようです。