差分
ナビゲーションに移動
検索に移動
[[事前条件]]を表す「Contract.Requires()」と、[[事後条件]]を表す「Contract.Ensures()」を覚えておけば完璧である。コードコントラクトおよび[[契約による設計]]を極めたも同然かもしれない。
実のところコードコントラクトは[[D言語]]の目玉機能の[[パクリ]]である。後発だけあって[[プログラミング言語]]レベルではなく[[ランタイム]]レベルでの実装・対応という汎用性の高さ実現している。ただレベルでの実装・対応という汎用性の高さ実現している。個人的には[[C Sharp|C#]]より[[D言語]]の記述法の方が個人的には綺麗だと思う。の記述法の方が綺麗だと思う。
== 注意 ==
