首先看几个简单的例子
int f; //一个整型变量
int *f; //一个指向整型的指针
不过,请看第 2 个声明是如何工作的:它把表达式 *f 声明为一个整数。根据这个事实,你肯定能推断出 f 是个指向整型的指针。C 声明的这种解释方法可以通过下面的声明得到验证。
int* f,g;
它并没有声明两个指针。尽管它们之间存在空白,但星号是作用于 f 的,只有 f 是一个指针。 g 只是一个普通的整型变量。
下面的例子,你曾见过:
int f();
它把 f 声明为一个函数,它的返回值是一个整数。旧式风格的声明对函数的参数不提供任何信息。它只声明了 f 的返回类型。现在我将使用这种旧式风格,这样例子看上去简单一些,后面我将再回到完整的原型形式。
下面是一个例子:
int *f(); // f 是一个函数,它返回一个指向 int 类型的指针
要想推断出它的含义,必须确定表达式 *f() 是如何进行求值的。首先执行的是函数调用操作符(), 因为它的优先级高于间接访问操作符。
接下来的一个声明更为有趣:
int (*f)(); // f 是一个指向函数的指针,该函数返回一个 int 类型的对象
确定括号的含义是分析这个声明的一个重要步骤。第 2 对儿括号是函数调用操作符,但第 1 对儿括号只是起到聚组的作用。它迫使间接访问在函数调用之前进行,使 f 成为一个函数指针,它所指向的函数返回一个整型值。
“函数指针”? 是的,程序中每个函数都位于内存中的某个位置,所以存在指向那个位置的指针是完全可能的。
现在下面的这个声明应该是比较容易懂了:
int *(*f)();
它和前一个声明基本相同, f 也是一个函数指针,它所指向的函数返回一个指向 int 类型的指针。必须对其进行间接访问操作才能得到一个整型值。
现在让我们把数组也考虑进去。
int f[];
这个声明表示 f 是个整型数组,数组的长度暂时忽略,因为我们现在关心的是它的类型,而不是它的长度
【注】如果它们的链接属性是external或者是作用函数的参数,即使它们声明时未注明长度,也仍然是合法的。
下面的声明又如何呢?
int *f[];
这个声明又出现了两个操作符。下标的优先级更高,所以 f 是一个数组,它的元素类型是指向整型的指针
下面的这个例子隐藏着一个圈套。不管怎样,让我们先推断它的含义。
int f()[];
f 是一个函数,返回一个整型数组。这里的圈套在于这个声明是非法的————函数只能返回标量值,不能返回数组。
还有一个例子,颇费思量:
int f[]();
现在 f 似乎是一个数组,它的元素是返回值为整型的函数。但是,这个声明也是非法的,因为数组元素必须具有相同的长度,但不同的函数显然可能具有不同的长度。
但是,下面的这个声明是合法的:
int (*f[])();
你必须找到所以的操作符,然后按照正确的次序执行它们。括号内的表达式 *f 首先进行求值,所以 f 是一个元素为某种类型的指针的数组。 表达式 () 是函数调用操作符,所以 f 肯定是一个数组,数组元素的类型是函数指针,它所指向的函数返回整型值。
如果你弄明白了上面最后一个声明,下面这个应该是比较容易的了:
int *(*f[])();
它和上面那个声明的唯一区别就是多了一个间接访问操作符,所以这个声明创建了一个指针数组,指针指向返回整型指针的函数。
新式风格的例子:
int (*f)(int,float);
int *(*g[])(int,float);
前者把 f 声明为一个函数指针,它所指向的函数接受两个参数,分别是一个整型和浮点型,并返回一个整型。后者把 g 声明为一个指针数组,它所指向的函数接受两个参数,分别是整型和浮点型,并返回整型指针。
【提示】如果你使用的是UNIX系统,并能访问Inte.net,你可以获得一个名叫 cdecl 的程序,它可以在 C 语言的声明和声明语义之间进行转换。它可以解释一个现存的 C 声明:
cdecl> explain int (*(*f)())[10];
declare f as pointer to function returning pointer to array 10 of int
或者给你一个声明语义:
cdecl> declare x as pointer to array 10 of pointer to function returning int
int (*(*x)[10])()
cdecl 的源代码可以从 comp.sources.unix.newsgroup 存档文件第 14 卷中获得。