智能程序设计（C语言）

void skip_spaces(char *p)
{
  while (*p == ' ')
    p++;
  printf("%s\n", p);
}

int main(void)
{
  char str[] = "   hello";
  char *p = str;

  skip_spaces(p);
  printf("%s\n", p);
  return 0;
}

函数参数按值传递. 调用 skip_spaces(p) 时, p 的值被复制给形参.

函数内的 p 是副本, 在函数里移动它, 调用者的 p 不受影响.

程序输出: 第一行是 hello, 第二行开头仍有三个空格, 后接 hello.

如果希望函数修改指针变量本身 (让它指向别处), 需要把指针的地址传进去.

这样做需要使用指向指针的指针.

void skip_spaces(char **p)
{
  while (**p == ' ')
    (*p)++;
}

int main(void)
{
  char str[] = "   hello";
  char *p = str;

  skip_spaces(&p);
  printf("%s\n", p);   /* hello */
  return 0;
}

char **p 表示 p 指向一个 char * 变量.

实参是 &p, 类型为 char **; 形参 p 保存调用者指针变量的地址.

*p 就是调用者的 p; (*p)++ 让它指向下一个字符.

因此函数返回后, 调用者的 p 已经指向 hello 的首字符.

括号不能省略: *p++ 等价于 *(p++), 移动的是形参 p 本身, 而不是调用者的指针.

ls
ls -l
ls -l remind.c

int main(int argc, char *argv[])
{
  …
}

运行程序时, 经常需要提供一些信息.

这可能包括文件名或修改程序行为的开关.

UNIX ls 命令的示例:

命令行信息对所有程序都是可用的, 不仅仅是操作系统命令.

要用命令行参数, main 必须带两个参数:

命令行参数在 C 标准中称为 程序参数.

double integrate(double (*f)(double), double a, double b);

double integrate(double f(double), double a, double b);

C 不要求指针只指向数据; 也可以有指向函数的指针.

函数占用内存单元, 因此每个函数都有一个地址.

可以像使用指向数据的指针一样使用函数指针.

将函数指针作为参数传递是相当普遍的.

void qsort(void *base, size_t nmemb, size_t size,
           int (*compar)(const void *, const void *));

C 库中一些功能强大的函数要求把函数指针作为参数.

其中之一是 qsort, 原型在 <stdlib.h> 里。

qsort 是一个通用的排序函数, 能够对任何数组进行排序.

必须告诉 qsort 如何确定两个数组元素中的哪个"更小".

做法: 给 qsort 传一个指向比较函数的指针.

base 必须指向数组中的第一个元素 (或要排序的部分中的第一个元素).

nmemb 是要排序的元素数.

size 是每个数组元素的大小, 以字节为单位.

compar 是指向比较函数的指针.

函数指针可以像数据指针一样保存到变量、组成数组、作为参数和返回值.

void (*pf)(int);   /* 指向 "参数 int、返回 void" 的函数 */
pf = f;            /* 让 pf 指向 f */
pf(i);             /* 调用 f(i), 等价于 (*pf)(i) */

• pf 是一个变量, 保存函数的地址;

• pf(i) 与 (*pf)(i) 等价.

函数指针数组可以按编号选择要调用的函数:

void (*ops[2])(int) = {f, g};
ops[0](i);   /* 调用 f(i) */
ops[1](i);   /* 调用 g(i) */

把"做什么"变成数据, 常用于命令表和回调.

两条读法规则:

1. 从标识符出发, 由内向外读;
2. 有选择时, [] 和 () 优先于 *; 圆括号可以改变优先级.

之字形读法: 从标识符往右读 ([]/()) → 折回往左读 (*) → 再往右……直到读完.