ANSI C YACC语法中的歧义

Question

我正在看ANSI C YACC语法。 还有一些我不理解的东西。 http://www.lysator.liu.se/c/ANSI-C-grammar-y.html#expression

assignment_expression
    : conditional_expression
    | unary_expression assignment_operator assignment_expression
    ;

constant_expression
    : conditional_expression
    ;

这是赋值表达式和常量表达式的规则。 我的问题是，他们怎么都可以使用conditional_expression来减少？ 如果有一个令牌减少到conditional_expression，则在令牌减少之后，YACC解析器如何知道接下来如何减少assignment_expression和constant_expression之间的令牌？ 我想我缺少了一些巨大的东西，但我一个人找不到。 谢谢

Answer 1

没有歧义，因为没有上下文可以同时出现assignment_expression和constant_expression 。

拥有形式规则绝对没有错

a: z;
b: z;
c: z;

如果a ， b和c都出现在不同的上下文中。 如果您有以下内容

t: a | b | c;

那就有问题了 但是conditional_expression没有类似的东西。

Answer 2

EBNF语法可以同时具有多个有效的规则/状态，这意味着在这种情况下，如果找到条件，则可以同时匹配Assignment_expression和constant_expression。 要获得唯一答案，使用这两个规则的规则必须足够具体，以仅将给定输入序列与单个规则序列进行匹配，或者可以使用优先级从多个可能的序列中选择单个规则序列。