C语言声明的优先级规则

C语言声明的有时候又些难以理解，如果不理解它的优先级规则，就经常难以分析，下面列出其规则：

 

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

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

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

　　  B.2 　　后缀操作符：

　　　　　　  括号（）表示这是一个函数，方括号[]表示这是一个数组

　　  B.3　　前缀操作符：星号*表示 “指向...的指针”

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

 

《C专家编程》中通过图表分析C语言的声明，如下图

 

C声明解析代码

/* (Expert C Programming) */
#include<stdio.h>
#include<string.h>
#include<ctype.h>
#include<stdlib.h>
#define MAXTOKENS 100
#define MAXTOKENLEN 64

enum type_tag
{
    IDENTIFIER,QUALIFIER,TYPE
};

struct token
{
char type;
char string[MAXTOKENLEN];
};


struct token stack[MAXTOKENS];
struct token this;

#define pop stack[top--]
#define push(s) stack[++top] = s;

int top=-1;
enum type_tag classify_string(void)
{
char *s = this.string;
if(!strcmp(s,"const"))
    {
        strcpy(s,"read-only");
return QUALIFIER;
    }
if(!strcmp(s,"volatile")) return QUALIFIER;
if(!strcmp(s,"void")) return TYPE;
if(!strcmp(s,"char")) return TYPE;
if(!strcmp(s,"signed")) return TYPE;
if(!strcmp(s,"unsigned")) return TYPE;
if(!strcmp(s,"short")) return TYPE;
if(!strcmp(s,"int")) return TYPE;
if(!strcmp(s,"long")) return TYPE;
if(!strcmp(s,"float")) return TYPE;
if(!strcmp(s,"double")) return TYPE;
if(!strcmp(s,"struct")) return TYPE;
if(!strcmp(s,"union")) return TYPE;
if(!strcmp(s,"enum")) return TYPE;
return IDENTIFIER;
}

void gettoken(void)
{
char *p = this.string;
while((*p = getchar()) == '')
        ;

if(isalnum(*p))
    {     
while(isalnum(*++p = getchar()))
            ;
        ungetc(*p,stdin);
        *p = '\0';
this.type = classify_string();
return;
    }

if(*p == '*')
    {
        strcpy(this.string,"pointer to ")
            ;
this.type = '*';
return;
    }

this.string[1] = '\0';
this.type = *p;
return;
}

read_to_first_identifier()
{
    gettoken();
while(this.type != IDENTIFIER)
    {
        push(this);
        gettoken();
    }
    printf("%s is ",this.string);
    gettoken();
}

deal_with_arrays()
{
while(this.type == '[')
    {
        printf("array");
        gettoken();
if(isdigit(this.string[0]))
        {
            printf("0..%d",atoi(this.string)-1);
            gettoken();
        }
        gettoken();
        printf(" of ");
    }
}

deal_with_function_args()
{
while(this.type != ')')
    {
        gettoken();
    }
    gettoken();
    printf("function returning ");
}

deal_with_pointers()
{
while(stack[top].type == '*')
    {
        printf("%s ",pop.string);
    }
}

deal_with_declarator()
{
switch(this.type)
    {
case '[':deal_with_arrays(); break;
case '(':deal_with_function_args();
    }

    deal_with_pointers();
while(top>=0)
    {
if(stack[top].type == '(')
        {
            pop;
            gettoken();
            deal_with_declarator();
        }
else
           printf("%s",pop.string);
    }
}

int main()
{
    read_to_first_identifier();
    deal_with_declarator();
    printf("\n");
return 0 ;
}