4

Code Contracts に関して、Spec# が C# 4.0 に移行する可能性がある概念を誰か説明できますか?

  • コード コントラクトとは (コンパイル時のチェック パターンのようです)
  • 私はこれについて興奮する必要がありますか?
  • 実行時チェックをコンパイル時に移動すると仮定して、私は正しいでしょうか?

ありがとう!

4

2 に答える 2

3

私は個人的に、Object Oriented Software Contruction という本を書いた Bertrand Meyer という男の大ファンであり、Design By Contract または Contract ベースのプログラミングを支持する Eiffel という言語を作成しました。

  1. コード コントラクトは、相互作用する場合としない場合がある 2 つのソフトウェア エンティティ間の一種の合意です。多かれ少なかれインターフェイスに似ていますが、より正確です。
  2. 誰もがこれに興奮するべきか、興奮するかどうかはわかりません。
  3. あなたの仮定はある程度正しいです。

この一連のビデオのリンクを見たいと思うかもしれません

于 2008-12-24T01:57:23.607 に答える
2

これは、 Microsoft Researchから直接提供されたコード コントラクトの適切な説明です。主なメリットは以下のようです。

  • テスト容易性の向上
  • 静的検証
  • API ドキュメント (コード内)
于 2008-12-23T23:58:43.333 に答える