C語言難點(diǎn)揭秘4

C語言難點(diǎn)揭秘[4]語言

軟件工具

硬件檢查器

在這整個(gè)領(lǐng)域中，我始終認(rèn)為最有用并且投資回報(bào)率的是考慮改良源代碼的風(fēng)格。它不需要昂貴的代價(jià)或嚴(yán)格的形式；可以始終取消與內(nèi)存無關(guān)的段的解釋，但影響內(nèi)存的定義固然需要顯式解釋。添加幾個(gè)簡(jiǎn)潔的單詞可使內(nèi)存結(jié)果更清晰，并且內(nèi)存編程會(huì)得到改良。

我沒有做受控試驗(yàn)來驗(yàn)證此風(fēng)格的效果。假如您的經(jīng)受與我一樣，您將發(fā)覺沒有說明資源影響的策略簡(jiǎn)直無法忍受。這樣做很簡(jiǎn)潔，但帶來的好處太多了。

檢測(cè)

檢測(cè)是編碼標(biāo)準(zhǔn)的補(bǔ)充。二者各有裨益，但結(jié)合使用效果特殊好。機(jī)智的C或C++專業(yè)人員甚至可以掃瞄不熟識(shí)的源代碼，并以極低的本錢檢測(cè)內(nèi)存問題。通過少量的實(shí)踐和適當(dāng)?shù)奈谋舅褜?，您能夠快速?yàn)證平衡的*alloc()和free()或者new和delete的源主體。人工查看此類內(nèi)容通常會(huì)消失像清單7中一樣的問題。

清單7.麻煩的內(nèi)存泄漏

staticchar*important_pointer=NULL;

voidf9()

{

if(!important_pointer)

important_pointer=malloc(IMPORTANT_SIZE);

...

if(condition)

/*Ooops!Wejustlostthereference

important_pointeralreadyheld.*/

important_pointer=malloc(DIFFERENT_SIZE);

...

}

假如condition為真，簡(jiǎn)潔使用自動(dòng)運(yùn)行時(shí)工具不能檢測(cè)發(fā)生的內(nèi)存泄漏。認(rèn)真進(jìn)展源分析可以從今類條件推理出證明正確的結(jié)論。我重復(fù)一下我寫的關(guān)于風(fēng)格的內(nèi)容：盡管大量公布的內(nèi)存問題描述都強(qiáng)調(diào)工具和語言，對(duì)于我來說，的收獲來自“軟的”以開發(fā)人員為中心的流程變更。您在風(fēng)格和檢測(cè)上所做的任何改良都可以幫忙您理解由自動(dòng)化工具產(chǎn)生的診斷。

靜態(tài)的自動(dòng)語法分析

固然，并不是只有人類才能讀取源代碼。您還應(yīng)使靜態(tài)語法分析成為開發(fā)流程的一局部。靜態(tài)語法分析是lint、嚴(yán)格編譯和幾種商業(yè)產(chǎn)品執(zhí)行的內(nèi)容：掃描編譯器承受的源文本和目標(biāo)項(xiàng)，但這可能是錯(cuò)誤的病癥。

盼望讓您的代碼無lint。盡管lint已過時(shí)，并有肯定的局限性，但是，沒有使用它（或其較高級(jí)的后代）的很多程序員犯了很大的錯(cuò)誤。通常狀況下，您能夠編寫忽視lint的優(yōu)秀的專業(yè)質(zhì)量代碼，但努力這樣做的結(jié)果通常會(huì)發(fā)生重大錯(cuò)誤。其中一些錯(cuò)誤影響內(nèi)存的正確性。與讓客戶首先發(fā)覺內(nèi)存錯(cuò)誤的代價(jià)相比，即使對(duì)這種類別的產(chǎn)品支付最昂貴的許可費(fèi)也失去了意義。去除源代碼。現(xiàn)在