Еще не все сделано с Проектированием по контракту. Предстоит изучить два важных следствия рассмотренных принципов:
Как они приводят к механизму дисциплинированной обработки исключений; это тема следующей лекции.
Как они комбинируются с наследованием, позволяя нам указать, что любые семантические ограничения, применимые к классу, применимы также и к его потомкам; и что семантические ограничения, применимые к компоненту, применимы и при возможных его переопределениях. Эта тема будет изучаться при рассмотрении наследования.
Обобщая, утверждения и Проектирование по контракту будут сопровождать нас во всей оставшейся части этой книги, позволяя проверить, знаем ли мы, что делают создаваемые нами элементы.