5. 何か動かないよ? よくあるnullチェックをしてみようと思った Contract.Requiresは事前条件 引数がnullだったら契約違反という感じにしたい static void Hoge(string arg) { Contract.Requires(arg != null); } が、実行しても無反応 Conditional属性がついているのでコンパル時に 消える(条件付きメソッド、DEBUGとかでお馴染み) 条件はCONTRACTS_FULL(但し自分で足す意味はない) 6. 何か動かないよ? Part2 よくあるnullチェックをしてみようと思った again Contract.Requires<TException>も事前条件 引数がnullだったら契約違反で例外ぶん投げたい static void Hoge(string arg)
![基礎からのCode Contracts](https://cdn-ak-scissors.b.st-hatena.com/image/square/9b4acbf6783d15cac24e06058151b95f5b327713/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Fcodecontractsbasic-110523101146-phpapp02-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)