【书名】：《程序员修炼之道》
【章节】：契约式设计（Design By Contract）
【读书笔记】：契约，指双方或者多方共同协议订立用于约束彼此行为的文书或者承诺。在程序设计中，契约式设计可以用于明确约束软件模块之间的交互行为。
契约式设计要求：如果调用者满足程序的所有前置条件（如参数校验），那么程序执行完成后也会满足所有后置条件（结果校验）以及不变式（执行前与执行后都应该满足的条件）。
Kotlin在1.3版本基于契约式设计引入了Contract，用于向编译器提供函数的行为，以帮助编译器执行代码分析。
