掌握了上述的优先级规则之后，我们回到本文一开始举的一个小栗子

1.找到声明e，e将作为声明的名字。2.处理后缀操作符，也就是e代表的是一个容量为10的数组。3.回到前缀操作符，该数组存储的内容为指针。4.跳出括号，开始新的一轮的**优先级规则**，处理后缀操作符（），我们发现这个指针指向的是一个参数为int*的函数。5.接着再次回到前缀操作符，所以这个函数返回值依然是一个指针。6.跳出括号，继续前文的逻辑，我们发现该指针指向了一个内容为float，容量为5的数组。通过上述栗子我们不难发现，对于声明的处理本质上是一个有限自动机的状态变化过程，所以编译器同样也是按照上述的规律来理解并处理程序的复杂声明的。了解了优先级规则，我们也就不难去实现一个简单的小程序**cdecl**来处理声明逻辑了。####3.简单的代码实现通过上述流程的说明，我们很容易想到可以用**栈**来保存声明标识符左边的内容，而名字右边的内容则依照优先级规则依次处理。（优先处理数组与函数）。* **先分类将要处理声明的种类，并且声明token类型来进行处理**

enum type_tag {IDENTIFIER,QUALIFIER,TYPE,POINTER,LPAREN,LBRACKET,RPAREN,RBRACKET};

struct token {type_tag type;string content;};

* **不断读取token，并且压入栈中，直到读取到声明标识符**

void read_to_first_identifer() {gettoken();while (this_t.type != IDENTIFIER) {token_stack.push(this_t);gettoken();}

cout << this_t.content + " is ";gettoken();

}

* **按照优先级法则处理逻辑，先右后左，遇到括号弹出之后继续上述逻辑**

void deal_with_declarator(){switch (this_t.type) {case LBRACKET:deal_with_arrays();break;case LPAREN:deal_with_function_args();}

deal_with_pointers();while(!token_stack.empty()) { if(token_stack.top().type == LPAREN) { token_stack.pop(); gettoken(); deal_with_declarator(); } else { cout << token_stack.top().content + " "; token_stack.pop(); }}

}

* **处理数组类型的函数**

void deal_with_arrays() {while (this_t.type == LBRACKET) {cout << "array ";gettoken();if(isdigit(this_t.content[0])) {printf("0....%d of ",atoi(this_t.content.c_str()) - 1);gettoken();}

gettoken();}

}

* **处理函数类型的函数**

void deal_with_function_args() {while(this_t.type != RPAREN) {gettoken();}gettoken();

cout << "function returning ";

}```

所以通过上述的代码串联起来，我们就可以简单的完成一个解析C/C++声明的小程序。尝试这个小程序解析笔者在本文提出的示例：上述实现代码的完整版，笔者放在了自己的github之上，需要的可以自取。《C专家编程》之中也有对应C语言版本，需要的也可以用作参考。

4.小结

厌倦了复杂声明？希望有更友好的声明类型？番外篇当然是为了引出正篇，接下来笔者将会和大家一起来看看，C++为了简化声明的类型系统，做出了那些努力来更加高效的提升程序员的工作效率。A