基礎からのCode Contracts5. 何か動かないよ？ よくある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)
