|
参考了《C和指针》与《C程序设计语言》写成了下面的文档，主要是自己看着方便点：） 首先看几个简单的例子
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系统，并能访问Internet，你可以获得一个名叫 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 卷中获得。
|
