Linux 下C 语言使用与调试简介

C Linux 下C 语言使用与调试简介
C.1 C 语言编程
Linux 的发行版中包含了很多软件开发工具。它们中的很多是用于C 和C++应用程序
开发的。本文介绍了在Linux 下能用于C 应用程序开发和调试的工具。本文的主旨是介绍
如何在Linux 下使用C 编译器和其他C 编程工具，而非C 语言编程的教程。在本文中你将
学到以下知识：
l 什么是 C
l GNU C 编译器
l 用 gdb 来调试GCC 应用程序
你也能看到随Linux 发行的其他有用的C 编程工具。这些工具包括源程序美化程序
（pretty print programs），附加的调试工具，函数原型自动生成工具（automatic function
prototypers）。
注意：源程序美化程序（pretty print programs）自动帮你格式化源代码产生始终如一的缩进格式。
C.2 什么是C?
C 是一种在UNIX 操作系统的早期就被广泛使用的通用编程语言。它最早是由贝尔实
验室的Dennis Ritchie 为了UNIX 的辅助开发而写的，开始时UNIX 是用汇编语言和一种叫
B 的语言编写的。从那时候起，C 就成为世界上使用最广泛计算机语言。
C 能在编程领域里得到如此广泛支持的原因有以下一些：
l 它是一种非常通用的语言。几乎你所能想到的任何一种计算机上都有至少一种能
用的C 编译器。并且它的语法和函数库在不同的平台上都是统一的，这个特性对开发者来
说很有吸引力。
l 用 C 写的程序执行速度很快。
l C 是所有版本的UNIX 上的系统语言。
C 在过去的二十年中有了很大的发展。在80 年代末期美国国家标准协会（American
National Standards Institute）发布了一个被称为ANSI C的C 语言标准。这更加保证了将来
在不同平台上的C 的一致性。在80 年代还出现了一种C 的面向对象的扩展称为C++。
Linux 上可用的C 编译器是GNU C编译器，它建立在自由软件基金会的编程许可证的
基础上，因此可以自由发布。你能在Linux 的发行光盘上找到它。
C.3 GNU C 编译器
随Slackware Linux 发行的GNU C 编译器（GCC）是一个全功能的ANSI C兼容编译
器。如果你熟悉其他操作系统或硬件平台上的一种C 编译器，你将能很快地掌握GCC。本
节将介绍如何使用GCC 和一些GCC 编译器最常用的选项。
C.3.1 使用GCC
通常后跟一些选项和文件名来使用GCC 编译器。gcc 命令的基本用法如下：
gcc [options] [filenames]
附录C Linux下c 语言使用与调试简介- 325 -
命令行选项指定的操作将在命令行上每个给出的文件上执行。下一小节将叙述一些你
会最常用到的选项。
C.3.2 GCC 选项
GCC 有超过100 个的编译选项可用。这些选项中的许多你可能永远都不会用到，但一
些主要的选项将会频繁用到。很多的GCC 选项包括一个以上的字符，因此你必须为每个选
项指定各自的连字符，并且就象大多数Linux 命令一样你不能在一个单独的连字符后跟一
组选项。例如，下面的两个命令是不同的：
gcc -p -g test.c
gcc -pg test.c
第一条命令告诉GCC 编译test.c 时为prof 命令建立剖析（profile）信息并且把调试信
息加入到可执行的文件里。第二条命令只告诉GCC 为gprof 命令建立剖析信息。
当你不用任何选项编译一个程序时，GCC 将会建立（假定编译成功）一个名为a.out
的可执行文件。例如，下面的命令将在当前目录下产生一个叫a.out 的文件：
gcc test.c
注意：当你使用-o 选项时，-o 后面必须跟一个文件名。
你能用-o 编译选项来为将产生的可执行文件指定一个文件名来代替a.out。例如，将一
个叫count.c 的C 程序编译为名叫count 的可执行文件，你将输入下面的命令：
gcc -o count count.c
GCC 同样有指定编译器处理多少的编译选项。-c 选项告诉GCC 仅把源代码编译为目
标代码而跳过汇编和连接的步骤。这个选项使用的非常频繁因为它使得编译多个C 程序时
速度更快并且更易于管理。缺省时GCC 建立的目标代码文件有一个.o 的扩展名。
S 编译选项告诉GCC 在为C 代码产生了汇编语言文件后停止编译。GCC 产生的汇编
语言文件的缺省扩展名是.s。-E 选项指示编译器仅对输入文件进行预处理。当这个选项被
使用时，预处理器的输出被送到标准输出而不是储存在文件里。
C.3.3 优化选项
当你用GCC 编译C 代码时，它会试着用最少的时间完成编译并且使编译后的代码易
于调试，易于调试意味着编译后的代码与源代码有同样的执行次序，编译后的代码没有经
过优化。有很多选项可用于告诉GCC 在耗费更多编译时间和牺牲易调试性的基础上产生更
小更快的可执行文件。这些选项中最典型的是-O 和 -O2 选项。
O 选项告诉GCC 对源代码进行基本优化。这些优化在大多数情况下都会使程序执行的
更快。-O2 选项告诉GCC 产生尽可能小和尽可能快的代码。-O2 选项将使编译的速度比使
用 -O 时慢。但通常产生的代码执行速度会更快。
除了 -O 和 -O2 优化选项外，还有一些低级选项用于产生更快的代码。这些选项非常
的特殊，而且最好只有当你完全理解这些选项将会对编译后的代码产生什么样的效果时再
去使用。这些选项的详细描述，请参考GCC 的指南页，在命令行上键入man gcc。
C.3.4 调试和剖析选项
GCC 支持数种调试和剖析选项。在这些选项里你会最常用到的是 -g 和 -pg 选项。
g 选项告诉GCC 产生能被GNU 调试器使用的调试信息以便调试你的程序。GCC 提供
了一个很多其他C 编译器里没有的特性，在GCC 里你能使 -g 和 -O (产生优化代码)联用。
- 326 - Linux网络编程
这一点非常有用因为你能在与最终产品尽可能相近的情况下调试你的代码。在你同时使用
这两个选项时你必须清楚你所写的某些代码已经在优化时被GCC 作了改动。关于调试C
程序的更多信息请看下一节“用gdb 调试C 程序”。-pg 选项告诉GCC 在你的程序里加入
额外的代码，执行时，产生gprof 用的剖析信息以显示你的程序的耗时情况。关于gprof 的
更多信息请参考“gprof” 一节。
C.3.5 用gdb 调试GCC 程序
Linux 包含了一个叫gdb 的GNU 调试程序。gdb 是一个用来调试C 和C++ 程序的强
力调试器。它使你能在程序运行时观察程序的内部结构和内存的使用情况。以下是gdb 所
提供的一些功能：
l 它使你能监视你程序中变量的值。
l 它使你能设置断点以使程序在指定的代码行上停止执行。
l 它使你能一行行的执行你的代码。
在命令行上键入gdb 并按回车键就可以运行gdb 了，如果一切正常的话，gdb 将被启
动并且你将在屏幕上看到类似的内容：
GDB is free software and you are welcome to distribute copies of it under certain conditions; type
“show copying” to see the conditions. There is absolutely no warranty for GDB; type “show
warranty” for details.
GDB 4.14 (i486-slakware-linux), Copyright 1995 Free Software Foundation, Inc.
(gdb)
当你启动gdb 后，你能在命令行上指定很多的选项。你也可以以下面的方式来运行gdb :
gdb <fname>
当你用这种方式运行gdb，你能直接指定想要调试的程序。这将告诉gdb 装入名为fname
的可执行文件。你也可以用gdb 去检查一个因程序异常终止而产生的core 文件，或者与一
个正在运行的程序相连。你可以参考gdb 指南页或在命令行上键入gdb –h 得到一个有关这
些选项的说明的简单列表。
1．为调试编译代码（Compiling Code for Debugging）
为了使gdb 正常工作，你必须使你的程序在编译时包含调试信息。调试信息包含你程
序里的每个变量的类型和在可执行文件里的地址映射以及源代码的行号。gdb 利用这些信
息使源代码和机器码相关联。
在编译时用 –g 选项打开调试选项。
2．gdb 基本命令
gdb 支持很多的命令使你能实现不同的功能。这些命令从简单的文件装入到允许你检
查所调用的堆栈内容的复杂命令，表C-1 列出了你在用gdb 调试时会用到的一些命令。想
了解gdb 的详细使用请参考gdb 的指南页。
表C-1 gdb 的常用命令
命令 描述
File 装入想要调试的可执行文件。
Kill 终止正在调试的程序。
List 列出产生执行文件的源代码的一部分。
Next 执行一行源代码但不进入函数内部。
Step 执行一行源代码而且进入函数内部。
Run 执行当前被调试的程序
Quit 终止 gdb
附录C Linux下c 语言使用与调试简介- 327 -
Watch 使你能监视一个变量的值而不管它何时被改变。
Break 在代码里设置断点，这将使程序执行到这里时被挂起。
Make 使你能不退出 gdb 就可以重新产生可执行文件。
Shell 使你能不离开 gdb 就执行UNIX shell 命令。
gdb 支持很多与UNIX shell 程序一样的命令编辑特征。你能象在bash 或tcsh 里那样按
Tab 键让gdb 帮你补齐一个唯一的命令，如果不唯一的话gdb 会列出所有匹配的命令。你
也能用光标键上下翻动历史命令。
3．gdb 应用举例
本节用一个实例教你一步步的用gdb 调试程序。被调试的程序相当的简单，但它展示
了gdb 的典型应用。
下面列出了将被调试的程序。这个程序被称为greeting，它显示一个简单的问候，再用
反序将它列出。
#include <stdio.h>
main ()
{
char my_string[] = “hello there”;
my_print (my_string);
my_print2 (my_string);
}
void my_print (char *string)
{
printf (“The string is %s\n”, string);
}
void my_print2 (char *string)
{
char *string2;
int size, i;
size = strlen (string);
string2 = (char *) malloc (size + 1);
for (i = 0; i < size; i++)
{
string2[size – i] = string[i];
}
string2[size+1] = ‘\0’;
printf (“The string printed backward is %s\n”, string2);
}
用下面的命令编译它：
gcc –ggdb –o test test.c
这个程序执行时显示如下结果：
The string is hello there
The string printed backward is
输出的第一行是正确的，但第二行打印出的东西并不是我们所期望的。我们所设想的
- 328 - Linux网络编程
输出应该是：
The string printed backward is ereht olleh
由于某些原因，my_print2 函数没有正常工作。让我们用gdb 看看问题究竟出在哪儿，
先键入如下命令：
gdb greeting
注意： 记得在编译 greeting 程序时把调试选项打开。
如果你在输入命令时忘了把要调试的程序作为参数传给gdb，你可以在gdb 提示符下
用file 命令来载入它：
(gdb) file greeting
这个命令将载入greeting 可执行文件就象你在gdb 命令行里装入它一样。这时你能用gdb
的run 命令来运行greeting 了。当它在gdb 里被运行后结果大约会象这样：
(gdb) run
Starting program: /root/greeting
The string is hello there
The string printed backward is
Program exited with code 041
这个输出和在gdb 外面运行的结果一样。问题是，为什么反序打印没有工作? 为了找
出症结所在，我们可以在my_print2 函数的for 语句后设一个断点，具体的做法是在gdb 提
示符下键入list 命令三次，列出源代码：
(gdb) list
(gdb) list
(gdb) list
技巧：在gdb 提示符下按回车健将重复上一个命令。
第一次键入list 命令的输出如下：
1 #include <stdio.h>
2
3 main ()
4 {
5 char my_string[] = “hello there”;
6
7 my_print (my_string);
8 my_print2 (my_string);
9 }
10
如果按下回车，gdb 将再执行一次list 命令，给出下列输出：
11 my_print (char *string)
12 {
13 printf (“The string is %s\n”, string);
14 }
15
16 my_print2 (char *string)
17 {
18 char *string2;
19 int size, i;
附录C Linux下c 语言使用与调试简介- 329 -
20
再按一次回车将列出greeting 程序的剩余部分：
21 size = strlen (string);
22 string2 = (char *) malloc (size + 1);
23 for (i = 0; i < size; i++)
24 string2[size - i] = string[i];
25 string2[size+1] = ‘\0’;
26 printf (“The string printed backward is %s\n”, string2);
27 }
根据列出的源程序，你能看到要设断点的地方在第24 行，在gdb 命令行提示符下键入
如下命令设置断点：
(gdb) break 24
gdb 将作出如下的响应：
Breakpoint 1 at 0x139: file greeting.c, line 24
(gdb)
现在再键入run 命令，将产生如下的输出：
Starting program: /root/greeting
The string is hello there
Breakpoint 1, my_print2 (string = 0xbfffdc4 “hello there”) at greeting.c :24
24 string2[size-i]=string[i]
你能通过设置一个观察string2[size - i] 变量的值的观察点来看出错误是怎样产生的，
做法是键入：
(gdb) watch string2[size - i]
gdb 将作出如下回应：
Watchpoint 2: string2[size - i]
现在可以用next 命令来一步步的执行for 循环了：
(gdb) next
经过第一次循环后，gdb 告诉我们string2[size - i] 的值是 ‘h‘。gdb 用如下的显示来告
诉你这个信息：
Watchpoint 2, string2[size - i]
Old value = 0 ‘\000’
New value = 104 ‘h’
my_print2(string = 0xbfffdc4 “hello there”) at greeting.c:23
23 for (i=0; i<size; i++)
这个值正是期望的。后来的数次循环的结果都是正确的。当i=10 时，表达式string2[size
- i] 的值等于 ‘e‘，size - i 的值等于1，最后一个字符已经拷到新串里了。
如果你再把循环执行下去，你会看到已经没有值分配给string2[0] 了，而它是新串的
第一个字符，因为malloc 函数在分配内存时把它们初始化为空(null)字符。所以string2 的
第一个字符是空字符。这解释了为什么在打印string2 时没有任何输出了。
现在找出了问题出在哪里，修正这个错误是很容易的。你得把代码里写入string2 的第
一个字符的的偏移量改为size-1 而不是size。这是因为string2 的大小为12，但起始偏移量
是0，串内的字符从偏移量0 到偏移量 10，偏移量11 为空字符保留。
为了使代码正常工作有很多种修改办法。一种是另设一个比串的实际大小小1 的变量。
这是这种解决办法的代码：
- 330 - Linux网络编程
#include <stdio.h>
main ()
{
char my_string[] = “hello there”;
my_print (my_string);
my_print2 (my_string);
}
my_print (char *string)
{
printf (“The string is %s\n”, string);
}
my_print2 (char *string)
{
char *string2;
int size, size2, i;
size = strlen (string);
size2 = size -1;
string2 = (char *) malloc (size + 1);
for (i = 0; i < size; i++)
string2[size2 - i] = string[i];
string2[size] = ‘\0’;
printf (“The string printed backward is %s\n”, string2);
}
C.4 另外的C 编程工具
Slackware Linux 的发行版中还包括一些我们尚未提到的C 开发工具。本节将介绍这些
工具和它们的典型用法。
C.4.1 Xxgdb
xxgdb 是gdb 的一个基于X Window 系统的图形界面。xxgdb 包括了命令行版的gdb 上
的所有特性。xxgdb 使你能通过按按钮来执行常用的命令。设置了断点的地方也用图形来
显示。
你能在一个Xterm 窗口里键入下面的命令来运行它：
xxgdb
你能用gdb 里任何有效的命令行选项来初始化xxgdb。此外xxgdb 也有一些特有的命
令行选项，表C-2 列出了这些选项。
表C-2 xxgdb 的命令行选项
db_name 指定所用调试器的名字，缺省是gdb。
db_prompt 指定调试器提示符，缺省为gdb。
Gdbinit 指定初始化gdb 的命令文件的文件名，缺省为 .gdbinit。
附录C Linux下c 语言使用与调试简介- 331 -
Nx 告诉xxgdb 不执行 .gdbinit 文件。
Bigicon 使用大图标。
C.4.2 Calls
你可以在sunsite.unc.edu FTP 站点用下面的路径：
/pub/Linux/devel/ lang/c/calls.tar.Z
来取得calls，一些旧版本的Linux CD-ROM 发行版里也附带有。因为它是一个有用的
工具，我们在这里也介绍一下。如果你觉得有用的话，从BBS，FTP，或另一张CD-ROM
上弄一个拷贝。calls 调用GCC 的预处理器来处理给出的源程序文件，然后输出这些文件
的里的函数调用树图。
注意，在你的系统上安装calls，以超级用户身份登录后执行下面的步骤：
1．解压和untar 文件。
2．cd 进入calls untar 后建立的子目录。
3．把名叫calls 的文件移动到 /usr/bin 目录。
4．把名叫calls.1 的文件移动到目录 /usr/man/man1。
5．删除 /tmp/calls 目录。
这些步骤将把calls 程序和它的指南页安装载你的系统上。
当calls 打印出调用跟踪结果时，它在函数后面用中括号给出了函数所在文件的文件
名：
main [test.c]
如果函数并不是向calls 给出的文件里的，calls 不知道所调用的函数来自哪里，则只显
示函数的名字：
printf
calls 不对递归和静态函数输出。递归函数显示成下面的样子：
fact <<< recursive in factorial.c >>>
静态函数象这样显示：
total [static in calculate.c]
作为一个例子，假设用calls 处理下面的程序：
#include <stdio.h>
main ()
{
char my_string[] = “hello there”;
my_print (my_string);
my_print2(my_string);
}
my_print (char *string)
{
printf (“The string is %s\n”, string);
}
my_print2 (char *string)
{
char *string2;
- 332 - Linux网络编程
int size, size2, i;
size = strlen (string);
size2 = size -1;
string2 = (char *) malloc (size + 1);
for (i = 0; i < size; i++)
{
string2[size2 - i] = string[i];
}
string2[size] = ‘\0’;
printf (“The string printed backward is %s\n”, string2);
}
将产生如下的输出：
1 main [test.c]
2 my_print [test.c]
3 printf
4 my_print2 [test.c]
5 strlen
6 malloc
7 printf
calls 有很多命令行选项来设置不同的输出格式，有关这些选项的更多信息请参考calls
的指南页。方法是在命令行上键入calls -h。
C.4.3 cproto
cproto 读入C 源程序文件并自动为每个函数产生原型申明。用cproto 可以在写程序时
为你节省大量用来定义函数原型的时间。
如果你让cproto 处理下面的代码：
#include <stdio.h>
main ()
{
char my_string[] = “hello there”;
my_print (my_string);
my_print2(my_string);
}
my_print (char *string)
{
printf (“The string is %s\n”, *string);
}
my_print2 (char *string)
{
char *string2;
int size, size2, i;
附录C Linux下c 语言使用与调试简介- 333 -
size = strlen (string);
size2 = size -1;
string2 = (char *) malloc (size + 1);
for (i = 0; i < size; i++)
{
string2[size2 - i] = string[i];
}
string2[size] = ‘\0’;
printf (“The string printed backward is %s\n”, string2);
}
你将得到下面的输出：
/* test.c */
int main(void);
int my_print(char *string);
int my_print2(char *string);
这个输出可以重定向到一个定义函数原型的包含文件里。
C.4.4 Indent
indent 实用程序是Linux 里包含的另一个编程实用工具。这个工具简单的说就为你的
代码产生美观的缩进的格式。indent 也有很多选项来指定如何格式化你的源代码。这些选
项的更多信息请看indent 的指南页，在命令行上键入indent -h。
下面的例子是indent 的缺省输出：
运行indent 以前的C 代码：
#include <stdio.h>
main () {
char my_string[] = “hello there”;
my_print (my_string);
my_print2(my_string); }
my_print (char *string)
{
printf (“The string is %s\n”, *string);
}
my_print2 (char *string) {
char *string2;
int size, size2, i;
size = strlen (string);
size2 = size -1;
string2 = (char *) malloc (size + 1);
for (i = 0; i < size; i++)
- 334 - Linux网络编程
string2[size2 - i] = string[i];
string2[size] = ‘\0’;
printf (“The string printed backward is %s\n”, string2);
}
运行indent 后的C 代码：
#include <stdio.h>
main ()
{
char my_string[] = “hello there”;
my_print (my_string);
my_print2 (my_string);
}
my_print (char *string)
{
printf (“The string is %s\n”, *string);
}
my_print2 (char *string)
{
char *string2;
int size, size2, i;
size = strlen (string);
size2 = size -1;
string2 = (char *) malloc (size + 1);
for (i = 0; i < size; i++)
{
string2[size2 - i] = string[i];
}
string2[size] = ‘\0’;
printf (“The string printed backward is %s\n”, string2);
}
indent 并不改变代码的实质内容，而只是改变代码的外观。使它变得更可读，这永远
是一件好事。
C.4.5 Gprof
gprof 是安装在你的Linux 系统的 /usr/bin 目录下的一个程序。它使你能剖析你的程序
从而知道程序的哪一个部分在执行时最费时间。
gprof 将告诉你程序里每个函数被调用的次数和每个函数执行时所占时间的百分比。你
附录C Linux下c 语言使用与调试简介- 335 -
如果想提高你的程序性能的话这些信息非常有用。
为了在你的程序上使用gprof，你必须在编译程序时加上 -pg 选项。这将使程序在每次
执行时产生一个叫gmon.out 的文件。gprof 用这个文件产生剖析信息。
在你运行了你的程序并产生了gmon.out 文件后你能用下面的命令获得剖析信息：
gprof <program_name>
参数program_name 是产生gmon.out 文件的程序的名字。
技巧：gprof 产生的剖析数据很大， 如果你想检查这些数据的话最好把输出重定向到一个文件里。
C.4.6 f2c 和p2c
f2c 和p2c 是两个源代码转换程序。f2c 把FORTRAN 代码转换为C 代码，p2c 把Pascal
代码转换为C 代码。当你安装GCC 时这两个程序都会被安装上去。
如果你有一些用FORTRAN 或Pascal 写的代码要用C 重写的话，f2c 和p2c 对你非常
有用。这两个程序产生的C 代码一般不用修改就直接能被GCC 编译。
如果要转换的FORTRAN 或Pascal 程序比较小的话可以直接使用f2c 或p2c 不用加任
何选项。如果要转换的程序比较庞大，包含很多文件的话你可能要用到一些命令行选项。
注意：f2c 要求被转换的程序的扩展名为.f 或.F。
在一个FORTRAN 程序上使用f2c，输入下面的命令：
f2c my_fortranprog.f
要把一个Pascal 程序装换为C 程序，输入下面的命令：
p2c my_pascalprogram.pas
这两个程序产生的C 源代码的文件名都和原来的文件名相同，但扩展名由 .f 或 .pas
变为 .c.