www.久久久久|狼友网站av天堂|精品国产无码a片|一级av色欲av|91在线播放视频|亚洲无码主播在线|国产精品草久在线|明星AV网站在线|污污内射久久一区|婷婷综合视频网站

斷言

我要報(bào)錯(cuò)

  • 如何使用斷言

    建立基本斷言是相對(duì)瑣碎的，但是即使essert.h是C標(biāo)準(zhǔn)的一部分，它也可能會(huì)因一個(gè)開(kāi)發(fā)環(huán)境而異。如果您要檢查不同工具鏈中的斷言，您會(huì)注意到斷言的實(shí)現(xiàn)可能會(huì)大不相同。這使我們進(jìn)入了使用主張的第一步，該斷言是檢查您的essert.h模塊。例如，讓我們看看Arm的Keil MDK中的sustert.h模塊的樣子?；ㄒ稽c(diǎn)時(shí)間檢查下面的圖1中的代碼。

  • 利用靜態(tài)主張來(lái)改善嵌入式應(yīng)用

    運(yùn)行時(shí)斷言在開(kāi)發(fā)和執(zhí)行逐項(xiàng)合同原理中捕獲錯(cuò)誤的力量。但是，并非需要在運(yùn)行時(shí)驗(yàn)證嵌入式系統(tǒng)中的所有假設(shè)。某些條件可以并且應(yīng)該在編譯時(shí)檢查，以確保代碼的正確性甚至在運(yùn)行之前。這是靜態(tài)斷言發(fā)揮作用的地方。