> >>541
> その手の"契約"は、静的にはtemplate解決失敗時の(意味不明な)エラーと assert()で行うのがC++では普通かな。
> あと、STLの連想コンテナは'<'演算子に基づくもので、Javaのようにハッシュとequals()に基づくものじゃないよ。
> だからそんな契約も必要ない。

まるでComparable<T>#CompareTo(T)みたいだな。

しかし、hashCode()なしではHashMapやhashSetの
パフォーマンスに弊害がでるものではないかな。

ついでにこれらのクラスにもそのComparableインタフェースが実装されている。