c# - C# 4.0 のコード コントラクトに関する書籍

Question

Code Contracts については以前から知っていましたが、Java で少し使ったことがあるので、C# 4.0 の一部になったので、C# でも使い始めたいと思います。

学習教材、本、またはビデオを探しています。チュートリアルも大歓迎ですが、典​​型的な「Requires の使い方はこちら、Ensures の使い方はこちら」ではなく、包括的なものを読みたいと思います。この分野で本当に際立つものを探しています。

ありがとう

Answer 1

Jon Skeet は、 C# in Depthの第 2 版で、それらに特化した章全体を持っています。前回の MEAP 更新に基づくと、およそ 40 ページです。Joel が述べたように、まだリリースされていないため、これは最終的なものではありませんが、購入して MEAP リリースにアクセスすることができます: http://www.manning.com/skeet2/

C# 4.0 in a Nutshellは、Ch でそれをカバーしています。13、「診断とコード コントラクト」。目次の章見出しに基づいて、このトピックについて約 17 ページと見積もっています。

Andrew Troelsen のPro C# 2010 と .NET 4 Platformの本でカバーされると思いますが、TOC を見つけることができませんでした。

Answer 2

Jon Skeet が次の C# in Depth でそれらをカバーしていると聞きましたが、まだ公開されていません。

Answer 3

実際には本ではありませんが、Code Contracts ソフトウェアと一緒にダウンロードできる公式ドキュメントは非常に優れています。

特定の質問については、公式のCode Contracts フォーラムを使用できます。開発者はかなり反応が良いようです。

ところで、私の理解では、コード コントラクトは C# 4.0 の一部ではありません。むしろ、それらは .NET 4.0 BCL の一部であり、.NET 3.5 の個別のアセンブリとして利用できます。.NET 4.0 と 3.5 の両方で、コントラクトを使用するには追加のソフトウェアをインストールする必要があります。