>>94
それはおかしい
post conditionが等価なら内部状態が変化してもいい

問題はstd::vector<Hoge> h(10);　のように書いてるからでしょ

std::shared_ptrは宣言と同時にポインタの参照先を指定しなければならない
それをどこも指してないスマポを入れるからおかしくなるんだろ