斷言

斷言是作為一種調(diào)試工具被發(fā)明出來的，用來檢查那些“代碼寫對了就肯定成立”的條件，可用if + raise語句實現(xiàn)同樣的效果。

與異常的應(yīng)用場景差異：檢查先驗條件使用斷言，檢查后驗條件使用異常。

def read_file(file_path):

? ? assert is_instance(file_path, str) # 函數(shù)執(zhí)行前，對file_path的類型進行推斷。

? ? if not check_exist(file_path):

? ? ? ? raise NotFoundError()
? ? ? ? # file_path所指定的文件存在。

? ? if not has_privilege(file_path):

? ? ? ? raise PermissionError()
? ? ? ? #?當(dāng)前用戶有權(quán)限讀取

作者認為，raise的兩個條件不屬于bug，是代碼邏輯的一部分，上層代碼捕獲異常后可能會執(zhí)行其他邏輯，因此我們不能接受這部分代碼在生產(chǎn)環(huán)境中被忽略。

我倒覺得沒啥區(qū)別，關(guān)鍵區(qū)別在于生產(chǎn)環(huán)境是否依賴并進行不同的邏輯判斷，還是只是在編寫代碼時進行調(diào)試。

附，參考資料：

1、你真的會正確使用斷言嗎？，https://zhuanlan.zhihu.com/p/36549710