复杂指针的声明

原文:http://www.ltesting.net/ceshi/ruanjianceshikaifajishu/rjcshjdj/unix/2007/0704/129082.html

 

参考了《C和指针》与《C程序设计语言》写成了下面的文档，主要是自己看着方便点：） 首先看几个简单的例子 int f； //一个整型变量 int *f; //一个指向整型的指针 不过，请看第 2 个声明是如何工作的：它把表达式 *f 声明为一个整数。根据这个事实，你肯定能clearcase/" target="_blank" >cc" size="4">      参考了《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系统，并能访问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 卷中获得。