首页 » CPrimerPlus(第6版)(中文版) » CPrimerPlus(第6版)(中文版)全文在线阅读

《CPrimerPlus(第6版)(中文版)》第16章 C预处理器和C库

关灯直达底部

本章介绍以下内容:

预处理指令:#define、#include、#ifdef、#else、#endif、#ifndef、#if、#elif、#line、#error、#pragma

关键字:_Generic、_Noreturn、_Static_assert

函数/宏:sqrt、atan、atan2、exit、atexit、assert、memcpy、memmove、va_start、va_arg、va_copy、va_end

C预处理器的其他功能

通用选择表达式

内联函数

C库概述和一些特殊用途的方便函数

C语言建立在适当的关键字、表达式、语句以及使用它们的规则上。然而,C标准不仅描述C语言,还描述如何执行C预处理器、C标准库有哪些函数,以及详述这些函数的工作原理。本章将介绍C预处理器和C库,我们先从C预处理器开始。

C预处理器在程序执行之前查看程序(故称之为预处理器)。根据程序中的预处理器指令,预处理器把符号缩写替换成其表示的内容。预处理器可以包含程序所需的其他文件,可以选择让编译器查看哪些代码。预处理器并不知道 C。基本上它的工作是把一些文本转换成另外一些文本。这样描述预处理器无法体现它的真正效用和价值,我们将在本章举例说明。前面的程序示例中也有很多#define和#include的例子。下面,我们先总结一下已学过的预处理指令,再介绍一些新的知识点。

16.1 翻译程序的第一步

在预处理之前,编译器必须对该程序进行一些翻译处理。首先,编译器把源代码中出现的字符映射到源字符集。该过程处理多字节字符和三字符序列——字符扩展让C更加国际化(详见附录B“参考资料VII,扩展字符支持”)。

第二,编译器定位每个反斜杠后面跟着换行符的实例,并删除它们。也就是说,把下面两个物理行(physical line):

