如何读懂复杂的C语言声明

本文已迁移至:

http://www.danfengcao.info/c/c++/2014/02/25/howto-understand-complicated-declaration-of-c.html

 

C语言中有时会出现复杂的声明,比如

char * const * (*next) (); //这是个什么东东?

在讲复杂声明的分析方法前,先来个补充点。


C语言变量的声明始终贯彻两点

1.声明和使用的语法尽量保持一致

例如:

#include <iostream>
using namespace std;

double (*fun)(double);       //声明一个函数指针

int main(){
   fun=sin;
   doube reslut=(*fun)(0.5);//使用这个函数指针
   ...  
}

2.声明语句不是的阅读不是按照从左往右的阅读顺序,而是要根据各个符号的优先级进行阅读

这点非常重要!先列出C语言声明的优先级规则,再举个例子就能掌握求解方法了。

 

C语言声明的优先级规则

A 声明从它的名字开始读取,然后按照优先级顺序依次读取;

B 优先级从高到低依次是:

    B.1 声明中被括号括起来的那部分;

    B.2 后缀操作符:

          括号()表示这是一个函数,而

          放括号[]表示这是一个数组;

    B.3 前缀操作符:星号*表示这是一个“指向...的指针”;

C 如果const和(或)volatile关键字的后面紧跟类型说明符(如int,long等),那么它作用于类型说明符。在其他情况下,它作用于关键字左边紧邻的指针星号。

 

需要强调的一个重要注意点是,对于优先级: () > [] > *

举例,用优先级规则分析C语言声明一例:

char * const * (*next) ();

按照规则解读 char * const * (*next) ();

首先,(*next) 表示next是一个指针,它指向某个东东;

根据B.2和最右边的括号,next指向一个函数;

根据B.3,第二个星号表示,该函数返回一个指针;

char * const是函数返回的指针所指向的类型;

char* 是字符指针,const修饰左边的星号,即字符指针是常量的,该指针不可修改(该指针指向的字符内容是可修改的);

综合地表述为,next是一个指针,它指向一个函数,该函数返回一个指针,该指针指向一个类型为char的常量指针。

还是不明白?再往下看就明白了!

#---------------------------------------------------------------------------------#

总结一下,分析复杂的C语言声明,要采用"由内而外,层层剥离”的策略。

从哪里开始剥?从语句的最左边的标志符开始剥(上例为从next开始)。

往哪个方向剥?依照C语言的优先级规则一层层剥。

#---------------------------------------------------------------------------------#

再举一例作详细说明:

char *(* c[10]) (int **p);

第一步,char *(* c[10]) (int **p);  最左边的标志符是c,表示"c是一个什么东东";

第二步,char *(*  [10]) (int **p);  和[10]结合,表示"c是一个长度为10的数组";

第三步,char *(*        ) (int **p);  和*结合,表示"这个数组存放着指针";

第四步,char *             (int **p);  和(int **p)结合,表示"这个指针指向一个函数,函数的参数是二维指针";

第五步,char *                         ;  和 * 结合,表示"这个函数返回一个指针";

第六步,char              ; 这个指针指向一个字符;

 

把上面六步串起来,读作: c是一个数组[0..9],它存放着指针,指针指向的函数参数是一个二维指针返回值是指向字符的指针。完工!

#---------------------------------------------------------------------------------#

注1: 这个方法若理解了,什么指针数组和数组指针、指针函数和函数指针等等之类的区别都是小菜一碟了。

注2: 合法的声明中存在限制条件。如函数的返回值不能是一个函数,也不能是一个数组,所以像function()()和function()[]是非法的,不能出现。数组里面能存函数指针,但不能存函数,像int (* function[])()是合法的,function[]()则是非法的。

#---------------------------------------------------------------------------------#

参考文献

《C专家编程》, Peter Van Der Linden 著, 徐波 译  

posted on 2014-02-25 19:29  dfcao  阅读(896)  评论(0编辑  收藏  举报