分类: LINUX
2015-12-03 13:55:04
GCC 警告提示
本节主要讲解GCC的警告提示功能。GCC包含完整的出错检查和警告提示功能,它们可以帮助Linux程序员写出更加专业和优美的代码。我们千万不能小瞧这些警告信息,在很多情况下,含有警告信息的代码往往会有意想不到的运行结果。
首先可以先看一下以下这段代码:
#include
void main(void)
{
long long tmp = 1;
printf("This is a bad code!\n");
}
虽然这段代码运行的结果是正确的,但还有以下问题。
? main函数的返回值被声明为void,但实际上应该是int。
? 使用了GNU语法扩展,即使用long long来声明64位整数,不符合ANSI/ISO C语言标准。
? main函数在终止前没有调用return语句。
GCC的警告提示选项有很多种类型,主要可分为“-Wall”类和非“-Wall”类。
1. Wall类警告提示
这一类警告提示选项占了GCC警告选项的90%以上,它不仅包含打开所有警告等功能,还可以单独对常见错误分别指定警告,这些常见的警告选项如下表所示(这些选项可供读者在实际操作时查阅使用)。
选项 作用
-Wall 打开所有类型语法警告,建议读者养成使用该选项的习惯
-Wchar-subscripts 如果数组使用char类型变量做为下标值的话,则发出警告。因为
在某些平台上可能默认为signed char,一旦溢出,就可能导致某
些意外的结果
-Wcomment 当'/*'出现在'/*...*/'注释中,或者'\'出现在'//...'注释结尾处时,
使用-Wcomment会给出警告,它很可能会影响程序的运行结果
-Wformat 检查printf和scanf等格式化输入输出函数的格式字符串与参数类
型的匹配情况,如果发现不匹配则发出警告。某些时候格式字符串
与参数类型的不匹配会导致程序运行错误,所以这是个很有用的警告选项
-Wimplicit 该警告选项实际上是-Wimplicit-int和-Wimplicit-function-declaration
两个警告选项的集合。前者在声明函数却未指明函数返回类型时给出
警告,后者则是在函数声明前调用该函数时给出警告
-Wmissing-braces 当聚合类型或者数组变量的初始化表达式没有充分用括号{}括起时,给出警告
-Wparentheses 这是一个很有用的警告选项,它能帮助用户从那些看起来语法正确但却由于操
作符优先级或者代码结构“障眼”而导致错误运行的代码中解脱出来
-Wsequence-point 关于顺序点(sequence point),在C标准中有解释,不过很晦涩。我
们在平时编码中尽量避免写出与实现相关、受实现影响的代码便
是了。而-Wsequence-point选项恰恰可以帮我们这个忙,它可以帮我们
查出这样的代码来,并给出其警告
-Wswitch 这个选项的功能浅显易懂,通过文字描述也可以清晰地说明。
当以一个枚举类型(enum)作为switch语句的索引时但却没有
处理default情况,或者没有处理所有枚举类型定义范围内的情况
时,该选项会给出警告
-Wunused-function 警告存在一个未使用的static函数的定义或者存在一个只声明却未定
义的static函数
-Wunused-label 用来警告存在一个使用了却未定义或者存在一个定义了却未使用的label
-Wunused-variable 用来警告存在一个定义了却未使用的局部变量或者非常量static变量
-Wunused-value 用来警告一个显式计算表达式的结果未被使用
-Wunused-parameter 用来警告一个函数的参数在函数的实现中并未被用到
-Wuninitialized 该警告选项用于检查一个局部自动变量在使用之前是否已经初始化了
longjmp 调用可能修改一个non-volatile automatic variable时给出警告
这些警告提示读者可以根据自己的不同情况进行相应的选择,这里最为常用的是”-Wall”,上面的这一小段程序使用该警告提示后的结果是:
[root@ft charpter2]# gcc -Wall wrong.c -o wrong
wrong.c:4:warning:return type of'main'is not'int'
wrong.c:In function'main':
wrong.c:5:warning:unused variable'tmp'
可以看出,使用”-Wall”选项找出了未使用的变量tmp以及返回值的问题,但没有找出无效数据类型的错误。
2. 非Wall类警告提示
非Wall类的警告提示中最为常用的有以下两种:“-ansi”和“-pedantic”。
(1)“-ansi”
该选项强制GCC生成标准语法所要求的告警信息,尽管这还并不能保证所有没有警告的程序都是符合ANSI C标准的。使用该选项的运行结果如下所示:
[root@ft charpter2]# gcc -ansi wrong.c -o wrong
wrong.c:In function'main':
wrong.c:4:warning:return type of'main'is not'int'
可以看出,该选项并没有发现“long long”这个无效数据类型的错误。
(2)“-pedantic”
该选项允许发出ANSI C标准所列的全部警告信息,同样也保证所有没有警告的程序都是符合ANSI C标准的。使用该选项的运行结果如下所示:
[root@ft charpter2]# gcc -pedantic wrong.c -o wrong
wrong.c:In function'main':
wrong.c:5:warning:ISO C90 does not support'long long'
wrong.c:4:warning:return type of'main'is not'int'
可以看出,使用该选项查看出了“long long”这个无效数据类型的错误。