《Expert C Programming》(《C专家编程》)中提到C语言声明的优先级规则如下:
A 声明从它的名字开始读取,然后按照优先级顺序依次读取;
B 优先级从高到低依次是:
B.1 声明中被括号括起来的那部分;
B.2 后缀操作符:括号()表示这是一个函数,而方括号[]表示这是一个数组;
B.3 前缀操作符:星号*标识“指向...的指针”;
C 如果const和(或者)volatile关键字的后面紧跟类型说明符(如int,long等),那么它作用于类型说明符,在其他情况下,const和(或)volatile关键字作用于它左边紧邻的指针星号。
并举例说明:char * const * (*next)();
A next ---next为声明的名字
B.1 (*next) ---next为一个指向...的指针
B.2 (*next)() ---next是一个函数指针
B.3 *(*next)() ---next是一个函数指针,这个函数返回一个指向...的指针
C char * const ---指向字符类型的常量指针
故 char * const *(*next)();的含义就是: next是一个函数指针,这个函数返回一个指向字符类型的常量指针
下面我们来自己分析一个声明:
int(*foo())[];
自己先推导一下,然后看看结果结果:foo为一个函数,这个函数返回一个指向整型数组的指针。对不对呢?下面我们来看具体的推导过程:
A foo ---foo为声明的名字
B.2 foo() ---foo为一个函数
B.3 (*foo()) ---foo为一个函数,这个函数返回一个指向...的指针
B.2 (*foo())[] ---foo为一个函数,这个函数返回一个指向数组的指针
C int (*foo())[] ---foo为一个函数,这个函数返回一个指向整型数组的指针