許多人認(rèn)為，如果源代碼編譯干凈，激活所有警告，那么它就可以進(jìn)入驗(yàn)證階段，例如測(cè)試或代碼審查。但是，假設(shè)如果代碼已干凈地編譯，那么存在的任何錯(cuò)誤一定是由對(duì)需求的解釋而不是它們的實(shí)現(xiàn)引起的，這是危險(xiǎn)的。Wojciech對(duì)這一假設(shè)進(jìn)行了實(shí)證評(píng)估，并證明與專用靜態(tài)分析和編碼標(biāo)準(zhǔn)執(zhí)行（CSE）工具生成的警告范圍相比，任何編譯器提供的警告范圍都非常有限。

一種普遍的觀點(diǎn)是，如果源代碼編譯干凈，所有警告都打開，那么它就可以進(jìn)行驗(yàn)證，例如測(cè)試或代碼審查。這種假設(shè)的危險(xiǎn)在于，如果代碼已經(jīng)編譯干凈，那么存在的任何錯(cuò)誤都必須在需求的解釋中，而不是在它們的實(shí)現(xiàn)中。然而，對(duì)這一假設(shè)的實(shí)證評(píng)估最終表明，與專用靜態(tài)分析和編碼標(biāo)準(zhǔn)執(zhí)行（CSE）工具生成的警告范圍相比，任何編譯器提供的警告范圍都受到嚴(yán)重限制。

本文的比較使用了GNU Common C++“2”版本1.6.3，這是一個(gè)大約42，000行代碼的真實(shí)代碼庫(kù)。由于這是一個(gè)跨平臺(tái)庫(kù)，因此它不支持任何特定的編譯器，并且可以用作任何編譯器可能期望處理的代表性示例。其適中的大小允許手動(dòng)檢查所有編譯器警告的準(zhǔn)確性，同時(shí)確保其多樣性和數(shù)量不平凡。

檢查的四個(gè)編譯器是GCC，Visual C++，C++Builder和Intel C++ Compiler，以及靜態(tài)分析和CSE工具，表明如果開發(fā)人員過于依賴編譯器來識(shí)別編碼缺陷，他們可能會(huì)發(fā)現(xiàn)他們的代碼不可維護(hù)，可重用或可移植。此外，Visual C++“團(tuán)隊(duì)版”使用“代碼分析”功能補(bǔ)充其標(biāo)準(zhǔn)編譯器警告，其輸出包含在這些結(jié)果中。

生成警告輸出

在實(shí)踐中，這四個(gè)編譯器中有一個(gè)遺漏的每一個(gè)缺陷都會(huì)對(duì)代碼庫(kù)的質(zhì)量產(chǎn)生影響，無論是可維護(hù)性、可移植性還是可重用性。這在部署代碼時(shí)是一個(gè)重大威脅，盡管大多數(shù)示例源代碼都通過了編譯器的架構(gòu)檢查參數(shù)。

由于這些編譯器基于不同的前端，因此每個(gè)編譯器可能會(huì)發(fā)出不同的警告。表 1 并排比較了每個(gè)編譯器和靜態(tài)分析工具生成的不同警告，用于我們比較中使用的代碼庫(kù)：GNU Common C++ “2”。使用編譯結(jié)果時(shí)可用的每個(gè)編譯器的最新版本，并啟用最大警告級(jí)別。（表 1 的標(biāo)題行指示使用的確切編譯器版本和選項(xiàng)。不是相對(duì)于這些編譯器進(jìn)行基準(zhǔn)測(cè)試，而是將它們的警告輸出與靜態(tài)分析器進(jìn)行比較以進(jìn)行C++。

表 1：默認(rèn)檢測(cè)比較 – 比較的基礎(chǔ)和每個(gè)百分比數(shù)字是編譯器和給定類別中的靜態(tài)分析工具報(bào)告的不同警告之間的比率。標(biāo)題行詳細(xì)說明了用于啟用最大警告級(jí)別的確切編譯器版本和選項(xiàng)。

如表中最后一行所示，CSE 工具生成了超過 400 個(gè)警告，而測(cè)試的編譯器甚至沒有一個(gè)設(shè)法返回 20 個(gè)警告。事實(shí)上，根據(jù)經(jīng)驗(yàn)，靜態(tài)分析識(shí)別的警告是所有四個(gè)編譯器中最好的 25 倍 - 啟用了代碼分析的可視化C++（/analyze 選項(xiàng)）。值得注意的是，如果未啟用此功能，Visual C++ 在所有測(cè)試的編譯器中生成的警告最少。

表 1 中的第一列數(shù)據(jù)顯示了靜態(tài)分析工具也檢測(cè)到的每個(gè)編譯器生成的警告的百分比。請(qǐng)注意，重疊程度很高，平均 84% 的編譯器警告由 CSE 工具復(fù)制。比較的這一面只是為了完整性，因?yàn)闊o論是否執(zhí)行靜態(tài)分析，開發(fā)人員都需要啟用編譯器警告。

