-
如何使用斷言
建立基本斷言是相對瑣碎的，但是即使essert.h是C標(biāo)準(zhǔn)的一部分，它也可能會因一個開發(fā)環(huán)境而異。如果您要檢查不同工具鏈中的斷言，您會注意到斷言的實現(xiàn)可能會大不相同。這使我們進(jìn)入了使用主張的第一步，該斷言是檢查您的essert.h模塊。例如，讓我們看看Arm的Keil MDK中的sustert.h模塊的樣子。花一點時間檢查下面的圖1中的代碼。
-
利用靜態(tài)主張來改善嵌入式應(yīng)用
運行時斷言在開發(fā)和執(zhí)行逐項合同原理中捕獲錯誤的力量。但是，并非需要在運行時驗證嵌入式系統(tǒng)中的所有假設(shè)。某些條件可以并且應(yīng)該在編譯時檢查，以確保代碼的正確性甚至在運行之前。這是靜態(tài)斷言發(fā)揮作用的地方。
