RAIIと言わずに「オブジェクトの所有権をハッキリさせる」とすれば良いよ。

>261
契約による設計かね？それもけっこう重たいよ。
まあ、(assertみたいに)コンパイルオプションで無効にできるようにするとか、関数の戻り値の契約と合致する場合は
動的チェックを省略するとか色々と改善の余地はあるけど。