gcc教程.txt

对gcc编译器进行了深入且系统的介绍

-pedantic-errors  
该选项和`-pedantic’类似,但是显示错误而不是警告.  
-W  
对下列事件显示额外的警告信息:  
   *  
非易变自动变量(nonvolatile automatic variable)可能在调用longjmp时发生改变. 这些警告仅在优化编译时发生.  
编译器只知道对setjmp的调用,他不可能知道会在哪里调用longjmp,事实上一个 信号处理例程可以在程序的任何地点调用他.其结果是,即使程序没有问题,你也可能会得到警告,因为无法在可能出现问题 的地方调用longjmp.  


   *  
既可以返回值,也可以不返回值的函数. (缺少结尾的函数体被看作不返回函数值)例如,下面的函数将导致这种警告:  

foo (a) 
{ 
  if (a > 0) 
    return a; 
} 



由于GNU CC不知道某些函数永不返回(含有abort和longjmp),因此有可能出现 虚假警告.  

   *  
表达式语句或逗号表达式的左侧没有产生作用(side effect).如果要防止这种警告,应该把未使用的表达式强制转换 为void类型.例如,这样的表达式`x[i,j]’会导致警告,而`x[(void)i,j]’就不会.  

   *  
无符号数用`>’或`<=’和零做比较.  


-Wimplicit-int  
警告没有指定类型的声明.  

-Wimplicit-function-declaration  
警告在声明之前就使用的函数.  

-Wimplicit  
同-Wimplicit-int和-Wimplicit-function-declaration.  

-Wmain  
如果把main函数声明或定义成奇怪的类型,编译器就发出警告.典型情况下,这个函数用于外部连接, 返回int数值,不需要参数,或指定两个参数.  

-Wreturn-type  
如果函数定义了返回类型,而默认类型是int型,编译器就发出警告.同时警告那些不带返回值的 return语句,如果他们所属的函数并非void类型.  

-Wunused  
如果某个局部变量除了声明就没再使用,或者声明了静态函数但是没有定义,或者某条语句的运算结果显然没有使用, 编译器就发出警告.  

-Wswitch  
如果某条switch语句的参数属于枚举类型,但是没有对应的case语句使用枚举元素,编译器 就发出警告. ( default语句的出现能够防止这个警告.)超出枚举范围的case语句同样会 导致这个警告.  

-Wcomment  
如果注释起始序列`/*’出现在注释中,编译器就发出警告.  

-Wtrigraphs  
警告任何出现的trigraph (假设允许使用他们).  

-Wformat  
检查对printf和scanf等函数的调用,确认各个参数类型和格式串中的一致.  

-Wchar-subscripts  
警告类型是char的数组下标.这是常见错误,程序员经常忘记在某些机器上char有符号.  

-Wuninitialized  
在初始化之前就使用自动变量.  
这些警告只可能做优化编译时出现,因为他们需要数据流信息,只有做优化的时候才估算数据流信息.如果不指定 `-O’选项,就不会出现这些警告.  

这些警告仅针对等候分配寄存器的变量.因此不会发生在声明为volatile的变量上面,不会发生在已经 取得地址的变量,或长度不等于1, 2, 4, 8字节的变量.同样也不会发生在结构,联合或数组上面,即使他们在 寄存器中.  

注意,如果某个变量只计算了一个从未使用过的值,这里可能不会警告.因为在显示警告之前,这样的计算已经被 数据流分析删除了.  

这些警告作为可选项是因为GNU CC还没有智能到判别所有的情况,知道有些看上去错误的代码其实是正确的.下面是 一个这样的例子:  


{ 
  int x; 
  switch (y) 
    { 
    case 1: x = 1; 
      break; 
    case 2: x = 4; 
      break; 
    case 3: x = 5; 
    } 
  foo (x); 
} 



如果y始终是1, 2或3,那么x总会被初始化,但是GNU CC不知道这一点.下面是 另一个普遍案例:  

{ 
  int save_y; 
  if (change_y) save_y = y, y = new_y; 
  ... 
  if (change_y) y = save_y; 
} 



这里没有错误,因为只有设置了save_y才使用他.  
把所有不返回的函数定义为volatile可以避免某些似是而非的警告. 

wy79 2005-1-5 11:11 
 
-Wparentheses 
在某些情况下如果忽略了括号,编译器就发出警告. 

-Wtemplate-debugging 
当在C++程序中使用template的时候,如果调试(debugging)没有完全生效,编译器就发出警告. (仅用于C++). 

-Wall 
结合所有上述的`-W'选项.通常我们建议避免这些被警告的用法，我们相信,恰当结合宏的使用能够 轻易避免这些用法。 

剩下的`-W...'选项不包括在`-Wall'中,因为我们认为在必要情况下,这些被编译器警告 的程序结构,可以合理的用在"干净的"程序中. 


-Wtraditional 
如果某些程序结构在传统C中的表现和ANSI C不同,编译器就发出警告. 

   * 
宏参出现在宏体的字符串常量内部.传统C会替换宏参,而ANSI C则视其为常量的一部分. 

   * 
某个函数在块(block)中声明为外部,但在块结束后才调用. 

   * 
switch语句的操作数类型是long. 


-Wshadow 
一旦某个局部变量屏蔽了另一个局部变量,编译器就发出警告. 

-Wid-clash-len 
一旦两个确定的标识符具有相同的前len个字符,编译器就发出警告.他可以协助你开发一些将要在某些 过时的,危害大脑的编译器上编译的程序. 

-Wpointer-arith 
任何语句如果依赖于函数类型的大小(size)或者void类型的大小,编译器就发出警告. GNU C为了 便于计算void *指针和函数指针,就把这些类型的大小定义为1. 

-Wcast-qual 
一旦某个指针强制类型转换以便移除类型修饰符时,编译器就发出警告.例如,如果把const char * 强制转换为普通的char *时,警告就会出现. 

-Wcast-align 
一旦某个指针类型强制转换时,导致目标所需的地址对齐(alignment)增加,编译器就发出警告.例如,某些机器上 只能在2或4字节边界上访问整数,如果在这种机型上把char *强制转换成int *类型, 编译器就发出警告. 

-Wwrite-strings 
规定字符串常量的类型是const char[length],因此,把这样的地址复制给 non-const char *指针将产生警告.这些警告能够帮助你在编译期间发现企图写入字符串常量 的代码,但是你必须非常仔细的在声明和原形中使用const,否则他们只能带来麻烦;所以我们没有让 `-Wall'提供这些警告. 

-Wconversion 
如果某函数原形导致的类型转换和无函数原形时的类型转换不同,编译器就发出警告.这里包括定点数和浮点数的 互相转换,改变定点数的宽度或符号,除非他们和缺省声明(default promotion)相同. 

-Waggregate-return 
如果定义或调用了返回结构或联合的函数,编译器就发出警告. (从语言角度你可以返回一个数组,然而同样会 导致警告.) 

-Wstrict-prototypes 
如果函数的声明或定义没有指出参数类型,编译器就发出警告. (如果函数的前向引用说明指出了参数类型,则允许后面 使用旧式风格的函数定义,而不会产生警告.) 

-Wmissing-prototypes 
如果没有预先声明函数原形就定义了全局函数,编译器就发出警告.即使函数定义自身提供了函数原形也会产生这个警告. 他的目的是检查没有在头文件中声明的全局函数. 

-Wmissing-declarations 
如果没有预先声明就定义了全局函数,编译器就发出警告.即使函数定义自身提供了函数原形也会产生这个警告.这个选项 的目的是检查没有在头文件中声明的全局函数. 

-Wredundant-decls 
如果在同一个可见域某定义多次声明,编译器就发出警告,即使这些重复声明有效并且毫无差别. 

-Wnested-externs 
如果某extern声明出现在函数内部,编译器就发出警告. 

-Wenum-clash 
对于不同枚举类型之间的转换发出警告(仅适用于C++). 

-Wlong-long 
如果使用了long long 类型就发出警告.该警告是缺省项.使用`-Wno-long-long' 选项能够防止这个警告. `-Wlong-long'和`-Wno-long-long'仅在 `-pedantic'之下才起作用. 

-Woverloaded-virtual 
(仅适用于C++.)在继承类中,虚函数的定义必须匹配虚函数在基类中声明的类型特征(type signature).当 继承类声明了某个函数,它可能是个错误的尝试企图定义一个虚函数,使用这个选项能够产生警告:就是说,当某个函数和基类 中的虚函数同名,但是类型特征不符合基类的任何虚函数,编译器将发出警告. 

-Winline 
如果某函数不能内嵌(inline),无论是声明为inline或者是指定了-finline-functions 选项,编译器都将发出警告. 

-Werror 
视警告为错误;出现任何警告即放弃编译. 

  
调试选项(DEBUGGING OPTION)
GNU CC拥有许多特别选项,既可以调试用户的程序,也可以对GCC排错: 
-g 
以操作系统的本地格式(stabs, COFF, XCOFF,或DWARF).产生调试信息. GDB能够使用这些调试信息. 
在大多数使用stabs格式的系统上, `-g'选项启动只有GDB才使用的额外调试信息;这些信息使GDB 调试效果更好,但是有可能导致其他调试器崩溃,或拒绝读入程序.如果你确定要控制是否生成额外的信息, 使用`-gstabs+', `-gstabs', `-gxcoff+', `-gxcoff', `-gdwarf+',或`-gdwarf' (见下文). 

和大多数C编译器不同, GNU CC允许结合使用`-g'和`-O'选项.优化的代码偶尔制造 一些惊异的结果:某些声明过的变量根本不存在;控制流程直接跑到没有预料到的地方;某些语句因为计算结果是常量或已经确定而 没有执行;某些语句在其他地方执行,因为他们被移到循环外面了. 

然而它证明了调试优化的输出是可能的.对可能含有错误的程序使用优化器是合理的. 

如果GNU CC支持输出多种调试信息,下面的选项则非常有用. 


-ggdb 
以本地格式(如果支持)输出调试信息,尽可能包括GDB扩展. 

-gstabs 
以stabs格式(如果支持)输出调试信息,不包括GDB扩展.这是大多数BSD系统上DBX使用的格式. 

-gstabs+ 
以stabs格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序. 

-gcoff 
以COFF格式(如果支持)输出调试信息.这是在System V第四版以前的大多数System V系统上SDB使用的 格式. 

-gxcoff 
以XCOFF格式(如果支持)输出调试信息.这是IBM RS/6000系统上DBX调试器使用的格式. 

-gxcoff+ 
以XCOFF格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序. 

-gdwarf 
以DWARF格式(如果支持)输出调试信息.这是大多数System V第四版系统上SDB使用的格式. 

-gdwarf+ 
以DWARF格式(如果支持)输出调试信息,使用只有GNU调试器(GDB)理解的GNU扩展.使用这些扩展有可能导致 其他调试器崩溃或拒绝读入程序. 

-glevel 
-ggdblevel 
-gstabslevel 
-gcofflevel -gxcofflevel 

-gdwarflevel 
请求生成调试信息,同时用level指出需要多少信息.默认的level值是2. 
Level 1输出最少量的信息,仅够在不打算调试的程序段内backtrace.包括函数和外部变量的描述,但是 没有局部变量和行号信息. 

Level 3包含更多的信息,如程序中出现的所有宏定义.当使用`-g3'选项的时候,某些调试器支持 宏扩展. 


-p 
产生额外代码,用于输出profile信息,供分析程序prof使用. 

-pg 
产生额外代码,用于输出profile信息,供分析程序gprof使用.