redwhite90пролетевшийпропущено...


Предусловие ослабляем: наследник может принимать отрицательные аргументы. Все операции которые вызывают метод с положительными аргументами ничего не заметили.
Постусловие: наш класс может возвращать результат не больше Integer.MAX_VALUE.
Наследник может сосчитать большие значения. Существуюшие клиенты опять таки ничего не заметят.


хотя бррр...

давайте математически:

родитель
предусловие
принимает числа [0;100]
постусловие
возвращает числа [0; 10000]
наследник
предусловие
принимает числа [-100;100]
постусловие
возвращает числа [0;55000]


сравним предусловия:
родитель [0;100]
наследник [-100;100]
сравним постусловия
родитель [0; 10000]
наследник [0;55000]


Что в предусловии, что в постусловии мы расширили диапазон. Почему в одном случае это усиление(видимо в пост) а в другом это ослабление?


давайте ещё разок к этой части дискуссии.

насчёт постусловия.
Если мы уменьшим диапазон возвращаемых значений, то соответственно для каких то случаев, когда родитель возвращал какое-то значение предок отработает как-то не так. -нарушение принципа.


Если мы уменьшим диапазон возвращаемых значений -
авторГм. это ослабление. Его не должно быть - ибо тот кто работает с предком может не ожидать получение 10001. тоже как бы нарушение принципа.

Вот это то мне и непонятно.

Вроде бы всё логично объяснил.