今天我們學(xué)習(xí)了斷言編程，編寫代碼時(shí)，我們總是會(huì)做出一些假設(shè)，斷言就是用于在代碼中捕捉這些假設(shè)。斷言表示為一些布爾表達(dá)式，程序員相信在程序中的某個(gè)特定點(diǎn)該表達(dá)式值為真，可以在任何時(shí)候啟用和禁用斷言驗(yàn)證，因此可以在測(cè)試時(shí)啟用斷言而在部署時(shí)禁用斷言。同樣，程序投入運(yùn)行后，最終用戶在遇到問(wèn)題時(shí)可以重新啟用斷言。
使用斷言可以創(chuàng)建更穩(wěn)定、品質(zhì)更好且 不易于出錯(cuò)的代碼。當(dāng)需要在一個(gè)值為FALSE時(shí)中斷當(dāng)前操作的話，可以使用斷言。單元測(cè)試必須使用斷言，除了類型檢查和單元測(cè)試外，斷言還提供了一種確定各種特性是否在程序中得到維護(hù)的極好的方法。
使用斷言使我們向按契約式設(shè)計(jì)更近了一步。
