《C程序设计语言（第2版新版）典藏版》 —1.9 字符数组

1.9   字符数组

字符数组是C语言中最常用的数组类型。下面我们通过编写一个程序来说明字符数组以及操作字符数组的函数的用法。该程序读入一组文本行，并把最长的文本行打印出来。该算法的基本框架非常简单：

while(还有未处理的行)

if(该行比已处理的最长行还要长)

       保存该行

       保存该行的长度

打印最长的行

从上面的框架中很容易看出，程序很自然地分成了若干段，分别用于读入新行、测试读入的行、保存该行，其余部分则控制这一过程。

因为这种划分方式比较合理，所以可以按照这种方式编写程序。首先，我们编写一个独立的函数getline，它读取输入的下一行。我们尽量保持该函数在其他场合也有用。至少getline函数应该在读到文件末尾时返回一个信号；更为有用的设计是它能够在读入文本行时返回该行的长度，而在遇到文件结束符时返回0。由于0不是有效的行长度，因此可以作为标志文件结束的返回值。每一行至少包括一个字符，只包含换行符的行，其长度为1。

当发现某个新读入的行比以前读入的最长行还要长时，就需要把该行保存起来。也就是说，我们需要用另一个函数copy把新行复制到一个安全的位置。

最后，我们需要在主函数main中控制getline和copy这两个函数。以下便是我们编写的程序：

程序的开始对getline和copy这两个函数进行了声明，这里假定它们都存放在同一个文件中。

main与getline之间通过一对参数及一个返回值进行数据交换。在getline函数中，两个参数是通过程序行

声明的，它把第一个参数s声明为数组，把第二个参数lim声明为整型。声明中提供数组大小的目的是留出存储空间。在getline函数中没有必要指明数组s的长度，这是因为该数组的大小是在main函数中设置的。如同power函数一样，getline函数使用了一个return语句将值返回给其调用者。上述程序行也声明了getline函数的返回值类型为int。由于函数的默认返回值类型为int，因此这里的int可以省略。

有些函数返回有用的值，而有些函数（如copy）仅用于执行一些动作，并不返回值。copy函数的返回值类型为void，它显式说明该函数不返回任何值。

getline函数把字符'\0'（即空字符，其值为0）插入到它创建的数组的末尾，以标记字符串的结束。这一约定已被C语言采用：当在C语言程序中出现类似于

的字符串常量时，它将以字符数组的形式存储，数组的各元素分别存储字符串的各个字符，并以'\0'标记字符串的结束。

printf函数中的格式说明%s规定，对应的参数必须是以这种形式表示的字符串。copy函数的实现正是依赖于输入参数由'\0'结束这一事实，它将'\0'拷贝到输出参数中。（也就是说，空字符'\0'不是普通文本的一部分。）

值得一提的是，即使是上述这样很小的程序，在传递参数时也会遇到一些麻烦的设计问题。例如，当读入的行长度大于允许的最大值时，main函数应该如何处理？getline函数的执行是安全的，无论是否到达换行符字符，当数组满时它将停止读字符。main函数可以通过测试行的长度以及检查返回的最后一个字符来判定当前行是否太长，然后再根据具体的情况处理。为了简化程序，我们在这里不考虑这个问题。

调用getline函数的程序无法预先知道输入行的长度，因此getline函数需要检查是否溢出。另一方面，调用copy函数的程序知道（也可以找出）字符串的长度，因此该函数不需要进行错误检查。

练习1-16   修改打印最长文本行的程序的主程序main，使之可以打印任意长度的输入行的长度，并尽可能多地打印文本。

练习1-17   编写一个程序，打印长度大于80个字符的所有输入行。

练习1-18   编写一个程序，删除每个输入行末尾的空格及制表符，并删除完全是空格的行。

练习1-19   编写函数reverse(s)，将字符串s中的字符顺序颠倒过来。使用该函数编写一个程序，每次颠倒一个输入行中的字符顺序。