使用断言进行契约式设计