bessie

摘要： OO第三单元总结 单元概述 本单元涉及到契约式编程，即供应方和用户在各自履行自己的义务，获得自己的利益的情况下，达成某种契约，用契约规定双方的权益和义务。契约式设计强调三个概念：前置条件，后置条件和不变式。前置条件发生在每个操作（方法，或者函数）的最开始，后置条件发生在每个操作的最后，不变式实际上是 阅读全文