C語言難點揭秘4

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

軟件工具

硬件檢查器

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

我沒有做受控試驗來驗證此風格的效果。假如您的經(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)于風格的內(nèi)容：盡管大量公布的內(nèi)存問題描述都強調(diào)工具和語言，對于我來說，的收獲來自“軟的”以開發(fā)人員為中心的流程變更。您在風格和檢測上所做的任何改良都可以幫忙您理解由自動化工具產(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)在