gcc手册二

gcc手册二

GCC 2

Section: GNU Tools (1)
Updated: 2003/12/05

预处理器选项(Preprocessor Option)

下列选项针对 C 预处理器 , 预处理器用在正式编译以前 , 对 C 源文件进行某种处理 .

如果指定了`-E'选项, GCC只进行预处理工作.下面的某些选项必须和`-E'选项一起才 有意义,因为他们的输出结果不能用于编译.

-include file

在处理常规输入文件之前 , 首先处理文件 file, 其结果是 , 文件 file 的内容先得到编译 . 命令行上任何 ` -D' 和 ` -U' 选项永远在 ` -include file' 之前处理 , 无论他们在命令行上的顺序如何 . 然而 ` -include' 和 ` -imacros' 选项按书写顺序处理 .

 

-imacros file

在处理常规输入文件之前 , 首先处理文件 file, 但是忽略输出结果 . 由于丢弃了文件 file 的 输出内容 , ` -imacros file' 选项的唯一效果就是使文件 file 中的宏定义生效 , 可以用于其他输入文件 . 在处理 ` -imacros file' 选项之前 , 预处理器首先处理 ` -D' 和 ` -U' 选项 , 并不在乎他们在命令行上的顺序 . 然而 ` -include' 和 ` -imacros' 选项按书写顺序处理 .

 

-idirafter dir

