id:uskzさんと昨晩朝方まで話し込んでしまった． と言っても，僕の理解力が貧弱すぎただけだが． in, out と、継承 関数が基底クラスの関数をオーバーライドしたものである時は、 その関数自身かまたは基底クラス達の in 契約のうち、 どれか一つが満たされ…