试图了解C语法

Question

我开始了递归解析器的旅程，并一直在研究C语法，试图了解它如何在我的代码中复制它。

然后我看到了：

assignmentExpression
:   conditionalExpression
|   unaryExpression assignmentOperator assignmentExpression
|   DigitSequence // for
;

特别是这部分：

unaryExpression assignmentOperator assignmentExpression

根据我的理解（较差，可能是错误的），一元表达式可以是一个常数（如果遵循语法的其余部分），则看起来这是1 = 1是有效的，这显然是错误的。 我搜索了C解析器，甚至是GCC源代码，而assignmentExpression函数从没有真正与unaryExpression部分相关的代码。

所以我真的很困惑。 我可能在这里错过了一些非常重要的东西。

Answer 1

C的语法没有完全描述。 有效的C程序必须符合语法，但还必须符合许多其他规则，例如与类型系统有关的规则。

因此，您是对的： 1 = 1符合您引用的规则，但是无论如何都是无效的，因为左侧不是左值。

（请注意，有些编译器实际上可能将1 = 1视为语法错误，因为它们可能会将其他一些限制纳入适用的语法中。这是允许的；规范为编译器在实现事情上提供了很大的灵活性，例如只要他们能够正确处理有效程序。）