3.1.4 契约式设计小结