把目录 dir 添加到第二包含路径中 . 如果某个头文件在主包含路径 ( 用 ` -I' 添加的路径 ) 中没有 找到 , 预处理器就搜索第二包含路径 .

 

-iprefix prefix

指定 prefix 作为后续 ` -iwithprefix' 选项的前缀 .

 

-iwithprefix dir

把目录添加到第二包含路径中 . 目录名由 prefix 和 dir 合并而成 , 这里 prefix 被先前的 ` -iprefix' 选项指定 .

 

-nostdinc

不要在标准系统目录中寻找头文件 . 只搜索 ` -I' 选项指定的目录 ( 以及当前目录 , 如果合适 ).

结合使用`-nostdinc'和`-I-'选项,你可以把包含文件搜索限制在显式指定的目录.

 

-nostdinc++

不要在 C++ 专用标准目录中寻找头文件 , 但是仍然搜索其他标准目录 . ( 当建立 ` libg++' 时使用 这个选项 .)

-undef

不要预定义任何非标准宏 . ( 包括系统结构标志 ).

 

-E

仅运行 C 预处理器 . 预处理所有指定的 C 源文件 , 结果送往标准输出或指定的输出文件 .

 

-C

告诉预处理器不要丢弃注释 . 配合 ` -E' 选项使用 .

 

-P

告诉预处理器不要产生 ` #line' 命令 . 配合 ` -E' 选项使用 .

 

-M  [ -MG ]

告诉预处理器输出一个适合 make 的规则 , 用于描述各目标文件的依赖关系 . 对于每个源文件 , 预处理器输出 一个 make 规则 , 该规则的目标项 (target) 是源文件对应的目标文件名 , 依赖项 (dependency) 是源文件中 ` #include 引用的所有文件 . 生成的规则可以是单行 , 但如果太长 , 就用 ` \'- 换行符续成多行 . 规则 显示在标准输出 , 不产生预处理过的 C 程序 .

`-M'隐含了`-E'选项.

`-MG'要求把缺失的头文件按存在对待,并且假定他们和源程序文件在同一目录下.必须和 `-M'选项一起用.

 

-MM  [ -MG ]

和 ` -M' 选项类似 , 但是输出结果仅涉及用户头文件 , 象这样 ` #include file"'. 忽略系统头文件如 ` #include < file>'.

 

-MD

和 ` -M' 选项类似 , 但是把依赖信息输出在文件中 , 文件名通过把输出文件名末尾的 ` .o' 替换为 ` .d' 产生 . 同时继续指定的编译工作 ---` -MD' 不象 ` -M' 那样阻止正常的编译任务 .

Mach的实用工具`md'能够合并`.d'文件,产生适用于`make'命令的单一的 依赖文件.

 

-MMD

和 ` -MD' 选项类似 , 但是输出结果仅涉及用户头文件 , 忽略系统头文件 .

 

-H

除了其他普通的操作 , GCC 显示引用过的头文件名 .

 

-A question ( answer )

如果预处理器做条件测试 , 如 ` #if # question ( answer )', 该选项可以断言 (Assert) question 的答案是 answer. -A-' 关闭一般用于描述目标机的标准断言 .

 

-D macro

定义宏 macro, 宏的内容定义为字符串 ` 1'.

 

-D macro = defn

定义宏 macro 的内容为 defn. 命令行上所有的 ` -D' 选项在 ` -U' 选项之前处理 .

 

-U macro

取消宏 macro. ` -U' 选项在所有的 ` -D' 选项之后处理 , 但是优先于任何 ` -include' 或 ` -imacros' 选项 .

 

-dM

告诉预处理器输出有效的宏定义列表 ( 预处理结束时仍然有效的宏定义 ). 该选项需结合 ` -E' 选项使用 .

 

-dD

告诉预处理器把所有的宏定义传递到输出端 , 按照出现的顺序显示 .

 

-dN

和 ` -dD' 选项类似 , 但是忽略宏的参量或内容 . 只在输出端显示 ` #define name.

 

汇编器选项(ASSEMBLER OPTION)

-Wa, option

把选项 option 传递给汇编器 . 如果 option 含有逗号 , 就在逗号处分割成多个选项 .

 

连接器选项(LINKER OPTION)

下面的选项用于编译器连接目标文件 , 输出可执行文件的时候 . 如果编译器不进行 连接 , 他们就毫无意义 .

object-file-name

如果某些文件没有特别明确的后缀 a special recognized suffix, GCC 就认为他们是目标文件或库文件 . ( 根据文件内容 , 连接器能够区分目标文件和库文件 ). 如果 GCC 执行连接操作 , 这些目标文件将成为连接器的输入文件 .

 

-l library

连接名为 library 的库文件 .

连接器在标准搜索目录中寻找这个库文件,库文件的真正名字是`liblibrary.a'.连接器会 当做文件名得到准确说明一样引用这个文件.

搜索目录除了一些系统标准目录外,还包括用户以`-L'选项指定的路径.

一般说来用这个方法找到的文件是库文件---即由目标文件组成的归档文件(archive file).连接器处理归档文件的 方法是:扫描归档文件,寻找某些成员,这些成员的符号目前已被引用,不过还没有被定义.但是,如果连接器找到普通的 目标文件,而不是库文件,就把这个目标文件按平常方式连接进来.指定`-l'选项和指定文件名的唯一区别是, `-l选项用`lib'和`.a'把library包裹起来,而且搜索一些目录.

 

-lobjc

这个 -l 选项的特殊形式用于连接 Objective C 程序 .

 

-nostartfiles

不连接系统标准启动文件 , 而标准库文件仍然正常使用 .

 

-nostdlib

不连接系统标准启动文件和标准库文件 . 只把指定的文件传递给连接器 .

 

-static

在支持动态连接 (dynamic linking) 的系统上 , 阻止连接共享库 . 该选项在其他系统上无效 .

 

-shared

生成一个共享目标文件 , 他可以和其他目标文件连接产生可执行文件 . 只有部分系统支持该选项 .

 

-symbolic

建立共享目标文件的时候 , 把引用绑定到全局符号上 . 对所有无法解析的引用作出警告 ( 除非用连接编辑选项 ` -Xlinker -z -Xlinker defs' 取代 ). 只有部分系统支持该选项 .

 

-Xlinker option

把选项 option 传递给连接器 . 可以用他传递系统特定的连接选项 , GNU CC 无法识别这些选项 .

如果需要传递携带参数的选项,你必须使用两次`-Xlinker',一次传递选项,另一次传递他的参数. 例如,如果传递`-assert definitions',你必须写成`-Xlinker -assert -Xlinker definitions',而不能写成`-Xlinker "-assert definitions"',因为这样会把整个 字符串当做一个参数传递,显然这不是连接器期待的.

 

-Wl, option

把选项 option 传递给连接器 . 如果 option 中含有逗号 , 就在逗号处分割成多个选项 .

 

-u symbol

使连接器认为取消了 symbol 的符号定义 , 从而连接库模块以取得定义 . 你可以使用多个 ` -u' 选项 , 各自跟上不同的符号 , 使得连接器调入附加的库模块 .

 

目录选项(DIRECTORY OPTION)

下列选项指定搜索路径 , 用于查找头文件 , 库文件 , 或编译器的某些成员 :

-I dir

在头文件的搜索路径列表中添加 dir 目录 .

 

-I-

任何在 ` -I-' 前面用 ` -I' 选项指定的搜索路径只适用于 ` #include " file "' 这种情况 ; 他们不能用来搜索 ` #include < file>' 包含的头文件 .

如果用`-I'选项指定的搜索路径位于`-I-'选项后面,就可以在这些路径中搜索所有的 `#include'指令. (一般说来-I选项就是这么用的.)

还有, `-I-'选项能够阻止当前目录(存放当前输入文件的地方)成为搜索`#include "file"'的第一选择.没有办法克服`-I-'选项的这个效应.你可以指定 `-I.'搜索那个目录,它在调用编译器时是当前目录.这和预处理器的默认行为不完全一样,但是结果通常 令人满意.

`-I-'不影响使用系统标准目录,因此, `-I-'和`-nostdinc'是不同的选项.

 

-L dir

在 ` -l' 选项的搜索路径列表中添加 dir 目录 .

 

-B prefix

这个选项指出在何处寻找可执行文件 , 库文件 , 以及编译器自己的数据文件 .

编译器驱动程序需要执行某些下面的子程序: `cpp', `cc1' (或C++的 `cc1plus'), `as'和`ld'.他把prefix当作欲执行的程序的 前缀,既可以包括也可以不包括`machine/version/'.

对于要运行的子程序,编译器驱动程序首先试着加上`-B'前缀(如果存在).如果没有找到文件,或没有指定 `-B'选项,编译器接着会试验两个标准前缀`/usr/lib/gcc/'和 `/usr/local/lib/gcc-lib/'.如果仍然没能够找到所需文件,编译器就在`PATH'环境变量 指定的路径中寻找没加任何前缀的文件名.

如果有需要,运行时(run-time)支持文件`libgcc.a'也在`-B'前缀的搜索范围之内. 如果这里没有找到,就在上面提到的两个标准前缀中寻找,仅此而已.如果上述方法没有找到这个文件,就不连接他了.多数 情况的多数机器上, `libgcc.a'并非必不可少.

你可以通过环境变量GCC_EXEC_PREFIX获得近似的效果;如果定义了这个变量,其值就和上面说的 一样用做前缀.如果同时指定了`-B'选项和GCC_EXEC_PREFIX变量,编译器首先使用 `-B'选项,然后才尝试环境变量值.

 

警告选项(WARNING OPTION)

警告是针对程序结构的诊断信息 , 程序不一定有错误 , 而是存在风险 , 或者可能存在 错误 .

下列选项控制GNU CC产生的警告的数量和类型:

-fsyntax-only

检查程序中的语法错误 , 但是不产生输出信息 .

-w

禁止所有警告信息 .

-Wno-import

禁止所有关于 #import 的警告信息 .

-pedantic

打开完全服从 ANSI C 标准所需的全部警告诊断 ; 拒绝接受采用了被禁止的语法扩展的程序 .

无论有没有这个选项,符合ANSI C标准的程序应该能够被正确编译(虽然极少数程序需要`-ansi' 选项).然而,如果没有这个选项,某些GNU扩展和传统C特性也得到支持.使用这个选项可以拒绝这些程序.没有理由 使用这个选项,他存在只是为了满足一些书呆子(pedant).

对于替选关键字(他们以`__'开始和结束) `-pedantic'不会产生警告信息. Pedantic 也不警告跟在__extension__后面的表达式.不过只应该在系统头文件中使用这种转义措施,应用程序最好 避免.

-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可以避免某些似是而非的警告.

 

-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

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