## [前置条件](https://lingcoder.gitee.io/onjava8/#/book/16-Validating-Your-Code?id=%e5%89%8d%e7%bd%ae%e6%9d%a1%e4%bb%b6) 前置条件的概念来自于契约式设计(**Design By Contract, DbC**), 利用断言机制实现。我们从 Java 的断言机制开始来介绍 DBC，最后使用谷歌的 Guava 库作为前置条件。