c語(yǔ)言assert的用處 ASSERT在C語(yǔ)言中有什么作用?
ASSERT在C語(yǔ)言中有什么作用?Assert(f)是一種非常重要的程序調(diào)試手段。在調(diào)試模式下,括號(hào)中的表達(dá)式將在每次運(yùn)行后計(jì)算。如果表達(dá)式為0,則執(zhí)行將中斷,并彈出警告框。用戶(hù)可以選擇“繼續(xù)”、“重
ASSERT在C語(yǔ)言中有什么作用?
Assert(f)是一種非常重要的程序調(diào)試手段。在調(diào)試模式下,括號(hào)中的表達(dá)式將在每次運(yùn)行后計(jì)算。如果表達(dá)式為0,則執(zhí)行將中斷,并彈出警告框。用戶(hù)可以選擇“繼續(xù)”、“重試”和“忽略”。在發(fā)布模式下,此語(yǔ)句不會(huì)編譯為代碼。Assert一般用于確認(rèn)程序內(nèi)部參數(shù)的正確性,即調(diào)用內(nèi)部函數(shù)時(shí),調(diào)用方應(yīng)保證參數(shù)的正確性,而在被調(diào)用函數(shù)內(nèi)部,Assert可用于檢查參數(shù)是否符合要求。
既然C語(yǔ)言函數(shù)的局部變量會(huì)被釋放,那為什么函數(shù)還可以把它return返回呢?
看了下面兄弟的回信,我們只能說(shuō)他們一半是對(duì)的。
真正的原因是abi(應(yīng)用程序二進(jìn)制接口)。
ABI定義了與系統(tǒng)交互的細(xì)節(jié),如數(shù)據(jù)類(lèi)型、大小和對(duì)齊方式;調(diào)用約定(控制函數(shù)的參數(shù)傳遞方向、可變長(zhǎng)度處理、堆棧清理體以及如何接受返回值等);系統(tǒng)調(diào)用的編碼以及應(yīng)用程序如何對(duì)操作系統(tǒng)進(jìn)行系統(tǒng)調(diào)用系統(tǒng);以及采用完整ABI操作系統(tǒng)基本格式、程序庫(kù)等的第二代對(duì)象文件。完整的ABI,如英特爾二進(jìn)制兼容標(biāo)準(zhǔn)(IBCs),允許支持它的操作系統(tǒng)上的程序在支持此ABI的其他操作系統(tǒng)上運(yùn)行,而無(wú)需修改。
其他ABI標(biāo)準(zhǔn)化細(xì)節(jié)包括C名稱(chēng)修改和同一平臺(tái)上編譯器之間的調(diào)用約定,但不包括跨平臺(tái)兼容性。
至于下面兄弟提到的eax save返回值,這只是X86的ABI規(guī)范。在其他CPU架構(gòu)平臺(tái)(如PowerPC)中,實(shí)現(xiàn)是不同的!--在PowerPC中,返回值存儲(chǔ)在R3寄存器中