程序员修炼～契约

今天继续修炼，契约是一个很有用的东西，它是规定了权利和义务，其实程序员修炼营就是一个契约，比如我们要怎么修炼，修炼了会有什么好处，不修炼会有什么后果等等。

一个契约有三个核心要素，第一个要素是前置条件，第二个要素是后置条件，第三个要素是不变性。

契约就像是一个段程序或者方法，它包含输入、处理和输出三个部分，为了使这个程序正常运转，得到我们预期的结果，我们就要首先保证输入满足前置条件。

在输入满足前置条件的情况下，输出要满足预期，同时程序的处理要保证不改变输入中不能被改变的部分，如果程序失败时，不应该对输入时的状态产生影响。