表 1 的其余行顯示了比較的另一面：編譯器標(biāo)記了多少靜態(tài)可檢測(cè)的內(nèi)容？很明顯，編譯器警告避開了“C++的效率和使用”類別。這是意料之中的，因?yàn)榫幾g器優(yōu)化是在后端執(zhí)行的，通常是靜默的。但是，值得注意的是，專用的 CSE 工具在此類別中有一系列檢查，專注于低效設(shè)計(jì)，與低級(jí)編譯器優(yōu)化不同，這些檢查無法自動(dòng)糾正。

錯(cuò)過的常見警告

可移植性是編譯器庫(kù)中缺少的常見警告類別。只有 C++Builder 生成了一個(gè)可歸類為可移植性問題的警告，而靜態(tài)分析工具標(biāo)記了 17 個(gè)警告。這些表示符合 ISO C++ 語(yǔ)言定義的構(gòu)造，但可能會(huì)導(dǎo)致不同的編譯器實(shí)現(xiàn)出現(xiàn)問題。編譯器供應(yīng)商通過提供 ISO C++ 的擴(kuò)展來鎖定開發(fā)人員的情況并不少見，可移植性在他們的議程上并不重要也就不足為奇了。這代表了可移植性問題的另一個(gè)方面，即符合 ISO C++，這可以通過靜態(tài)分析工具中的單獨(dú)警告類別來解決。

對(duì)于大多數(shù)編譯器供應(yīng)商來說，ISO C++合規(guī)性歸結(jié)為接受盡可能多的有效C++代碼，同時(shí)回避檢測(cè)不一致代碼的問題 - 通常是他們自己的語(yǔ)言擴(kuò)展。檢測(cè) ISO C++不合格是 CSE 工具的優(yōu)勢(shì)之一，這在表 1 中很明顯。很明顯，大多數(shù)編譯器警告可以歸類為（代碼）“設(shè)計(jì)問題”和“可維護(hù)性”，其中一些警告非常小，值得將它們降級(jí)為樣式問題。然而，即使對(duì)于這些重點(diǎn)領(lǐng)域，與靜態(tài)分析工具相比，其覆蓋率也遠(yuǎn)非全面，對(duì)于最佳競(jìng)爭(zhēng)者 - 具有代碼分析功能的可視化C++，覆蓋率為7%。

編譯器傳統(tǒng)上避免的其他警告類別包括：命名約定、代碼布局、復(fù)雜性指標(biāo)閾值以及禁止某些關(guān)鍵字（例如 throw）和函數(shù)（例如 malloc），但 Visual C++ 代碼分析功能有一個(gè)明顯的例外，該功能具有硬連線警告，用于使用 _alloca、_snprintf 和 TerminateThread 函數(shù)。由于這不如靜態(tài)分析工具的可配置檢查（允許指定任何函數(shù)）全面，因此獲得了半分，使該編譯器在本地（公司特定）標(biāo)準(zhǔn)執(zhí)行方面得分為 10%。實(shí)施上述區(qū)域的主要好處是增強(qiáng)了代碼的可重用性，從表 1 中可以明顯看出，編譯器實(shí)際上尚未利用這一點(diǎn)。

在比較每個(gè)工具生成的實(shí)際警告實(shí)例時(shí)，將原始警告計(jì)數(shù)制成表格并不是特別有啟發(fā)性，因此常見的C++編碼標(biāo)準(zhǔn)將作為比較的客觀基礎(chǔ)。從表 2 可以看出，與 CSE 工具記錄的違規(guī)行為相比，沒有一個(gè)編譯器提供任何明顯的高完整性C++、JSF++ 或 MISRA C++ 強(qiáng)制實(shí)施。

表 2：編碼標(biāo)準(zhǔn)執(zhí)行 （CSE） 比較

全面性教育工具：最全面/可轉(zhuǎn)移的路線

一個(gè)常見的誤解是，編譯器警告是靜態(tài)分析源代碼的充分方法。與專用的靜態(tài)分析和 CSE 工具（如 PRQA 的 QA?C++）相比，市場(chǎng)領(lǐng)先的編譯器提供的警告范圍有限。此外，可用的少數(shù)檢查往往集中在代碼錯(cuò)誤行為和可維護(hù)性問題上，而可重用性和可移植性問題完全被忽視。專用的 CSE 工具提供了所有這些領(lǐng)域的全面實(shí)施，同時(shí)保持編譯器不可知性，因此代碼庫(kù)和開發(fā)環(huán)境不必局限于特定的編譯器和平臺(tái)。

審核編輯：郭婷