差分

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

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

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

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