K&R 字符指针与函数 摘录

觉得这一节的程序例子的推演比较好就摘录下来了。

第一个函数 strcpy(s, t)把指针 t 指向的字符串复制到指针s 指向的位置。如果使用语句 s=t 实现该功能,其实质上只是拷贝了指针,而并没有复制字符。为了进行字符的复制,这里使用了一个循环语句。strcpy 函数的第 1 个版本是通过数组方法实现的,如下所示:

<span style="font-size:18px;">/* strcpy: copy t to s; array subscript version */
void strcpy(char *s, char *t)
{
  int i;
  i = 0;
  while ((s[i] = t[i]) != '\0')
    i++;
}</span>

为了进行比较,下面是用指针方法实现的 strcpy 函数:

/* strcpy: copy t to s; pointer version */
void strcpy(char *s, char *t)
{
  int i;
  i = 0;
  while ((*s = *t) != '\0') {
    s++;
    t++;
  }
}

因为参数是通过值传递的,所以在 strcpy 函数中可以以任何方式使用参数 s 和 t。在此,s和 t 是方便地进行了初始化的指针,循环每执行一次,它们就沿着相应的数组前进一个字符,直到将 t 中的结束符'\0'复制到 s 为止。

实际上,strcpy 函数并不会按照上面的这些方式编写。经验丰富的程序员更喜欢将它编写成下列形式：

/* strcpy: copy t to s; pointer version 2 */
void strcpy(char *s, char *t)
{
   while ((*s++ = *t++) != '\0')
         ;
}

在该版本中,s 和 t 的自增运算放到了循环的测试部分中。表达式*t++的值是执行自增运算之前 t 所指向的字符。 后缀运算符++表示在读取该字符之后才改变 t 的值。 同样的道理,在 s 执行自增运算之前,字符就被存储到了指针 s 指向的旧位置。该字符值同时也用来和空字符'\0'进行比较运算,以控制循环的执行。最后的结果是依次将 t 指向的字符复制到 s 指向的位置,直到遇到结束符'\0'为止(同时也复制该结束符),为了更进一步地精炼程序,我们注意到,表达式同'\0'的比较是多余的,因为只需要判断表达式的值是否为 0 即可。因此,该函数可进一步写成下列形式:

/* strcpy: copy t to s; pointer version 3 */
void strcpy(char *s, char *t){
    while (*s++ = *t++)
       ;
}

该函数初看起来不太容易理解,但这种表示方法是很有好处的,我们应该掌握这种方法,C 语言程序中经常会采用这种写法

总结：看到最后的简洁的程序真想拍案叫绝啊，指针的作用也显现了。