c语言 文法存储程序,C语言文法

C语言一共有41个操作符，分15个优先级。

因为优先级不同，导致的结合性不同，所以需要为不同的优先级引入非终结符号抽象。

如果按照标准EBNF文法，需要为每一个优先级引入一个非终结符号，然后再为每个终结符号编写对应的分析函数，这样需要15个分析函数。

这样虽然合理，但是对于C语言这种比较简单的语言来说，却显多余。

假设一个C语言表达式如下：

expr: term{ + term}//抽象加表达式

term:factor {* factor}//乘法表达式

factor:ID | '(' expr ')'//基础表达式或者终结符号

则对于expr的分析函数为expr():term();while(t == +){get_next_token(); term();}

对于term的分析函数term():factor();while(t == *){get_next_token(); facor();}

factor用来处理终结符号或者基础表达式。

这个文法基本来说具有两个优先级，需要三个非终结符号抽象，一个+，一个*，还有一个基本表达式。

但是看上面标红的两行来说，格式基本一致，只是调用的具体分析函数term和factor不同，最终都会调用到最后的分析函数factor。

所以对于二元运算符来说，在处理到最高优先级之前的递归逻辑都几乎一致。

parser(priority){

if(priority > 最大的二元运算符优先级)

{factor();}

else

parser(++priority);

}

这将大大的减小了二元运算符的分析函数数量。

也就将所有的41个运算符实际上分成了5类，逗号运算符，赋值运算符，条件运算符，其他二元运算符，一元运算符(包括前缀和后缀)，

这样就用5个解析函数解析了15的优先级共41个运算符，当前这中间有些细节需要处理，更具体的介绍请参考下面的文法介绍部分

比如处理结合性等。

下面附一张c语言所有运算符信息表。

运算符

优先级

结合性

，

1

左结合

= += -= *= /+ %= &= ^= |= <<= >>=

2

右结合

? :

3

右结合

||

4

左结合

&&

5

左结合

|

6

左结合

^

7

左结合

&

8

左结合

== !=

9

左结合

< > <= >=

10

左结合

>> <<

11

左结合

+ -

12

左结合

* / %

13

左结合

* & - + ! ~ ++ -- sizeof(前缀)

14

左结合

++ --(后缀)

15

左结合

依据上面的分析和运算符表，下面给出C语言的完整表达式EBNF语法表示和在lcc中使用的分析函数(标红的部分)：

expression://使用expr函数

assignment-expression{, assignment-expression}

assignment-expression://使用expr1函数

conditional-expression

unary-expression assign-operator assignment-expression

assign-operator:

= += -= *= /= %= <<= >>= &= ^= |=

conditional-experssion://使用expr2函数

binary-expression{?expression:conditional-expression}

binary-expression://使用expr3函数

unary-expression{binary-operator unary-expression}

binary-operator:

|| && | ^ & == != < > <= >= << >> + - * / %

unary-expression://使用unary函数

postfix-expression

unary-operator unary-expression

'('type-name')' unary-expression

sizeof unary-expression

sizeof '('type-name')'

postfix-expression://使用postfix函数

primay-expression{postfix-operator}

postfix-operator:

'['expression']'

'('[ assignment-expression{, assignment-expression}]')'

.identifier

->identifier

++

--

primay-expression:终结符号，无需分析

id

constant

string-literal

'('expression')'