C語言難點揭秘[4]語言

軟件工具

硬件檢查器

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

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

檢測

檢測是編碼標準的補充。二者各有裨益，但結(jié)合使用效果特殊好。機智的C或C++專業(yè)人員甚至可以掃瞄不熟識的源代碼，并以極低的本錢檢測內(nèi)存問題。通過少量的實踐和適當?shù)奈谋舅褜?，您能夠快速驗證平衡的*alloc()和free()或者new和delete的源主體。人工查看此類內(nèi)容通常會消失像清單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為真，簡潔使用自動運行時工具不能檢測發(fā)生的內(nèi)存泄漏。認真進展源分析可以從今類條件推理出證明正確的結(jié)論。我重復(fù)一下我寫的關(guān)于風(fēng)格的內(nèi)容：盡管大量公布的內(nèi)存問題描述都強調(diào)工具和語言，對于我來說，的收獲來自“軟的”以開發(fā)人員為中心的流程變更。您在風(fēng)格和檢測上所做的任何改良都可以幫忙您理解由自動化工具產(chǎn)生的診斷。

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

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

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