复杂指针的声明

发表于:2007-07-04来源:作者:点击数: 标签:
参考了《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 卷中获得。
    
        
   

原文转自:http://www.ltesting.net