d:id:torutk:20080914で契約による設計をC++言語で実装してみました。しかし、事後条件については、簡潔に書くのが難しいです。 事後条件のコード検討 ちょっとした名簿を例にコードを見ていきます。PersonListクラスとPersonクラスがあり、PersonListのadd…