#### [檢查指令](https://lingcoder.gitee.io/onjava8/#/book/16-Validating-Your-Code?id=%e6%a3%80%e6%9f%a5%e6%8c%87%e4%bb%a4) 詳細研究 DbC 之前，思考最簡單使用斷言的辦法，**Meyer**稱它為檢查指令。檢查指令說明你確信代碼中的某個特定屬性此時已經得到滿足。檢查指令的思想是在代碼中表達非明顯性的結論，而不僅僅是為了驗證測試，也同樣為了將來能夠滿足閱讀者而有一個文檔。 在化學領域，你也許會用一種純液體去滴定測量另一種液體，當達到一個特定的點時，液體變藍了。從兩個液體的顏色上并不能明顯看出；這是復雜反應的一部分。滴定完成后一個有用的檢查指令是能夠斷定液體變藍了。 檢查指令是對你的代碼進行補充，當你可以測試并闡明對象或程序的狀態時，應該使用它。