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 中的宏定义生效 , 可以用于其他输入文件 . 在处理 `-imacrosfile' 选项之前 , 预处理器首先处理 `-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 显示引用过的头文件名 . -Aquestion(answer)
- 如果预处理器做条件测试 , 如 `#if #question(answer)', 该选项可以断言 (Assert) question 的答案是 answer. -A-' 关闭一般用于描述目标机的标准断言 . -Dmacro
- 定义宏 macro, 宏的内容定义为字符串 `1'. -Dmacro=defn
- 定义宏 macro 的内容为 defn. 命令行上所有的 `-D' 选项在 `-U' 选项之前处理 . -Umacro
- 取消宏 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 执行连接操作 , 这些目标文件将成为连接器的输入文件 . -llibrary
-
连接名为
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'
取代
).
只有部分系统支持该选项
.
-
把选项
option
传递给连接器
.
可以用他传递系统特定的连接选项
, GNU CC
无法识别这些选项
.
如果需要传递携带参数的选项,你必须使用两次`-Xlinker',一次传递选项,另一次传递他的参数. 例如,如果传递`-assert definitions',你必须写成`-Xlinker -assert -Xlinker definitions',而不能写成`-Xlinker "-assert definitions"',因为这样会把整个 字符串当做一个参数传递,显然这不是连接器期待的.
-Wl,option
- 把选项 option 传递给连接器 . 如果 option 中含有逗号 , 就在逗号处分割成多个选项 . -u symbol
- 使连接器认为取消了 symbol 的符号定义 , 从而连接库模块以取得定义 . 你可以使用多个 `-u' 选项 , 各自跟上不同的符号 , 使得连接器调入附加的库模块 .
目录选项(DIRECTORY OPTION)
下列选项指定搜索路径,用于查找头文件,库文件,或编译器的某些成员:
-
-Idir
- 在头文件的搜索路径列表中添加 dir 目录 . -I-
-
任何在
`-I-'
前面用
`-I'
选项指定的搜索路径只适用于
`#include "file"'
这种情况
;
他们不能用来搜索
`#include <file>'
包含的头文件
.
如果用`-I'选项指定的搜索路径位于`-I-'选项后面,就可以在这些路径中搜索所有的 `#include'指令. (一般说来-I选项就是这么用的.)
还有, `-I-'选项能够阻止当前目录(存放当前输入文件的地方)成为搜索`#include "file"'的第一选择.没有办法克服`-I-'选项的这个效应.你可以指定 `-I.'搜索那个目录,它在调用编译器时是当前目录.这和预处理器的默认行为不完全一样,但是结果通常 令人满意.
`-I-'不影响使用系统标准目录,因此, `-I-'和`-nostdinc'是不同的选项.
-Ldir
- 在 `-l' 选项的搜索路径列表中添加 dir 目录 . -Bprefix
-
这个选项指出在何处寻找可执行文件
,
库文件
,
以及编译器自己的数据文件
.
编译器驱动程序需要执行某些下面的子程序: `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)
由于 GNU CC 不知道某些函数永不返回 ( 含有 abort 和 longjmp), 因此有可能出现 虚假警告 .
{
if (a > 0)
return a;
}
*
- 表达式语句或逗号表达式的左侧没有产生作用 (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还没有智能到判别所有的情况,知道有些看上去错误的代码其实是正确的.下面是 一个这样的例子:
{
如果 y 始终是 1, 2 或 3, 那么 x 总会被初始化 , 但是 GNU CC 不知道这一点 . 下面是 另一个普遍案例 :
int x;
switch (y)
{
case 1: x = 1;
break;
case 2: x = 4;
break;
case 3: x = 5;
}
foo (x);
}{
这里没有错误 , 因为只有设置了 save_y 才使用他 .
int save_y;
if (change_y) save_y = y, y = new_y;
...
if (change_y) 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
- 视警告为错误 ; 出现任何警告即放弃编译 .