「契約による設計」を編集中

ナビゲーションに移動 検索に移動

警告: ログインしていません。編集を行うと、あなたの IP アドレスが公開されます。ログインまたはアカウントを作成すれば、あなたの編集はその利用者名とともに表示されるほか、その他の利点もあります。

この編集を取り消せます。 下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。

最新版 編集中の文章
4行目: 4行目:
  
 
== 概要 ==
 
== 概要 ==
−
たとえば、ある[[サブルーチン]]に[[引数]]があるとして、その引数が[[ぬるぽ]]や[[ぬるり]]になることを防ぐためにサブルーチンの先頭部分で[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。
+
たとえば、ある[[サブルーチン]]の[[引数]]があるとして、[[ぬるぽ]]や[[ぬるり]]を防ぐために引数の[[nullチェック]]や[[境界チェック]]を行う、などという[[コーディング規約]]に近いものを、[[プログラミング言語]]の[[仕様]]として半ば強制することで、[[静的コード解析]]やドキュメント生成、[[単体テスト]]（のテンプレート生成）などを的確かつ効率的に行えるようにし、[[プログラム]]の品質を向上させようというものである。
  
 
== 条件の種類 ==
 
== 条件の種類 ==
19行目: 19行目:
 
ここに記載する[[プログラミング言語]]はあくまで一例でありすべてではない。
 
ここに記載する[[プログラミング言語]]はあくまで一例でありすべてではない。
  
−
=== .NET Framework 4.0 ===
+
=== [[.NET Framework 4.0]] ===
 
[[.NET Framework 4.0]]では、[[コードコントラクト]]（[[Code Contracts]]）という名前の機能が追加され、[[プログラミング言語]]レベルではなく、[[ランタイム]]レベルで「契約による設計」に対応した。これにより[[.NET Framework]]系のすべての[[プログラミング言語]]が対応することとなった。
 
[[.NET Framework 4.0]]では、[[コードコントラクト]]（[[Code Contracts]]）という名前の機能が追加され、[[プログラミング言語]]レベルではなく、[[ランタイム]]レベルで「契約による設計」に対応した。これにより[[.NET Framework]]系のすべての[[プログラミング言語]]が対応することとなった。
  
−
また[[Visual Studio]]用のアドオンも提供されており、契約による設計のキモである[[静的チェック]]や[[ドキュメント]]の自動生成も行いえる。とくに[[静的チェック]]はとても重要な要素であり、これが使えないとただの[[コーディング規約]]程度の話で終わってしまい、契約による設計の魅力の99.9999%が失われる。なお[[アドオン]]が使えない[[Visual Studio Express]]ではツール群が使えないので、ただの実行時のエラーチェックと化し、前述のように契約による設計の魅力の99.9999%が失われる。
+
また、[[Visual Studio]]用のアドオンも提供されており、契約による設計のキモである[[静的チェック]]や[[ドキュメント]]の自動生成も行いえる。とくに[[静的チェック]]はとても重要な要素であり、これが使えないとただの[[コーディング規約]]程度の話で終わってしまい、契約による設計の魅力の99.9999%が失われる。
 +
 
 +
なお[[アドオン]]が使えない[[Visual Studio Express]]ではツール群が使えないので、ただの実行時のエラーチェックと化し、前述のように契約による設計の魅力の99.9999%が失われる。
  
 
[[コードコントラクト]]を利用するための[[ライブラリ]]は[[System.Diagnostics.Contracts 名前空間]]にあり、[[事前条件]]、[[事後条件]]、[[不変条件]]などの表すための[[C Sharp/静的クラス|静的クラス]]が用意されている。
 
[[コードコントラクト]]を利用するための[[ライブラリ]]は[[System.Diagnostics.Contracts 名前空間]]にあり、[[事前条件]]、[[事後条件]]、[[不変条件]]などの表すための[[C Sharp/静的クラス|静的クラス]]が用意されている。
28行目: 30行目:
 
* http://msdn.microsoft.com/en-us/devlabs/dd491992
 
* http://msdn.microsoft.com/en-us/devlabs/dd491992
  
−
=== D言語 ===
+
=== [[D言語]] ===
−
[[D言語]]の契約による設計機能は初の正式版リリースにあわせた目玉機能として大々的に宣伝されていた。
 
−
しかし、プロジェクト自体のゴタゴタで正式リリースが遅れに遅れたことで[[.NET Framework 4.0]]に先を越されるという事態になった。
 
−
残念賞である。
 
  
−
=== Sather ===
+
=== [[Eiffel]] ===
−
[[Sather]]は[[Eiffel]]から派生した[[サブセット]]であり、その後に独自の進化を遂げてものらしい。
+
[[Eiffel]]は契約による設計を提唱・サポートした一番最初の[[プログラミング言語]]だそうだ。まったく知らない。
−
まったく知らない。
 
  
−
=== Eiffel ===
+
=== [[Sather]] ===
−
[[Eiffel]]は契約による設計を提唱およびサポートした一番最初の[[プログラミング言語]]だそうだ。
+
[[Eiffel]]から派生した[[サブセット]]で独自の進化を遂げてものらしい。
 
まったく知らない。
 
まったく知らない。
−
 
−
Eiffelの開発元であるEiffel Software（旧名：Interactive Software Engineering、略称：ISE）とマイクロソフト、オーストラリアのモナッシュ大学のグループが共同で[[共通言語ランタイム]]で動く[[Eiffel Sharp|Eiffel#]]なるものを出している<ref>[http://msdn.microsoft.com/ja-jp/library/ms973898.aspx</ref>。Eiffelの一部なので別途パッケージがあるわけではなく、[[Eiffel]]を入れるとオマケで付いてくる感じである。
 
  
 
== 関連項目 ==
 
== 関連項目 ==

MonoBookへの投稿はすべて、他の投稿者によって編集、変更、除去される場合があります。 自分が書いたものが他の人に容赦なく編集されるのを望まない場合は、ここに投稿しないでください。
また、投稿するのは、自分で書いたものか、パブリック ドメインまたはそれに類するフリーな資料からの複製であることを約束してください（詳細はMonoBook:著作権を参照）。 著作権保護されている作品は、許諾なしに投稿しないでください！

このページを編集するには、下記の確認用の質問に回答してください (詳細):

取り消し 編集の仕方 (新しいウィンドウで開きます)

このページで使用されているテンプレート:

このページは 1 個の隠しカテゴリに属しています:

「https://monobook.org/wiki/契約による設計」から取得