不常見但是很有用的gcc命令行選項(二)
gcc 編譯器提供了幾乎數(shù)不清的命令行選項列表。當然,沒有人會使用過或者精通它所有的命令行選項,但是有一些命令行選項是每一個 gcc 用戶都應該知道的 - 即使不是必須知道。它們中有一些很常用,其他一些不太常用,但不常用并不意味著它們的用處沒前者大。
在這個系列的文章中,我們集中于一些不常用但是很有用的 gcc 命令行選項,在***節(jié)已經(jīng)講到幾個這樣的命令行選項。
不知道你是否能夠回想起,在這個系列教程的***部分的開始,我簡要的提到了開發(fā)者們通常用來生成警告的 -Wall 選項,并不包括一些特殊的警告。如果你不了解這些特殊警告,并且不知道如何生成它們,不用擔心,我將在這篇文章中詳細講解關于它們所有的細節(jié)。
除此以外,這篇文章也將涉及與浮點值相關的 gcc 警告選項,以及在 gcc 命令行選項列表變得很大的時候如何更好的管理它們。
在繼續(xù)之前,請記住,這個教程中的所有例子、命令和指令都已在 Ubuntu 16.04 LTS 操作系統(tǒng)和 gcc 5.4.0 上測試過。
生成 -Wall 選項不包括的警告
盡管 gcc 編譯器的 -Wall 選項涵蓋了絕大多數(shù)警告標記,依然有一些警告不能生成。為了生成它們,請使用 -Wextra 選項。
比如,下面的代碼:
- #include <stdio.h>
- #include <stdlib.h>
- int main()
- {
- int i=0;
- /* ...
- some code here
- ...
- */
- if(i);
- return 1;
- return 0;
- }
我不小心在 if 條件后面多打了一個分號。現(xiàn)在,如果使用下面的 gcc 命令來進行編譯,不會生成任何警告。
- gcc -Wall test.c -o test
但是如果同時使用 -Wextra 選項來進行編譯:
- gcc -Wall -Wextra test.c -o test
會生成下面這樣一個警告:
- test.c: In function ‘main’:
- test.c:10:8: warning: suggest braces around empty body in an ‘if’ statement [-Wempty-body]
- if(i);
從上面的警告清楚的看到, -Wextra 選項從內(nèi)部啟用了 -Wempty-body 選項,從而可以檢測可疑代碼并生成警告。下面是這個選項啟用的全部警告標記。
- -Wclobbered
- -Wempty-body
- -Wignored-qualifiers
- -Wmissing-field-initializers
- -Wmissing-parameter-type (僅針對 C 語言)
- -Wold-style-declaration (僅針對 C 語言)
- -Woverride-init
- -Wsign-compare
- -Wtype-limits
- -Wuninitialized
- -Wunused-parameter (只有和 -Wunused 或 -Wall 選項使用時才會啟用)
- -Wunused-but-set-parameter (只有和-Wunused或-Wall` 選項使用時才會生成)
如果想對上面所提到的標記有更進一步的了解,請查看 gcc 手冊。
此外,遇到下面這些情況, -Wextra 選項也會生成警告:
- 一個指針和整數(shù) 0 進行 <, <=, >, 或 >= 比較
- (僅 C++)一個枚舉類型和一個非枚舉類型同時出現(xiàn)在一個條件表達式中
- (僅 C++)有歧義的虛擬基底
- (僅 C++)寄存器類型的數(shù)組加下標
- (僅 C++)對寄存器類型的變量進行取址
- (僅 C++)基類沒有在派生類的復制構建函數(shù)中進行初始化
浮點值的等值比較時生成警告
你可能已經(jīng)知道,浮點值不能進行確切的相等比較(如果不知道,請閱讀與浮點值比較相關的 FAQ)。但是如果你不小心這樣做了, gcc 編譯器是否會報出錯誤或警告?讓我們來測試一下:
下面是一段使用 == 運算符進行浮點值比較的代碼:
- #include<stdio.h>
- void compare(float x, float y)
- {
- if(x == y)
- {
- printf("\n EQUAL \n");
- }
- }
- int main(void)
- {
- compare(1.234, 1.56789);
- return 0;
- }
使用下面的 gcc 命令(包含 -Wall 和 -Wextra 選項)來編譯這段代碼:
- gcc -Wall -Wextra test.c -o test
遺憾的是,上面的命令沒有生成任何與浮點值比較相關的警告。快速看一下 gcc 手冊,在這種情形下可以使用一個專用的 -Wfloat-equal 選項。
下面是包含這個選項的命令:
- gcc -Wall -Wextra -Wfloat-equal test.c -o test
下面是這條命令產(chǎn)生的輸出:
- test.c: In function ‘compare’:
- test.c:5:10: warning: comparing floating point with == or != is unsafe [-Wfloat-equal]
- if(x == y)
正如上面你所看到的輸出那樣, -Wfloat-equal 選項會強制 gcc 編譯器生成一個與浮點值比較相關的警告。
這兒是gcc 手冊關于這一選項的說明:
這背后的想法是,有時,對程序員來說,把浮點值考慮成近似***精確的實數(shù)是方便的。如果你這樣做,那么你需要通過分析代碼,或者其他方式,算出這種計算方式引入的***或可能的***誤差,然后進行比較時(以及產(chǎn)生輸出時,不過這是一個不同的問題)允許這個誤差。特別要指出,不應該檢查是否相等,而應該檢查兩個值是否可能出現(xiàn)范圍重疊;這是用關系運算符來做的,所以等值比較可能是搞錯了。
如何更好的管理 gcc 命令行選項
如果在你使用的 gcc 命令中,命令行選項列表變得很大而且很難管理,那么你可以把它放在一個文本文件中,然后把文件名作為 gcc 命令的一個參數(shù)。之后,你必須使用 @file 命令行選項。
比如,下面這行是你的 gcc 命令:
- gcc -Wall -Wextra -Wfloat-equal test.c -o test
然后你可以把這三個和警告相關的選項放到一個文件里,文件名叫做 gcc-options:
- $ cat gcc-options -Wall -Wextra -Wfloat-equal
這樣,你的 gcc 命令會變得更加簡潔并且易于管理:
- gcc @gcc-options test.c -o test
下面是 gcc 手冊關于 @file 的說明:
從文件中讀取命令行選項。讀取到的選項隨之被插入到原始 @file 選項所在的位置。如果文件不存在或者無法讀取,那么這個選項就會被當成文字處理,而不會被刪除。
文件中的選項以空格分隔。選項中包含空白字符的話,可以用一個由單引號或雙引號包圍完整選項。任何字符(包括反斜杠: '\')均可能通過一個 '\' 前綴而包含在一個選項中。如果該文件本身包含額外的 @file 選項,那么它將會被遞歸處理。
結論
在這個系列的教程中,我們一共講解了 5 個不常見但是很有用的 gcc 命令行選項: -Save-temps、-g、 -Wextra、-Wfloat-equal 以及 @file。記得花時間練習使用每一個選項,同時不要忘了瀏覽 gcc 手冊上面所提供的關于它們的全部細節(jié)。
你是否知道或使用其他像這樣有用的 gcc 命令行選項,并希望把它們在全世界范圍內(nèi)分享?請在下面的評論區(qū)留下所有的細節(jié)。