「コードコントラクト」を編集中

'''コードコントラクト'''（[[英語]]：Code Contracts）とは、[[.NET Framework 4.0]]で追加された「[[契約による設計]]（別名：[[契約プログラミング]]）」を行うため[[フレームワーク]]およびツール群である。

== 概要 ==
[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。

実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という[[C Sharp|C#]]のみならず[[VB .NET]]などでも使える汎用性の高さ実現している。個人的には[[C Sharp|C#]]より[[D言語]]の記述法の方が綺麗だと思う。

== 注意 ==
「[[契約による設計]]」を行うために必要な静的解析ツールやドキュメント生成ツールなどは[[Visual Studio]]のお高い上位エディションでのみ動かせるという仕様であり、これらのツールがないと実行時のエラーチェックの書き方が変わるくらいで特に意味をなさない。

将来的にVisual Studioの上位エディションを導入するというのであればコードコントラクトを用いて記述しておくのも手ではある。また、もしかすると[[オープンソース]]のツールも出てくるかもしれないし、エラーチェックの書き方が一様に均一化するという[[コーディング規約]]的な意味でも積極的に使ってみる価値があるかもしれない。

== インストール ==
コードコントラクトで用いる[[ライブラリ]]（クラス群）は[[.NET Framework 4.0]]に標準で搭載されているため、とくに何かをしなければならないということはない。

一方、[[静的解析]]などを行うためのコードコントラクトで用いるツール群（[[Visual Studio]]のアドオン）は[[.NET Framework]]および[[Visual Studio]]には標準では含まれず、[[MSDN]]のサイト上で別途配布になっているため、使用に際しては[[ダウンロード]]のうえ[[インストール]]しておく必要がある。
* http://msdn.microsoft.com/ja-jp/devlabs/dd491992.aspx

なお、[[.NET Framework 4.0]]の標準クラス群もコードコントラクトを使いまくっているため、[[Visual Studio]]にコードコントラクトのアドインを[[インストール]]した後は、自前で書いた[[ソースコード]]にコードコントラクトが埋め込まれてなくとも、標準クラス群の使い方次第では[[静的解析]]で[[エラー]]と[[警告]]が出まくることがあり、コードコントラクト初心者は「[[Hello World]]」ですらエラーを続出させると言い伝えられている。

== 名前空間 ==
コードコントラクトに関するクラス群は System.Diagnostics.Contracts 名前空間に配置されている。

== その他 ==

== 関連項目 ==
* [[契約による設計]]
* [[Nullチェック]]

== 参考文献 ==
{{reflist}}

{{stub}}