d:id:torutk:20081013で検討したC++事後条件コードを、クロージャの概念が利用できるBoost.Lambdaライブラリを使って実装します。 実装イメージ 事後条件のイメージとしては、以下のコードのようにメソッドの最初（でなくてもよいが）にアサート文を記述して…