Здравствуйте, 0xC0000005, Вы писали:
C>Контракт класса? Сами термин придумали? В литературе по контрактному программированию ни слова о "Контрактах класса", можно разузнать что такое контракт класса с первоисточниками?
Сразу скажу, что всю ветку не читал, только это сообщение, так что прошу прощения за возможное "не в тему".
Контракт чего бы то ни было — это, по сути, требования к этому, ожидания, которым оно будет удовлетворять всегда, даже при смене реализации.
Если говорить о первоисточниках С++, то можно открыть стандарт и посмотреть, например, главу "Container requirements" — там как раз описываются контракты всех стандартных контейнеров, т.е. набор методов, их сложность, пре-пост-утверждения, смысл (!) каждого метода, а также, помимо методов, еще и типы (например, value_type), что, несомненно, шире интерфейса в понимании Java (просто набор виртуальных функций).
