「コードコントラクト」の版間の差分

imported>鈴木
編集の要約なし
 
(2人の利用者による、間の2版が非表示)
4行目: 4行目:
[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。
[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。


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


== 注意 ==
== 注意 ==
28行目: 28行目:
* [[Nullチェック]]
* [[Nullチェック]]


== 参考文献 ==
[[category: プログラミング]]
{{reflist}}
 
{{stub}}