printf("That's wond/

erful!/n");

转换成一个逻辑行(logical line):

printf("That's wonderful/n!");

注意,在这种场合中,“换行符”的意思是通过按下Enter键在源代码文件中换行所生成的字符,而不是指符号表征/n。

由于预处理表达式的长度必须是一个逻辑行,所以这一步为预处理器做好了准备工作。一个逻辑行可以是多个物理行。

第三,编译器把文本划分成预处理记号序列、空白序列和注释序列(记号是由空格、制表符或换行符分隔的项,详见16.2.1)。这里要注意的是,编译器将用一个空格字符替换每一条注释。因此,下面的代码:

int/* 这看起来并不像一个空格*/fox;

将变成:

int fox;

而且,实现可以用一个空格替换所有的空白字符序列(不包括换行符)。最后,程序已经准备好进入预处理阶段,预处理器查找一行中以#号开始的预处理指令。

16.2 明示常量:#define

#define预处理器指令和其他预处理器指令一样,以#号作为一行的开始。ANSI和后来的标准都允许#号前面有空格或制表符,而且还允许在#和指令的其余部分之间有空格。但是旧版本的C要求指令从一行最左边开始,而且#和指令其余部分之间不能有空格。指令可以出现在源文件的任何地方,其定义从指令出现的地方到该文件末尾有效。我们大量使用#define指令来定义明示常量(manifest constant)(也叫做符号常量),但是该指令还有许多其他用途。程序清单16.1演示了#define指令的一些用法和属性。

预处理器指令从#开始运行,到后面的第1个换行符为止。也就是说,指令的长度仅限于一行。然而,前面提到过,在预处理开始前,编译器会把多行物理行处理为一行逻辑行。

程序清单16.1 preproc.c程序

/* preproc.c -- 简单的预处理示例 */

#include <stdio.h>

#define TWO 2 /* 可以使用注释 */

#define OW "Consistency is the last refuge of the unimagina/

tive.- Oscar Wilde" /* 反斜杠把该定义延续到下一行 */

#define FOUR TWO*TWO

#define PX printf("X is %d./n", x)

#define FMT "X is %d./n"

int main(void)

{

int x = TWO;

PX;

x = FOUR;

printf(FMT, x);

printf("%s/n", OW);

printf("TWO: OW/n");

return 0;

}

每行#define(逻辑行)都由3部分组成。第1部分是#define指令本身。第2部分是选定的缩写,也称为宏。有些宏代表值(如本例),这些宏被称为类对象宏(object-like macro)。C 语言还有类函数宏(function-like macro),稍后讨论。宏的名称中不允许有空格,而且必须遵循C变量的命名规则:只能使用字符、数字和下划线(_)字符,而且首字符不能是数字。第3部分(指令行的其余部分)称为替换列表或替换体(见图16.1)。一旦预处理器在程序中找到宏的示实例后,就会用替换体代替该宏(也有例外,稍后解释)。从宏变成最终替换文本的过程称为宏展开(macro expansion)。注意,可以在#define行使用标准C注释。如前所述,每条注释都会被一个空格代替。

图16.1 类对象宏定义的组成

运行该程序示例后,输出如下:

X is 2.

X is 4.

Consistency is the last refuge of the unimaginative.- Oscar Wilde

TWO: OW

下面分析具体的过程。下面的语句:

int x = TWO;

变成了:

int x = 2;

2代替了TWO。而语句:

PX;

变成了:

printf("X is %d./n", x);

这里同样进行了替换。这是一个新用法,到目前为止我们只是用宏来表示明示常量。从该例中可以看出,宏可以表示任何字符串,甚至可以表示整个 C 表达式。但是要注意,虽然 PX 是一个字符串常量,它只打印一个名为x的变量。

下一行也是一个新用法。读者可能认为FOUR被替换成4,但是实际的过程是:

x = FOUR;

变成了:

x = TWO*TWO;

即是:

x = 2*2;

宏展开到此处为止。由于编译器在编译期对所有的常量表达式(只包含常量的表达式)求值,所以预处理器不会进行实际的乘法运算,这一过程在编译时进行。预处理器不做计算,不对表达式求值,它只进行替换。

注意,宏定义还可以包含其他宏(一些编译器不支持这种嵌套功能)。

程序中的下一行:

printf (FMT, x);

变成了:

printf("X is %d./n",x);

相应的字符串替换了 FMT。如果要多次使用某个冗长的字符串,这种方法比较方便。另外,也可以用下面的方法:

const char * fmt = "X is %d./n";

然后可以把fmt作为printf的格式字符串。

下一行中,用相应的字符串替换OW。双引号使替换的字符串成为字符串常量。编译器把该字符串储存在以空字符结尾的数组中。因此,下面的指令定义了一个字符常量:

#define HAL 'Z'

而下面的指令则定义了一个字符串(Z/0):

#define HAP "Z"

在程序示例16.1中,我们在一行的结尾加一个反斜杠字符使该行扩展至下一行:

#define OW "Consistency is the last refuge of the unimagina/

tive.- Oscar Wilde"

注意,第2行要与第1行左对齐。如果这样做:

#define OW "Consistency is the last refuge of the unimagina/

tive.- Oscar Wilde"

那么输出的内容是:

Consistency is the last refuge of the unimagina tive.- Oscar Wilde

第2行开始到tive之间的空格也算是字符串的一部分。

一般而言,预处理器发现程序中的宏后,会用宏等价的替换文本进行替换。如果替换的字符串中还包含宏,则继续替换这些宏。唯一例外的是双引号中的宏。因此,下面的语句:

printf("TWO: OW");

打印的是TWO: OW,而不是打印:

2: Consistency is the last refuge of the unimaginative.- Oscar Wilde

要打印这行,应该这样写:

printf("%d: %s/n", TWO, OW);

这行代码中,宏不在双引号内。

那么,何时使用字符常量?对于绝大部分数字常量,应该使用字符常量。如果在算式中用字符常量代替数字,常量名能更清楚地表达该数字的含义。如果是表示数组大小的数字,用符号常量后更容易改变数组的大小和循环次数。如果数字是系统代码(如,EOF),用符号常量表示的代码更容易移植(只需改变EOF的定义)。助记、易更改、可移植,这些都是符号常量很有价值的特性。

C语言现在也支持const关键字,提供了更灵活的方法。用const可以创建在程序运行过程中不能改变的变量,可具有文件作用域或块作用域。另一方面,宏常量可用于指定标准数组的大小和const变量的初始值。

#define LIMIT 20

const int LIM = 50;

static int data1[LIMIT];  // 有效

static int data2[LIM]; // 无效

const int LIM2 = 2 * LIMIT;// 有效

const int LIM3 = 2 * LIM; // 无效

这里解释一下上面代码中的“无效”注释。在C中,非自动数组的大小应该是整型常量表达式,这意味着表示数组大小的必须是整型常量的组合(如5)、枚举常量和sizeof表达式,不包括const声明的值(这也是C++和C的区别之一,在C++中可以把const值作为常量表达式的一部分)。但是,有的实现可能接受其他形式的常量表达式。例如,GCC 4.7.3不允许data2的声明,但是Clang 4.6允许。

16.2.1 记号

从技术角度来看,可以把宏的替换体看作是记号(token)型字符串,而不是字符型字符串。C预处理器记号是宏定义的替换体中单独的“词”。用空白把这些词分开。例如:

#define FOUR 2*2

该宏定义有一个记号:2*2序列。但是,下面的宏定义中:

#define SIX 2 * 3

有3个记号:2、*、3。

替换体中有多个空格时,字符型字符串和记号型字符串的处理方式不同。考虑下面的定义:

#define EIGHT 4 * 8

如果预处理器把该替换体解释为字符型字符串,将用4 * 8替换EIGHT。即,额外的空格是替换体的一部分。如果预处理器把该替换体解释为记号型字符串,则用3个的记号4 * 8(分别由单个空格分隔)来替换EIGHT。换而言之,解释为字符型字符串,把空格视为替换体的一部分;解释为记号型字符串,把空格视为替换体中各记号的分隔符。在实际应用中,一些C编译器把宏替换体视为字符串而不是记号。在比这个例子更复杂的情况下,两者的区别才有实际意义。

顺带一提,C编译器处理记号的方式比预处理器复杂。由于编译器理解C语言的规则,所以不要求代码中用空格来分隔记号。例如,C编译器可以把2*2直接视为3个记号,因为它可以识别2是常量,*是运算符。

16.2.2 重定义常量

假设先把LIMIT定义为20,稍后在该文件中又把它定义为25。这个过程称为重定义常量。不同的实现采用不同的重定义方案。除非新定义与旧定义相同,否则有些实现会将其视为错误。另外一些实现允许重定义,但会给出警告。ANSI标准采用第1种方案,只有新定义和旧定义完全相同才允许重定义。

具有相同的定义意味着替换体中的记号必须相同,且顺序也相同。因此,下面两个定义相同:

#define SIX 2 * 3

#define SIX 2 * 3

这两条定义都有 3 个相同的记号,额外的空格不算替换体的一部分。而下面的定义则与上面两条宏定义不同:

#define SIX 2*3

这条宏定义中只有一个记号,因此与前两条定义不同。如果需要重定义宏,使用#undef 指令(稍后讨论)。

如果确实需要重定义常量,使用const关键字和作用域规则更容易些。

16.3 在#define中使用参数

在#define中使用参数可以创建外形和作用与函数类似的类函数宏。带有参数的宏看上去很像函数,因为这样的宏也使用圆括号。类函数宏定义的圆括号中可以有一个或多个参数,随后这些参数出现在替换体中,如图16.2所示。

图16.2 函数宏定义的组成

下面是一个类函数宏的示例:

#define SQUARE(X) X*X

在程序中可以这样用:

z = SQUARE(2);

这看上去像函数调用,但是它的行为和函数调用完全不同。程序清单16.2演示了类函数宏和另一个宏的用法。该示例中有一些陷阱,请读者仔细阅读序。

程序清单16.2 mac_arg.c程序

/* mac_arg.c -- 带参数的宏 */

#include <stdio.h>

#define SQUARE(X) X*X

#define PR(X)  printf("The result is %d./n", X)

int main(void)

{

int x = 5;

int z;

printf("x = %d/n", x);

z = SQUARE(x);

printf("Evaluating SQUARE(x): ");

PR(z);

z = SQUARE(2);

printf("Evaluating SQUARE(2): ");

PR(z);

printf("Evaluating SQUARE(x+2): ");

PR(SQUARE(x + 2));

printf("Evaluating 100/SQUARE(2): ");

PR(100 / SQUARE(2));

printf("x is %d./n", x);

printf("Evaluating SQUARE(++x): ");

PR(SQUARE(++x));

printf("After incrementing, x is %x./n", x);

return 0;

}

SQUARE宏的定义如下:

#define SQUARE(X) X*X

这里,SQUARE 是宏标识符,SQUARE(X)中的 X 是宏参数,X*X 是替换列表。程序清单 16.2 中出现SQUARE(X)的地方都会被X*X替换。这与前面的示例不同,使用该宏时,既可以用X,也可以用其他符号。宏定义中的X由宏调用中的符号代替。因此,SQUARE(2)替换为2*2,X实际上起到参数的作用。

然而,稍后你将看到,宏参数与函数参数不完全相同。下面是程序的输出。注意有些内容可能与我们的预期不符。实际上,你的编译器输出甚至与下面的结果完全不同。

x = 5

Evaluating SQUARE(x): The result is 25.

Evaluating SQUARE(2): The result is 4.

Evaluating SQUARE(x+2): The result is 17.

Evaluating 100/SQUARE(2): The result is 100.

x is 5.

Evaluating SQUARE(++x): The result is 42.

After incrementing, x is 7.

前两行与预期相符,但是接下来的结果有点奇怪。程序中设置x的值为5,你可能认为SQUARE(x+2)应该是 7*7,即 49。但是,输出的结果是 17,这不是一个平方值!导致这样结果的原因是,我们前面提到过,预处理器不做计算、不求值,只替换字符序列。预处理器把出现x的地方都替换成x+2。因此,x*x变成了x+2*x+2。如果x为5,那么该表达式的值为:

5+2*5+2 = 5 + 10 + 2 = 17

该例演示了函数调用和宏调用的重要区别。函数调用在程序运行时把参数的值传递给函数。宏调用在编译之前把参数记号传递给程序。这两个不同的过程发生在不同时期。是否可以修改宏定义让SQUARE(x+2)得36?当然可以,要多加几个圆括号:

#define SQUARE(x) (x)*(x)

现在SQUARE(x+2)变成了(x+2)*(x+2),在替换字符串中使用圆括号就得到符合预期的乘法运算。

但是,这并未解决所有的问题。下面的输出行:

100/SQUARE(2)

将变成:

100/2*2

根据优先级规则,从左往右对表达式求值:(100/2)*2,即50*2,得100。把SQUARE(x)定义为下面的形式可以解决这种混乱:

#define SQUARE(x) (x*x)

这样修改定义后得100/(2*2),即100/4,得25。

要处理前面的两种情况,要这样定义:

#define SQUARE(x) ((x)*(x))

因此,必要时要使用足够多的圆括号来确保运算和结合的正确顺序。

尽管如此,这样做还是无法避免程序中最后一种情况的问题。SQUARE(++x)变成了++x*++x,递增了两次x,一次在乘法运算之前,一次在乘法运算之后:

++x*++x = 6*7 = 42

由于标准并未对这类运算规定顺序,所以有些编译器得 7*6。而有些编译器可能在乘法运算之前已经递增了x,所以7*7得49。在C标准中,对该表达式求值的这种情况称为未定义行为。无论哪种情况,x的开始值都是5,虽然从代码上看只递增了一次,但是x的最终值是7。

解决这个问题最简单的方法是,避免用++x 作为宏参数。一般而言,不要在宏中使用递增或递减运算符。但是,++x可作为函数参数,因为编译器会对++x求值得5后,再把5传递给函数。

16.3.1 用宏参数创建字符串:#运算符

下面是一个类函数宏:

#define PSQR(X) printf("The square of X is %d./n", ((X)*(X)));

假设这样使用宏:

PSQR(8);

输出为:

The square of X is 64.

注意双引号字符串中的X被视为普通文本,而不是一个可被替换的记号。

C允许在字符串中包含宏参数。在类函数宏的替换体中,#号作为一个预处理运算符,可以把记号转换成字符串。例如,如果x是一个宏形参,那么#x就是转换为字符串"x"的形参名。这个过程称为字符串化(stringizing)。程序清单16.3演示了该过程的用法。

程序清单16.3 subst.c程序

/* subst.c -- 在字符串中替换 */

#include <stdio.h>

#define PSQR(x) printf("The square of " #x " is %d./n",((x)*(x)))

int main(void)

{

int y = 5;

PSQR(y);

PSQR(2 + 4);

return 0;

}

该程序的输出如下:

The square of y is 25.

The square of 2 + 4 is 36.

调用第1个宏时,用"y"替换#x。调用第2个宏时,用"2 + 4"替换#x。ANSI C字符串的串联特性将这些字符串与printf语句的其他字符串组合,生成最终的字符串。例如,第1次调用变成:

printf("The square of " "y" " is %d./n",((y)*(y)));

然后,字符串串联功能将这3个相邻的字符串组合成一个字符串:

"The square of y is %d./n"

16.3.2 预处理器黏合剂:##运算符

与#运算符类似,##运算符可用于类函数宏的替换部分。而且,##还可用于对象宏的替换部分。##运算符把两个记号组合成一个记号。例如,可以这样做:

#define XNAME(n) x ## n

然后,宏XNAME(4)将展开为x4。程序清单16.4演示了##作为记号粘合剂的用法。

程序清单16.4 glue.c程序

// glue.c -- 使用##运算符

#include <stdio.h>

#define XNAME(n) x ## n

#define PRINT_XN(n) printf("x" #n " = %d/n", x ## n);

int main(void)

{

int XNAME(1) = 14; // 变成 int x1 = 14;

int XNAME(2) = 20;// 变成 int x2 = 20;

int x3 = 30;

PRINT_XN(1);  // 变成 printf("x1 = %d/n", x1);

PRINT_XN(2);  // 变成 printf("x2 = %d/n", x2);

PRINT_XN(3);  // 变成 printf("x3 = %d/n", x3);

return 0;

}

该程序的输出如下:

x1 = 14

x2 = 20

x3 = 30

注意,PRINT_XN宏用#运算符组合字符串,##运算符把记号组合为一个新的标识符。

16.3.3 变参宏:...和_ _VA_ARGS_ _

一些函数(如 printf)接受数量可变的参数。stdvar.h 头文件(本章后面介绍)提供了工具,让用户自定义带可变参数的函数。C99/C11也对宏提供了这样的工具。虽然标准中未使用“可变”(variadic)这个词,但是它已成为描述这种工具的通用词(虽然,C标准的索引添加了字符串化(stringizing)词条,但是,标准并未把固定参数的函数或宏称为固定函数和不变宏)。

通过把宏参数列表中最后的参数写成省略号(即,3个点...)来实现这一功能。这样,预定义宏

_ _VA_ARGS_ _可用在替换部分中,表明省略号代表什么。例如,下面的定义:

#define PR(...) printf(_ _VA_ARGS_ _)

假设稍后调用该宏:

PR("Howdy");

PR("weight = %d, shipping = $%.2f/n", wt, sp);

对于第1次调用,_ _VA_ARGS_ _展开为1个参数:"Howdy"。

对于第2次调用,_ _VA_ARGS_ _展开为3个参数:"weight = %d, shipping = $%.2f/n"、wt、sp。

因此,展开后的代码是:

printf("Howdy");

printf("weight = %d, shipping = $%.2f/n", wt, sp);

程序清单16.5演示了一个示例,该程序使用了字符串的串联功能和#运算符。

程序清单16.5 variadic.c程序

// variadic.c -- 变参宏

#include <stdio.h>

#include <math.h>

#define PR(X, ...) printf("Message " #X ": " __VA_ARGS__)

int main(void)

{

double x = 48;

double y;

y = sqrt(x);

PR(1, "x = %g/n", x);

PR(2, "x = %.2f, y = %.4f/n", x, y);

return 0;

}

第1个宏调用,X的值是1,所以#X变成"1"。展开后成为:

print("Message " "1" ": " "x = %g/n", x);

然后,串联4个字符,把调用简化为:

print("Message 1: x = %g/n", x);

下面是该程序的输出:

Message 1: x = 48

Message 2: x = 48.00, y = 6.9282

记住,省略号只能代替最后的宏参数:

#define WRONG(X, ..., Y) #X #_ _VA_ARGS_ _ #y //不能这样做

16.4 宏和函数的选择

有些编程任务既可以用带参数的宏完成,也可以用函数完成。应该使用宏还是函数?这没有硬性规定,但是可以参考下面的情况。

使用宏比使用普通函数复杂一些,稍有不慎会产生奇怪的副作用。一些编译器规定宏只能定义成一行。不过,即使编译器没有这个限制,也应该这样做。

宏和函数的选择实际上是时间和空间的权衡。宏生成内联代码,即在程序中生成语句。如果调用20次宏,即在程序中插入20行代码。如果调用函数20次,程序中只有一份函数语句的副本,所以节省了空间。然而另一方面,程序的控制必须跳转至函数内,随后再返回主调程序,这显然比内联代码花费更多的时间。

宏的一个优点是,不用担心变量类型(这是因为宏处理的是字符串,而不是实际的值)。因此,只要能用int或float类型都可以使用SQUARE(x)宏。

C99提供了第3种可替换的方法——内联函数。本章后面将介绍。

对于简单的函数,程序员通常使用宏,如下所示:

#define MAX(X,Y) ((X) > (Y) ? (X) : (Y))

#define ABS(X) ((X) < 0 ? -(X) : (X))

#define ISSIGN(X) ((X) == '+' || (X) == '-' ? 1 : 0)

(如果x是一个代数符号字符,最后一个宏的值为1,即为真。)

要注意以下几点。

记住宏名中不允许有空格,但是在替换字符串中可以有空格。ANSI C允许在参数列表中使用空格。

用圆括号把宏的参数和整个替换体括起来。这样能确保被括起来的部分在下面这样的表达式中正确地展开:

forks = 2 * MAX(guests + 3, last);

用大写字母表示宏函数的名称。该惯例不如用大写字母表示宏常量应用广泛。但是,大写字母可以提醒程序员注意,宏可能产生的副作用。

如果打算使用宏来加快程序的运行速度,那么首先要确定使用宏和使用函数是否会导致较大差异。在程序中只使用一次的宏无法明显减少程序的运行时间。在嵌套循环中使用宏更有助于提高效率。许多系统提供程序分析器以帮助程序员压缩程序中最耗时的部分。

假设你开发了一些方便的宏函数,是否每写一个新程序都要重写这些宏?如果使用#include指令,就不用这样做了。

16.5 文件包含:#include

当预处理器发现#include 指令时,会查看后面的文件名并把文件的内容包含到当前文件中,即替换源文件中的#include指令。这相当于把被包含文件的全部内容输入到源文件#include指令所在的位置。#include指令有两种形式:

#include <stdio.h> ←文件名在尖括号中

#include "mystuff.h" ←文件名在双引号中

在 UNIX 系统中,尖括号告诉预处理器在标准系统目录中查找该文件。双引号告诉预处理器首先在当前目录中(或文件名中指定的其他目录)查找该文件,如果未找到再查找标准系统目录:

#include <stdio.h> ←查找系统目录

#include "hot.h"  ←查找当前工作目录

#include "/usr/biff/p.h" ←查找/usr/biff目录

集成开发环境(IDE)也有标准路径或系统头文件的路径。许多集成开发环境提供菜单选项,指定用尖括号时的查找路径。在 UNIX 中,使用双引号意味着先查找本地目录,但是具体查找哪个目录取决于编译器的设定。有些编译器会搜索源代码文件所在的目录,有些编译器则搜索当前的工作目录,还有些搜索项目文件所在的目录。

ANSI C不为文件提供统一的目录模型,因为不同的计算机所用的系统不同。一般而言,命名文件的方法因系统而异,但是尖括号和双引号的规则与系统无关。

为什么要包含文件?因为编译器需要这些文件中的信息。例如,stdio.h文件中通常包含EOF、NULL、getchar和 putchar的定义。getchar和 putchar被定义为宏函数。此外,该文件中还包含C的其他I/O函数。

C语言习惯用.h后缀表示头文件,这些文件包含需要放在程序顶部的信息。头文件经常包含一些预处理器指令。有些头文件(如stdio.h)由系统提供,当然你也可以创建自己的头文件。

包含一个大型头文件不一定显著增加程序的大小。在大部分情况下,头文件的内容是编译器生成最终代码时所需的信息,而不是添加到最终代码中的材料。

16.5.1 头文件示例

假设你开发了一个存放人名的结构,还编写了一些使用该结构的函数。可以把不同的声明放在头文件中。程序清单16.6演示了一个这样的例子。

程序清单16.6 names_st.h头文件

// names_st.h -- names_st 结构的头文件

// 常量

#include <string.h>

#define SLEN 32

// 结构声明

struct names_st

{

char first[SLEN];

char last[SLEN];

};

// 类型定义

typedef struct names_st names;

// 函数原型

void get_names(names *);

void show_names(const names *);

char * s_gets(char * st, int n);

该头文件包含了一些头文件中常见的内容:#define指令、结构声明、typedef和函数原型。注意,这些内容是编译器在创建可执行代码时所需的信息,而不是可执行代码。为简单起见,这个特殊的头文件过于简单。通常,应该用#ifndef和#define防止多重包含头文件。我们稍后介绍这些内容。

可执行代码通常在源代码文件中,而不是在头文件中。例如,程序清单16.7中有头文件中函数原型的定义。该程序包含了names_st.h头文件,所以编译器知道names类型。

程序清单16.7 name_st.c源文件

// names_st.c -- 定义 names_st.h中的函数

#include <stdio.h>

#include "names_st.h"// 包含头文件

// 函数定义

void get_names(names * pn)

{

printf("Please enter your first name: ");

s_gets(pn->first, SLEN);

printf("Please enter your last name: ");

s_gets(pn->last, SLEN);

}

void show_names(const names * pn)

{

printf("%s %s", pn->first, pn->last);

}

char * s_gets(char * st, int n)

{

char * ret_val;

char * find;

ret_val = fgets(st, n, stdin);

if (ret_val)

{

find = strchr(st, '/n');  // 查找换行符

if (find)  // 如果地址不是NULL,

*find = '/0'; // 在此处放置一个空字符

else

while (getchar != '/n')

continue; // 处理输入行中的剩余字符

}

return ret_val;

}

get_names函数通过s_gets函数调用了fgets函数,避免了目标数组溢出。程序清单16.8使用了程序清单16.6的头文件和程序清单16.7的源文件。

程序清单16.8 useheader.c程序

// useheader.c -- 使用 names_st 结构

#include <stdio.h>

#include "names_st.h"

// 记住要链接 names_st.c

int main(void)

{

names candidate;

get_names(&candidate);

printf("Let's welcome ");

show_names(&candidate);

printf(" to this program!/n");

return 0;

}

下面是该程序的输出:

Please enter your first name: Ian

Please enter your last name: Smersh

Let's welcome Ian Smersh to this program!

该程序要注意下面几点。

两个源代码文件都使用names_st类型结构,所以它们都必须包含names_st.h头文件。

必须编译和链接names_st.c和useheader.c源代码文件。

声明和指令放在nems_st.h头文件中,函数定义放在names_st.c源代码文件中。

16.5.2 使用头文件

浏览任何一个标准头文件都可以了解头文件的基本信息。头文件中最常用的形式如下。

明示常量——例如,stdio.h中定义的EOF、NULL和BUFSIZE(标准I/O缓冲区大小)。

宏函数——例如,getc(stdin)通常用getchar定义,而getc经常用于定义较复杂的宏,头文件ctype.h通常包含ctype系列函数的宏定义。

函数声明——例如,string.h头文件(一些旧的系统中是strings.h)包含字符串函数系列的函数声明。在ANSI C和后面的标准中,函数声明都是函数原型形式。

结构模版定义——标准I/O函数使用FILE结构,该结构中包含了文件和与文件缓冲区相关的信息。FILE结构在头文件stdio.h中。

类型定义——标准 I/O 函数使用指向 FILE 的指针作为参数。通常,stdio.h 用#define 或typedef把FILE定义为指向结构的指针。类似地,size_t和time_t类型也定义在头文件中。

许多程序员都在程序中使用自己开发的标准头文件。如果开发一系列相关的函数或结构,那么这种方法特别有价值。

另外,还可以使用头文件声明外部变量供其他文件共享。例如,如果已经开发了共享某个变量的一系列函数,该变量报告某种状况(如,错误情况),这种方法就很有效。这种情况下,可以在包含这些函数声明的源代码文件定义一个文件作用域的外部链接变量:

int status = 0;// 该变量具有文件作用域,在源代码文件

然后,可以在与源代码文件相关联的头文件中进行引用式声明:

extern int status; // 在头文件中

这行代码会出现在包含了该头文件的文件中,这样使用该系列函数的文件都能使用这个变量。虽然源代码文件中包含该头文件后也包含了该声明,但是只要声明的类型一致,在一个文件中同时使用定义式声明和引用式声明没问题。

需要包含头文件的另一种情况是,使用具有文件作用域、内部链接和 const 限定符的变量或数组。const 防止值被意外修改,static 意味着每个包含该头文件的文件都获得一份副本。因此,不需要在一个文件中进行定义式声明,在其他文件中进行引用式声明。

#include和#define指令是最常用的两个C预处理器特性。接下来,我们介绍一些其他指令。

16.6 其他指令

程序员可能要为不同的工作环境准备C程序和C库包。不同的环境可能使用不同的代码类型。预处理器提供一些指令,程序员通过修改#define的值即可生成可移植的代码。#undef指令取消之前的#define定义。#if、#ifdef、#ifndef、#else、#elif和#endif指令用于指定什么情况下编写哪些代码。#line指令用于重置行和文件信息,#error指令用于给出错误消息,#pragma指令用于向编译器发出指令。

16.6.1 #undef指令

#undef指令用于“取消”已定义的#define指令。也就是说,假设有如下定义:

#define LIMIT 400

然后,下面的指令:

#undef LIMIT

将移除上面的定义。现在就可以把LIMIT重新定义为一个新值。即使原来没有定义LIMIT,取消LIMIT的定义仍然有效。如果想使用一个名称,又不确定之前是否已经用过,为安全起见,可以用#undef 指令取消该名字的定义。

16.6.2 从C预处理器角度看已定义

处理器在识别标识符时,遵循与C相同的规则:标识符可以由大写字母、小写字母、数字和下划线字符组成,且首字符不能是数字。当预处理器在预处理器指令中发现一个标识符时,它会把该标识符当作已定义的或未定义的。这里的已定义表示由预处理器定义。如果标识符是同一个文件中由前面的#define指令创建的宏名,而且没有用#undef 指令关闭,那么该标识符是已定义的。如果标识符不是宏,假设是一个文件作用域的C变量,那么该标识符对预处理器而言就是未定义的。

已定义宏可以是对象宏,包括空宏或类函数宏:

#define LIMIT 1000 // LIMIT是已定义的

#define GOOD  // GOOD 是已定义的

#define A(X) ((-(X))*(X)) // A 是已定义的

int q; // q 不是宏,因此是未定义的

#undef GOOD// GOOD 取消定义,是未定义的

注意,#define宏的作用域从它在文件中的声明处开始,直到用#undef指令取消宏为止,或延伸至文件尾(以二者中先满足的条件作为宏作用域的结束)。另外还要注意,如果宏通过头文件引入,那么#define在文件中的位置取决于#include指令的位置。

稍后将介绍几个预定义宏,如__DATE__和__FILE__。这些宏一定是已定义的,而且不能取消定义。

16.6.3 条件编译

可以使用其他指令创建条件编译(conditinal compilation)。也就是说,可以使用这些指令告诉编译器根据编译时的条件执行或忽略信息(或代码)块。

1.#ifdef、#else和#endif指令

我们用一个简短的示例来演示条件编译的情况。考虑下面的代码:

#ifdef MAVIS

#include "horse.h"// 如果已经用#define定义了 MAVIS,则执行下面的指令

#define STABLES 5

#else

#include "cow.h"  //如果没有用#define定义 MAVIS,则执行下面的指令

#define STABLES 15

#endif

这里使用的较新的编译器和 ANSI 标准支持的缩进格式。如果使用旧的编译器,必须左对齐所有的指令或至少左对齐#号,如下所示:

#ifdef MAVIS

#include "horse.h" // 如果已经用#define定义了 MAVIS,则执行下面的指令

#define STABLES 5

#else

#include "cow.h"  //如果没有用#define定义 MAVIS,则执行下面的指令

#define STABLES 15

#endif

#ifdef指令说明,如果预处理器已定义了后面的标识符(MAVIS),则执行#else或#endif指令之前的所有指令并编译所有C代码(先出现哪个指令就执行到哪里)。如果预处理器未定义MAVIS,且有 #else指令,则执行#else和#endif指令之间的所有代码。

#ifdef #else很像C的if else。两者的主要区别是,预处理器不识别用于标记块的花括号({}),因此它使用#else(如果需要)和#endif(必须存在)来标记指令块。这些指令结构可以嵌套。也可以用这些指令标记C语句块,如程序清单16.9所示。

程序清单16.9 ifdef.c程序

/* ifdef.c -- 使用条件编译 */

#include <stdio.h>

#define JUST_CHECKING

#define LIMIT 4

int main(void)

{

int i;

int total = 0;

for (i = 1; i <= LIMIT; i++)

{

total += 2 * i*i + 1;

#ifdef JUST_CHECKING

printf("i=%d, running total = %d/n", i, total);

#endif

}

printf("Grand total = %d/n", total);

return 0;

}

编译并运行该程序后,输出如下:

i=1, running total = 3

i=2, running total = 12

i=3, running total = 31

i=4, running total = 64

Grand total = 64

如果省略JUST_CHECKING定义(把它放在C注释中,或者使用#undef指令取消它的定义)并重新编译该程序,只会输出最后一行。可以用这种方法在调试程序。定义JUST_CHECKING并合理使用#ifdef,编译器将执行用于调试的程序代码,打印中间值。调试结束后,可移除JUST_CHECKING定义并重新编译。如果以后还需要使用这些信息,重新插入定义即可。这样做省去了再次输入额外打印语句的麻烦。#ifdef还可用于根据不同的C实现选择合适的代码块。

2.#ifndef指令

#ifndef指令与#ifdef指令的用法类似,也可以和#else、#endif一起使用,但是它们的逻辑相反。#ifndef指令判断后面的标识符是否是未定义的,常用于定义之前未定义的常量。如下所示:

/* arrays.h */

#ifndef SIZE

#define SIZE 100

#endif

(旧的实现可能不允许使用缩进的#define)

通常,包含多个头文件时,其中的文件可能包含了相同宏定义。#ifndef指令可以防止相同的宏被重复定义。在首次定义一个宏的头文件中用#ifndef指令激活定义,随后在其他头文件中的定义都被忽略。

#ifndef指令还有另一种用法。假设有上面的arrays.h头文件,然后把下面一行代码放入一个头文件中:

#include "arrays.h"

SIZE被定义为100。但是,如果把下面的代码放入该头文件:

#define SIZE 10

#include "arrays.h"

SIZE则被设置为10。这里,当执行到#include "arrays.h"这行,处理array.h中的代码时,由于SIZE是已定义的,所以跳过了#define SIZE 100这行代码。鉴于此,可以利用这种方法,用一个较小的数组测试程序。测试完毕后,移除#define SIZE 10并重新编译。这样,就不用修改头文件数组本身了。

#ifndef指令通常用于防止多次包含一个文件。也就是说,应该像下面这样设置头文件:

/* things.h */

#ifndef THINGS_H_

#define THINGS_H_

/* 省略了头文件中的其他内容*/

#endif

假设该文件被包含了多次。当预处理器首次发现该文件被包含时,THINGS_H_是未定义的,所以定义了THINGS_H_,并接着处理该文件的其他部分。当预处理器第2次发现该文件被包含时,THINGS_H_是已定义的,所以预处理器跳过了该文件的其他部分。

为何要多次包含一个文件?最常见的原因是,许多被包含的文件中都包含着其他文件,所以显式包含的文件中可能包含着已经包含的其他文件。这有什么问题?在被包含的文件中有某些项(如,一些结构类型的声明)只能在一个文件中出现一次。C标准头文件使用#ifndef技巧避免重复包含。但是,这存在一个问题:如何确保待测试的标识符没有在别处定义。通常,实现的供应商使用这些方法解决这个问题:用文件名作为标识符、使用大写字母、用下划线字符代替文件名中的点字符、用下划线字符做前缀或后缀(可能使用两条下划线)。例如,查看stdio.h头文件,可以发现许多类似的代码:

#ifndef _STDIO_H

#define _STDIO_H

// 省略了文件的内容

#endif

你也可以这样做。但是,由于标准保留使用下划线作为前缀,所以在自己的代码中不要这样写,避免与标准头文件中的宏发生冲突。程序清单16.10修改了程序清单16.6中的头文件,使用#ifndef避免文件被重复包含。

程序清单16.10 names.c程序

// names.h --修订后的 names_st 头文件,避免重复包含

#ifndef NAMES_H_

#define NAMES_H_

// 明示常量

#define SLEN 32

// 结构声明

struct names_st

{

char first[SLEN];

char last[SLEN];

};

// 类型定义

typedef struct names_st names;

// 函数原型

void get_names(names *);

void show_names(const names *);

char * s_gets(char * st, int n);

#endif

用程序清单16.11的程序测试该头文件没问题,但是如果把清单16.10中的#ifndef保护删除后,程序就无法通过编译。

程序清单16.11 doubincl.c程序

// doubincl.c -- 包含头文件两次

#include <stdio.h>

#include "names.h"

#include "names.h"  // 不小心第2次包含头文件

int main

{

names winner = { "Less", "Ismoor" };

printf("The winner is %s %s./n", winner.first,

winner.last);

return 0;

}

3.#if和#elif指令

#if指令很像C语言中的if。#if后面跟整型常量表达式,如果表达式为非零,则表达式为真。可以在指令中使用C的关系运算符和逻辑运算符:

#if SYS == 1

#include "ibm.h"

#endif

可以按照if else的形式使用#elif(早期的实现不支持#elif)。例如,可以这样写:

#if SYS == 1

#include "ibmpc.h"

#elif SYS == 2

#include "vax.h"

#elif SYS == 3

#include "mac.h"

#else

#include "general.h"

#endif

较新的编译器提供另一种方法测试名称是否已定义,即用#if defined (VAX)代替#ifdef VAX。

这里,defined是一个预处理运算符,如果它的参数是用#defined定义过,则返回1;否则返回0。这种新方法的优点是,它可以和#elif一起使用。下面用这种形式重写前面的示例:

#if defined (IBMPC)

#include "ibmpc.h"

#elif defined (VAX)

#include "vax.h"

#elif defined (MAC)

#include "mac.h"

#else

#include "general.h"

#endif

如果在VAX机上运行这几行代码,那么应该在文件前面用下面的代码定义VAX:

#define VAX

条件编译还有一个用途是让程序更容易移植。改变文件开头部分的几个关键的定义,即可根据不同的系统设置不同的值和包含不同的文件。

16.6.4 预定义宏

C标准规定了一些预定义宏,如表16.1所列。

表16.1 预 定 义 宏

C99 标准提供一个名为_ _func_ _的预定义标识符,它展开为一个代表函数名的字符串(该函数包含该标识符)。那么,_ _func_ _必须具有函数作用域,而从本质上看宏具有文件作用域。因此,_ _func_ _是C语言的预定义标识符,而不是预定义宏。

程序清单16.12 中使用了一些预定义宏和预定义标识符。注意,其中一些是C99 新增的,所以不支持C99的编译器可能无法识别它们。如果使用GCC,必须设置-std=c99或-std=c11。

程序清单16.12 predef.c程序

// predef.c -- 预定义宏和预定义标识符

#include <stdio.h>

void why_me;

int main

{

printf("The file is %s./n", __FILE__);

printf("The date is %s./n", __DATE__);

printf("The time is %s./n", __TIME__);

printf("The version is %ld./n", __STDC_VERSION__);

printf("This is line %d./n", __LINE__);

printf("This function is %s/n", __func__);

why_me;

return 0;

}

void why_me

{

printf("This function is %s/n", __func__);

printf("This is line %d./n", __LINE__);

}

下面是该程序的输出:

The file is predef.c.

The date is Sep 23 2013.

The time is 22:01:09.

The version is 201112.

This is line 11.

This function is main

This function is why_me

This is line 21.

16.6.5 #line和#error

#line指令重置_ _LINE_ _和_ _FILE_ _宏报告的行号和文件名。可以这样使用#line:

#line 1000 // 把当前行号重置为1000

#line 10 "cool.c" // 把行号重置为10,把文件名重置为cool.c

#error 指令让预处理器发出一条错误消息,该消息包含指令中的文本。如果可能的话,编译过程应该中断。可以这样使用#error指令:

#if _ _STDC_VERSION_ _ != 201112L

#error Not C11

#endif

编译以上代码生成后,输出如下:

$ gcc newish.c

newish.c:14:2: error: #error Not C11

$ gcc -std=c11 newish.c

$

如果编译器只支持旧标准,则会编译失败,如果支持C11标准,就能成功编译。

16.6.6 #pragma

在现在的编译器中,可以通过命令行参数或IDE菜单修改编译器的一些设置。#pragma把编译器指令放入源代码中。例如,在开发C99时,标准被称为C9X,可以使用下面的编译指示(pragma)让编译器支持C9X:

#pragma c9x on

一般而言,编译器都有自己的编译指示集。例如,编译指示可能用于控制分配给自动变量的内存量,或者设置错误检查的严格程度,或者启用非标准语言特性等。C99 标准提供了 3 个标准编译指示,但是超出了本书讨论的范围。

C99还提供_Pragma预处理器运算符,该运算符把字符串转换成普通的编译指示。例如:

_Pragma("nonstandardtreatmenttypeB on")

等价于下面的指令:

#pragma nonstandardtreatmenttypeB on

由于该运算符不使用#符号,所以可以把它作为宏展开的一部分:

#define PRAGMA(X) _Pragma(#X)

#define LIMRG(X) PRAGMA(STDC CX_LIMITED_RANGE X)

然后,可以使用类似下面的代码:

LIMRG ( ON )

顺带一提,下面的定义看上去没问题,但实际上无法正常运行:

#define LIMRG(X) _Pragma(STDC CX_LIMITED_RANGE #X)

问题在于这行代码依赖字符串的串联功能,而预处理过程完成之后才会串联字符串。

_Pragma 运算符完成“解字符串”(destringizing)的工作,即把字符串中的转义序列转换成它所代表的字符。因此,

_Pragma("use_bool /"true /"false")

变成了:

#pragma use_bool "true "false

16.6.7 泛型选择(C11)

在程序设计中,泛型编程(generic programming)指那些没有特定类型,但是一旦指定一种类型,就可以转换成指定类型的代码。例如,C++在模板中可以创建泛型算法,然后编译器根据指定的类型自动使用实例化代码。C没有这种功能。然而,C11新增了一种表达式,叫作泛型选择表达式(generic selection expression),可根据表达式的类型(即表达式的类型是 int、double 还是其他类型)选择一个值。泛型选择表达式不是预处理器指令,但是在一些泛型编程中它常用作#define宏定义的一部分。

下面是一个泛型选择表达式的示例:

_Generic(x, int: 0, float: 1, double: 2, default: 3)

_Generic是C11的关键字。_Generic后面的圆括号中包含多个用逗号分隔的项。第1个项是一个表达式,后面的每个项都由一个类型、一个冒号和一个值组成,如float: 1。第1个项的类型匹配哪个标签,整个表达式的值是该标签后面的值。例如,假设上面表达式中x是int类型的变量,x的类型匹配int:标签,那么整个表达式的值就是0。如果没有与类型匹配的标签,表达式的值就是default:标签后面的值。泛型选择语句与 switch 语句类似,只是前者用表达式的类型匹配标签,而后者用表达式的值匹配标签。

下面是一个把泛型选择语句和宏定义组合的例子:

#define MYTYPE(X) _Generic((X),/

int: "int",/

float : "float",/

double: "double",/

default: "other"/

)

宏必须定义为一条逻辑行,但是可以用/把一条逻辑行分隔成多条物理行。在这种情况下,对泛型选择表达式求值得字符串。例如,对MYTYPE(5)求值得"int",因为值5的类型与int:标签匹配。程序清单16.13演示了这种用法。

程序清单16.13 mytype.c程序

// mytype.c

#include <stdio.h>

#define MYTYPE(X) _Generic((X),/

int: "int",/

float : "float",/

double: "double",/

default: "other"/

)

int main(void)

{

int d = 5;

printf("%s/n", MYTYPE(d)); // d 是int类型

printf("%s/n", MYTYPE(2.0*d)); // 2.0 * d 是double类型

printf("%s/n", MYTYPE(3L)); // 3L 是long类型

printf("%s/n", MYTYPE(&d));// &d 的类型是 int *

return 0;

}

下面是该程序的输出:

int

double

other

other

MYTYPE最后两个示例所用的类型与标签不匹配,所以打印默认的字符串。可以使用更多类型标签来扩展宏的能力,但是该程序主要是为了演示_Generic的基本工作原理。

对一个泛型选择表达式求值时,程序不会先对第一个项求值,它只确定类型。只有匹配标签的类型后才会对表达式求值。

可以像使用独立类型(“泛型”)函数那样使用_Generic 定义宏。本章后面介绍 math 库时会给出一个示例。

16.7 内联函数(C99)

通常,函数调用都有一定的开销,因为函数的调用过程包括建立调用、传递参数、跳转到函数代码并返回。使用宏使代码内联,可以避免这样的开销。C99还提供另一种方法:内联函数(inline function)。读者可能顾名思义地认为内联函数会用内联代码替换函数调用。其实C99和C11标准中叙述的是:“把函数变成内联函数建议尽可能快地调用该函数,其具体效果由实现定义”。因此,把函数变成内联函数,编译器可能会用内联代码替换函数调用,并(或)执行一些其他的优化,但是也可能不起作用。

创建内联函数的定义有多种方法。标准规定具有内部链接的函数可以成为内联函数,还规定了内联函数的定义与调用该函数的代码必须在同一个文件中。因此,最简单的方法是使用函数说明符 inline 和存储类别说明符static。通常,内联函数应定义在首次使用它的文件中,所以内联函数也相当于函数原型。如下所示:

#include <stdio.h>

inline static void eatline  // 内联函数定义/原型

{

while (getchar != '/n')

continue;

}

int main

{

...

eatline; // 函数调用

...

}

编译器查看内联函数的定义(也是原型),可能会用函数体中的代码替换 eatline函数调用。也就是说,效果相当于在函数调用的位置输入函数体中的代码:

#include <stdio.h>

inline static void eatline //内联函数定义/原型

{

while (getchar != '/n')

continue;

}

int main

{

...

while (getchar != '/n') //替换函数调用

continue;

...

}

由于并未给内联函数预留单独的代码块,所以无法获得内联函数的地址(实际上可以获得地址,不过这样做之后,编译器会生成一个非内联函数)。另外,内联函数无法在调试器中显示。

内联函数应该比较短小。把较长的函数变成内联并未节约多少时间,因为执行函数体的时间比调用函数的时间长得多。

编译器优化内联函数必须知道该函数定义的内容。这意味着内联函数定义与函数调用必须在同一个文件中。鉴于此,一般情况下内联函数都具有内部链接。因此,如果程序有多个文件都要使用某个内联函数,那么这些文件中都必须包含该内联函数的定义。最简单的做法是,把内联函数定义放入头文件,并在使用该内联函数的文件中包含该头文件即可。

// eatline.h

#ifndef EATLINE_H_

#define EATLINE_H_

inline static void eatline

{

while (getchar != '/n')

continue;

}

#endif

一般都不在头文件中放置可执行代码,内联函数是个特例。因为内联函数具有内部链接,所以在多个文件中定义同一个内联函数不会产生什么问题。

与C++不同的是,C还允许混合使用内联函数定义和外部函数定义(具有外部链接的函数定义)。例如,一个程序中使用下面3个文件:

//file1.c

...

inline static double square(double);

double square(double x) { return x * x; }

int main

{

double q = square(1.3);

...

//file2.c

...

double square(double x) { return (int) (x*x); }

void spam(double v)

{

double kv = square(v);

...

//file3.c

...

inline double square(double x) { return (int) (x * x + 0.5); }

void masp(double w)

{

double kw = square(w);

...

如上述代码所示,3个文件中都定义了square函数。file1.c文件中是inline static定义;file2.c 文件中是普通的函数定义(因此具有外部链接);file3.c 文件中是 inline 定义,省略了static。

3个文件中的函数都调用了square函数,这会发生什么情况?。file1.c文件中的main使用square的局部static定义。由于该定义也是inline定义,所以编译器有可能优化代码,也许会内联该函数。file2.c 文件中,spam函数使用该文件中 square函数的定义,该定义具有外部链接,其他文件也可见。file3.c文件中,编译器既可以使用该文件中square函数的内联定义,也可以使用file2.c文件中的外部链接定义。如果像file3.c那样,省略file1.c文件inline定义中的static,那么该inline定义被视为可替换的外部定义。

注意GCC在C99之前就使用一些不同的规则实现了内联函数,所以GCC可以根据当前编译器的标记来解释inline。

16.8 _Noreturn函数(C11)

C99新增inline关键字时,它是唯一的函数说明符(关键字extern和static是存储类别说明符,可应用于数据对象和函数)。C11新增了第2个函数说明符_Noreturn,表明调用完成后函数不返回主调函数。exit函数是_Noreturn 函数的一个示例,一旦调用exit,它不会再返回主调函数。注意,这与void返回类型不同。void类型的函数在执行完毕后返回主调函数,只是它不提供返回值。

_Noreturn的目的是告诉用户和编译器,这个特殊的函数不会把控制返回主调程序。告诉用户以免滥用该函数,通知编译器可优化一些代码。

16.9 C库

最初,并没有官方的C库。后来,基于UNIX的C实现成为了标准。ANSI C委员会主要以这个标准为基础,开发了一个官方的标准库。在意识到C语言的应用范围不断扩大后,该委员会重新定义了这个库,使之可以应用于其他系统。

我们讨论过一些标准库中的 I/O 函数、字符函数和字符串函数。本章将介绍更多函数。不过,首先要学习如何使用库。

16.9.1 访问C库

如何访问C库取决于实现,因此你要了解当前系统的一般情况。首先,可以在多个不同的位置找到库函数。例如,getchar函数通常作为宏定义在stdio.h头文件中,而strlen通常在库文件中。其次,不同的系统搜索这些函数的方法不同。下面介绍3种可能的方法。

1.自动访问

在一些系统中,只需编译程序,就可使用一些常用的库函数。

记住,在使用函数之前必须先声明函数的类型,通过包含合适的头文件即可完成。在描述库函数的用户手册中,会指出使用某函数时应包含哪个头文件。但是在一些旧系统上,可能必须自己输入函数声明。再次提醒读者,用户手册中指明了函数类型。另外,附录B“参考资料”中根据头文件分组,总结了ANSI C库函数。

过去,不同的实现使用的头文件名不同。ANSI C标准把库函数分为多个系列,每个系列的函数原型都放在一个特定的头文件中。

2.文件包含

如果函数被定义为宏,那么可以通过#include 指令包含定义宏函数的文件。通常,类似的宏都放在合适名称的头文件中。例如,许多系统(包括所有的ANSI C系统)都有ctype.h文件,该文件中包含了一些确定字符性质(如大写、数字等)的宏。

3.库包含

在编译或链接程序的某些阶段,可能需要指定库选项。即使在自动检查标准库的系统中,也会有不常用的函数库。必须通过编译时选项显式指定这些库。注意,这个过程与包含头文件不同。头文件提供函数声明或原型,而库选项告诉系统到哪里查找函数代码。虽然这里无法涉及所有系统的细节,但是可以提醒读者应该注意什么。

16.9.2 使用库描述

篇幅有限,我们无法讨论完整的库。但是,可以看几个具有代表性的示例。首先,了解函数文档。

可以在多个地方找到函数文档。你所使用的系统可能有在线手册,集成开发环境通常都有在线帮助。C实现的供应商可能提供描述库函数的纸质版用户手册,或者把这些材料放在CD-ROM中或网上。有些出版社也出版C库函数的参考手册。这些材料中,有些是一般材料,有些则是针对特定实现的。本书附录B中提供了一个库函数的总结。

阅读文档的关键是看懂函数头。许多内容随时间变化而变化。下面是旧的UNIX文档中,关于fread的描述:

#include <stdio.h>

fread(ptr, sizeof(*ptr), nitems, stream)

FILE *stream;

首先,给出了应该包含的文件,但是没有给出fread、ptr、sizeof(*ptr)或nitems的类型。过去,默认类型都是int,但是从描述中可以看出ptr是一个指针(在早期的C中,指针被作为整数处理)。参数stream声明为指向FILE的指针。上面的函数声明中的第2个参数看上去像是sizeof运算符,而实际上这个参数的值应该是ptr所指向对象的大小。虽然用sizeof作为参数没什么问题,但是用int类型的值作为参数更符合语法。

后来,上面的描述变成了:

#include <stdio.h>

int fread(ptr, size, nitems, stream;)

char *ptr;

int size, nitems;

FILE *stream;

现在,所有的类型都显式说明,ptr作为指向char的指针。

ANSI C90标准提供了下面的描述:

#include <stdio.h>

size_t fread(void *ptr, size_t size, size_t nmemb, FILE *stream);

首先,使用了新的函数原型格式。其次,改变了一些类型。size_t 类型被定义为 sizeof 运算符的返回值类型——无符号整数类型,通常是unsigned int或unsigned long。stddef.h文件中包含了size_t类型的typedef或#define定义。其他文件(包括stdio.h)通过包含stddef.h来包含这个定义。许多函数(包括fread)的实际参数中都要使用sizeof运算符,形式参数的size_t类型中正好匹配这种常见的情况。

另外,ANSI C把指向void的指针作为一种通用指针,用于指针指向不同类型的情况。例如,fread的第1个参数可能是指向一个double类型数组的指针,也可能是指向其他类型结构的指针。如果假设实际参数是一个指向内含20个double类型元素数组的指针,且形式参数是指向void的指针,那么编译器会选用合适的类型,不会出现类型冲突的问题。

C99/C11标准在以上的描述中加入了新的关键字restric:

#include <stdio.h>

size_t fread(void * restrict ptr, size_t size,size_t nmemb, FILE * restrict stream);

接下来,我们讨论一些特殊的函数。

16.10 数学库

数学库中包含许多有用的数学函数。math.h头文件提供这些函数的原型。表16.2中列出了一些声明在 math.h 中的函数。注意,函数中涉及的角度都以弧度为单位(1 弧度=180/π=57.296 度)。参考资料 V“新增C99和C11标准的ANSI C库”列出了C99和C11标准的所有函数。

表16.2 ANSI C标准的一些数学函数

16.10.1 三角问题

我们可以使用数学库解决一些常见的问题:把x/y坐标转换为长度和角度。例如,在网格上画了一条线,该线条水平穿过了4个单元(x的值),垂直穿过了3个单元(y的值)。那么,该线的长度(量)和方向是什么?根据数学的三角公式可知:

大小 =square root (x2+y2)

角度 = arctan(y/x)

数学库提供平方根函数和一对反正切函数,所以可以用C程序表示这个问题。平方根函数是sqrt,接受一个double类型的参数,并返回参数的平方根,也是double类型。

atan函数接受一个double类型的参数(即正切值),并返回一个角度(该角度的正切值就是参数值)。但是,当线的x值和y值均为-5时,atan函数产生混乱。因为(-5)/(-5)得1,所以atan返回45°,该值与x和y均为5时的返回值相同。也就是说,atan无法区分角度相同但反向相反的线(实际上,atan返回值的单位是弧度而不是度,稍后介绍两者的转换)。

当然,C库还提供了atan2函数。它接受两个参数:x的值和y的值。这样,通过检查x和y的正负号就可以得出正确的角度值。atan2和 atan均返回弧度值。把弧度转换为度,只需将弧度值乘以180,再除以pi即可。pi的值通过计算表达式4*atan(1)得到。程序清单16.13演示了这些步骤。另外,学习该程序还复习了结构和typedef相关的知识。

程序清单16.14 rect_pol.c程序

/* rect_pol.c -- 把直角坐标转换为极坐标 */

#include <stdio.h>

#include <math.h>

#define RAD_TO_DEG (180/(4 * atan(1)))

typedef struct polar_v {

double magnitude;

double angle;

} Polar_V;

typedef struct rect_v {

double x;

double y;

} Rect_V;

Polar_V rect_to_polar(Rect_V);

int main(void)

{

Rect_V input;

Polar_V result;

puts("Enter x and y coordinates; enter q to quit:");

while (scanf("%lf %lf", &input.x, &input.y) == 2)

{

result = rect_to_polar(input);

printf("magnitude = %0.2f, angle = %0.2f/n",

result.magnitude, result.angle);

}

puts("Bye.");

return 0;

}

Polar_V rect_to_polar(Rect_V rv)

{

Polar_V pv;

pv.magnitude = sqrt(rv.x * rv.x + rv.y * rv.y);

if (pv.magnitude == 0)

pv.angle = 0.0;

else

pv.angle = RAD_TO_DEG * atan2(rv.y, rv.x);

return pv;

}

下面是运行该程序后的一个输出示例:

Enter x and y coordinates; enter q to quit:

10 10

magnitude = 14.14, angle = 45.00

-12 -5

magnitude = 13.00, angle = -157.38

q

Bye.

如果编译时出现下面的消息:

Undefined: _sqrt

'sqrt': unresolved external

或者其他类似的消息,表明编译器链接器没有找到数学库。UNIX系统会要求使用-lm标记(flag)指示链接器搜索数学库:

cc rect_pol.c –lm

注意,-lm标记在命令行的末尾。因为链接器在编译器编译C文件后才开始处理。在Linux中使用GCC编译器可能要这样写:

gcc rect_pol.c -lm

16.10.2 类型变体

基本的浮点型数学函数接受double类型的参数,并返回double类型的值。当然,也可以把float或 long double 类型的参数传递给这些函数,它们仍然能正常工作,因为这些类型的参数会被转换成double类型。这样做很方便,但并不是最好的处理方式。如果不需要双精度,那么用float类型的单精度值来计算会更快些。而且把long double类型的值传递给double类型的形参会损失精度,形参获得的值可能不是原来的值。为了解决这些潜在的问题,C标准专门为float类型和long double类型提供了标准函数,即在原函数名前加上f或l前缀。因此,sqrtf是sqrt的float版本,sqrtl是sqrt的long double版本。

利用C11 新增的泛型选择表达式定义一个泛型宏,根据参数类型选择最合适的数学函数版本。程序清单16.15演示了两种方法。

程序清单16.15 generic.c程序

// generic.c -- 定义泛型宏

#include <stdio.h>

#include <math.h>

#define RAD_TO_DEG (180/(4 * atanl(1)))

// 泛型平方根函数

#define SQRT(X) _Generic((X),/

long double: sqrtl, /

default: sqrt, /

float: sqrtf)(X)

// 泛型正弦函数,角度的单位为度

#define SIN(X) _Generic((X),/

long double: sinl((X)/RAD_TO_DEG),/

default:sin((X)/RAD_TO_DEG),/

float: sinf((X)/RAD_TO_DEG)/

)

int main(void)

{

float x = 45.0f;

double xx = 45.0;

long double xxx = 45.0L;

long double y = SQRT(x);

long double yy = SQRT(xx);

long double yyy = SQRT(xxx);

printf("%.17Lf/n", y); // 匹配 float

printf("%.17Lf/n", yy);// 匹配 default

printf("%.17Lf/n", yyy);  // 匹配 long double

int i = 45;

yy = SQRT(i);  // 匹配 default

printf("%.17Lf/n", yy);

yyy = SIN(xxx); // 匹配 long double

printf("%.17Lf/n", yyy);

return 0;

}

下面是该程序的输出:

6.70820379257202148

6.70820393249936942

6.70820393249936909

6.70820393249936942

0.70710678118654752

如上所示,SQRT(i)和SQRT(xx)的返回值相同,因为它们的参数类型分别是int和double,所以只能与default标签对应。

有趣的一点是,如何让_Generic 宏的行为像一个函数。SIN的定义也许提供了一个方法:每个带标号的值都是函数调用,所以_Generic表达式的值是一个特定的函数调用,如sinf((X)/RAD_TO_DEG),用传入SIN的参数替换X。

SQRT的定义也许更简洁。_Generic表达式的值就是函数名,如sinf。函数的地址可以代替该函数名,所以_Generic表达式的值是一个指向函数的指针。然而,紧随整个_Generic表达式之后的是(X),函数指针(参数)表示函数指针。因此,这是一个带指定的参数的函数指针。

简而言之,对于 SIN,函数调用在泛型选择表达式内部;而对于 SQRT,先对泛型选择表达式求值得一个指针,然后通过该指针调用它所指向的函数。

16.10.3 tgmath.h库(C99)

C99标准提供的tgmath.h头文件中定义了泛型类型宏,其效果与程序清单16.15类似。如果在math.h中为一个函数定义了3种类型(float、double和long double)的版本,那么tgmath.h文件就创建一个泛型类型宏,与原来 double 版本的函数名同名。例如,根据提供的参数类型,定义 sqrt宏展开为 sqrtf、sqrt或 sqrtl函数。换言之,sqrt宏的行为和程序清单 16.15 中的 SQRT宏类似。

如果编译器支持复数运算,就会支持complex.h头文件,其中声明了与复数运算相关的函数。例如,声明有 csqrtf、csqrt和 csqrtl,这些函数分别返回 float complex、double complex和long double complex类型的复数平方根。如果提供这些支持,那么tgmath.h中的sqrt宏也能展开为相应的复数平方根函数。

如果包含了tgmath.h,要调用sqrt函数而不是sqrt宏,可以用圆括号把被调用的函数名括起来:

#include <tgmath.h>

...

float x = 44.0;

double y;

y = sqrt(x);  // 调用宏,所以是 sqrtf(x)

y = (sqrt)(x);// 调用函数 sqrt

这样做没问题,因为类函数宏的名称必须用圆括号括起来。圆括号只会影响操作顺序,不会影响括起来的表达式,所以这样做得到的仍然是函数调用的结果。实际上,在讨论函数指针时提到过,由于C语言奇怪而矛盾的函数指针规则,还也可以使用(*sqrt)的形式来调用sqrt函数。

不借助C标准以外的机制,C11新增的_Generic表达式是实现tgmath.h最简单的方式。

16.11 通用工具库

通用工具库包含各种函数,包括随机数生成器、查找和排序函数、转换函数和内存管理函数。第12章介绍过rand、srand、malloc和free函数。在ANSI C标准中,这些函数的原型都在stdlib.h头文件中。附录B参考资料V列出了该系列的所有函数。现在,我们来进一步讨论其中的几个函数。

16.11.1 exit和atexit函数

在前面的章节中我们已经在程序示例中用过 exit函数。而且,在 main返回系统时将自动调用exit函数。ANSI 标准还新增了一些不错的功能,其中最重要的是可以指定在执行 exit时调用的特定函数。atexit函数通过退出时注册被调用的函数提供这种功能,atexit函数接受一个函数指针作为参数。程序清单16.16演示了它的用法。

程序清单16.16 byebye.c程序

/* byebye.c -- atexit示例 */

#include <stdio.h>

#include <stdlib.h>

void sign_off(void);

void too_bad(void);

int main(void)

{

int n;

atexit(sign_off); /* 注册 sign_off函数 */

puts("Enter an integer:");

if (scanf("%d", &n) != 1)

{

puts("That's no integer!");

atexit(too_bad); /* 注册 too_bad函数 */

exit(EXIT_FAILURE);

}

printf("%d is %s./n", n, (n % 2 == 0) ? "even" : "odd");

return 0;

}

void sign_off(void)

{

puts("Thus terminates another magnificent program from");

puts("SeeSaw Software!");

}

void too_bad(void)

{

puts("SeeSaw Software extends its heartfelt condolences");

puts("to you upon the failure of your program.");

}

下面是该程序的一个运行示例:

Enter an integer:

212

212 is even.

Thus terminates another magnificent program from

SeeSaw Software!

如果在IDE中运行,可能看不到最后两行。下面是另一个运行示例:

Enter an integer:

what?

That's no integer!

SeeSaw Software extends its heartfelt condolences

to you upon the failure of your program.

Thus terminates another magnificent program from

SeeSaw Software!

在IDE中运行,可能看不到最后4行。

接下来,我们讨论atexit和exit的参数。

1.atexit函数的用法

这个函数使用函数指针。要使用 atexit函数,只需把退出时要调用的函数地址传递给 atexit即可。函数名作为函数参数时相当于该函数的地址,所以该程序中把sign_off或too_bad作为参数。然后,atexit注册函数列表中的函数,当调用exit时就会执行这些函数。ANSI保证,在这个列表中至少可以放 32 个函数。最后调用 exit函数时,exit会执行这些函数(执行顺序与列表中的函数顺序相反,即最后添加的函数最先执行)。

注意,输入失败时,会调用sign_off和too_bad函数;但是输入成功时只会调用sign_off。因为只有输入失败时,才会进入if语句中注册too_bad。另外还要注意,最先调用的是最后一个被注册的函数。

atexit注册的函数(如sign_off和too_bad)应该不带任何参数且返回类型为void。通常,这些函数会执行一些清理任务,例如更新监视程序的文件或重置环境变量。

注意,即使没有显式调用exit,还是会调用sign_off,因为main结束时会隐式调用exit。

2.exit函数的用法

exit执行完atexit指定的函数后,会完成一些清理工作:刷新所有输出流、关闭所有打开的流和关闭由标准I/O函数tmpfile创建的临时文件。然后exit把控制权返回主机环境,如果可能的话,向主机环境报告终止状态。通常,UNIX程序使用0表示成功终止,用非零值表示终止失败。UNIX返回的代码并不适用于所有的系统,所以ANSI C为了可移植性的要求,定义了一个名为EXIT_FAILURE的宏表示终止失败。类似地,ANSI C还定义了EXIT_SUCCESS表示成功终止。不过,exit函数也接受0表示成功终止。在ANSI C中,在非递归的main中使用exit函数等价于使用关键字return。尽管如此,在main以外的函数中使用exit也会终止整个程序。

16.11.2 qsort函数

对较大型的数组而言,“快速排序”方法是最有效的排序算法之一。该算法由C.A.R.Hoare于1962年开发。它把数组不断分成更小的数组,直到变成单元素数组。首先,把数组分成两部分,一部分的值都小于另一部分的值。这个过程一直持续到数组完全排序好为止。

快速排序算法在C实现中的名称是qsort。qsort函数排序数组的数据对象,其原型如下:

void qsort(void *base, size_t nmemb, size_t size,

int (*compar)(const void *, const void *));

第1个参数是指针,指向待排序数组的首元素。ANSI C允许把指向任何数据类型的指针强制转换成指向void的指针,因此,qsort的第1个实际参数可以引用任何类型的数组。

第2个参数是待排序项的数量。函数原型把该值转换为size_t类型。前面提到过,size_t定义在标准头文件中,是sizeof运算符返回的整数类型。

由于qsort把第1个参数转换为void指针,所以qsort不知道数组中每个元素的大小。为此,函数原型用第 3 个参数补偿这一信息,显式指明待排序数组中每个元素的大小。例如,如果排序 double类型的数组,那么第3个参数应该是sizeof(double)。

最后,qsort还需要一个指向函数的指针,这个被指针指向的比较函数用于确定排序的顺序。该函数应接受两个参数:分别指向待比较两项的指针。如果第1项的值大于第2项,比较函数则返回正数;如果两项相同,则返回0;如果第1项的值小于第2项,则返回负数。qsort根据给定的其他信息计算出两个指针的值,然后把它们传递给比较函数。

qsort原型中的第4个函数确定了比较函数的形式:

int (*compar)(const void *, const void *)

这表明 qsort最后一个参数是一个指向函数的指针,该函数返回 int 类型的值且接受两个指向const void的指针作为参数,这两个指针指向待比较项。

程序清单16.17和后面的讨论解释了如何定义一个比较函数,以及如何使用qsort。该程序创建了一个内含随机浮点值的数组,并排序了这个数组。

程序清单16.17 qsorter.c程序

/* qsorter.c -- 用 qsort排序一组数字 */

#include <stdio.h>

#include <stdlib.h>

#define NUM 40

void fillarray(double ar , int n);

void showarray(const double ar , int n);

int mycomp(const void * p1, const void * p2);

int main(void)

{

double vals[NUM];

fillarray(vals, NUM);

puts("Random list:");

showarray(vals, NUM);

qsort(vals, NUM, sizeof(double), mycomp);

puts("/nSorted list:");

showarray(vals, NUM);

return 0;

}

void fillarray(double ar , int n)

{

int index;

for (index = 0; index < n; index++)

ar[index] = (double) rand / ((double) rand + 0.1);

}

void showarray(const double ar , int n)

{

int index;

for (index = 0; index < n; index++)

{

printf("%9.4f ", ar[index]);

if (index % 6 == 5)

putchar('/n');

}

if (index % 6 != 0)

putchar('/n');

}

/* 按从小到大的顺序排序 */

int mycomp(const void * p1, const void * p2)

{

/* 要使用指向double的指针来访问这两个值 */

const double * a1 = (const double *) p1;

const double * a2 = (const double *) p2;

if (*a1 < *a2)

return -1;

else if (*a1 == *a2)

return 0;

else

return 1;

}

下面是该程序的运行示例:

Random list:

0.0001  1.6475  2.4332  0.0693  0.7268  0.7383

24.0357 0.1009  87.1828 5.7361  0.6079  0.6330

1.6058  0.1406  0.5933  1.1943  5.5295  2.2426

0.8364  2.7127  0.2514  0.9593  8.9635  0.7139

0.6249  1.6044  0.8649  2.1577  0.5420  15.0123

1.7931  1.6183  1.9973  2.9333  12.8512 1.3034

0.3032  1.1406  18.7880 0.9887

Sorted list:

0.0001  0.0693  0.1009  0.1406  0.2514  0.3032

0.5420  0.5933  0.6079  0.6249  0.6330  0.7139

0.7268  0.7383  0.8364  0.8649  0.95930.9887

1.1406  1.1943  1.3034  1.6044  1.6058  1.6183

1.6475  1.7931  1.9973  2.1577  2.2426  2.4332

2.7127  2.9333  5.5295  5.7361  8.9635  12.8512

15.0123 18.7880 24.0357 87.1828

接下来分析两点:qsort的用法和mycomp的定义。

1.qsort的用法

qsort函数排序数组的数据对象。该函数的ANSI原型如下:

void qsort (void *base, size_t nmemb, size_t size,

int (*compar)(const void *, const void *));

第1个参数值指向待排序数组首元素的指针。在该程序中,实际参数是double类型的数组名vals,因此指针指向该数组的首元素。根据该函数的原型,参数 vals 会被强制转换成指向 void 的指针。由于ANSI C允许把指向任何数据类型的指针强制转换成指向void的指针,所以qsort的第1个实际参数可以引用任何类型的数组。

第2个参数是待排序项的数量。在程序清单16.17中是NUM,即数组元素的数量。函数原型把该值转换为size_t类型。

第3个参数是数组中每个元素占用的空间大小,本例中为sizeof(double)。

最后一个参数是mycomp,这里函数名即是函数的地址,该函数用于比较元素。

2.mycomp的定义

前面提到过,qsort的原型中规定了比较函数的形式:

int (*compar)(const void *, const void *)

这表明 qsort最后一个参数是一个指向函数的指针,该函数返回 int 类型的值且接受两个指向const void的指针作为参数。程序中mycomp使用的就是这个原型:

int mycomp(const void * p1, const void * p2);

记住,函数名作为参数时即是指向该函数的指针。因此,mycomp与compar原型相匹配。

qsort函数把两个待比较元素的地址传递给比较函数。在该程序中,把待比较的两个double类型值的地址赋给p1和p2。注意,qsort的第1个参数引用整个数组,比较函数中的两个参数引用数组中的两个元素。这里存在一个问题。为了比较指针所指向的值,必须解引用指针。因为值是 double 类型,所以要把指针解引用为 double 类型的值。然而,qsort要求指针指向 void。要解决这个问题,必须在比较函数的内部声明两个类型正确的指针,并初始化它们分别指向作为参数传入的值:

/* 按从小到大的顺序排序值 */

int mycomp(const void * p1, const void * p2)

{

/* 使用指向double类型的指针访问值 */

const double * a1 = (const double *) p1;

const double * a2 = (const double *) p2;

if (*a1 < *a2)

return -1;

else if (*a1 == *a2)

return 0;

else

return 1;

}

简而言之,为了让该方法具有通用性,qsort和比较函数使用了指向 void 的指针。因此,必须把数组中每个元素的大小明确告诉qsort,并且在比较函数的定义中,必须把该函数的指针参数转换为对具体应用而言类型正确的指针。

注意C和C++中的void*

C和C++对待指向void的指针有所不同。在这两种语言中,都可以把任何类型的指针赋给void类型的指针。例如,程序清单16.17中,qsort的函数调用中把double*指针赋给void*指针。但是,C++要求在把void*指针赋给任何类型的指针时必须进行强制类型转换。而C没有这样的要求。例如,程序清单16.17中的mycomp函数,就使用了这样的强制类型转换: