如何阅读和阅读了解C& C++其中使用的标准和语言语法？

Question

我经常发现 C 和 C++ 标准很难阅读和理解，即使是简单的英语句子及其措辞也会给我带来糟糕的体验。最重要的是，语言语法完全是地狱。相信很多人都有同样的感受，至少我的朋友是这样。

我想通过一些例子来理解它。让我们从这个开始（它试图解释为什么C++中的条件表达式与C中的条件表达式不同：（引自维基百科）

C 和 C++ 中运算符的绑定 被指定（在相应的 标准）由分解语言 语法，而不是优先级 表。这会产生一些微妙的 冲突。例如，在 C 语言中， 条件表达式的语法 是：

逻辑或表达式 ?表达 ： 条件表达式

在 C++ 中是：

逻辑或表达式 ?表达 ： 赋值表达式

因此，表达式：

e = a < d？ a++：a=d

两者的解析方式不同 语言。在 C 语言中，这个表达式是 语法错误，但很多编译器都会解析 其为：

e = ((a < d ? a++ : a) = d)

这是一个语义错误，因为 条件表达式的结果 （可能是 a++）不是左值。 在C++中，它被解析为：

e = (a < d ? a++ : (a = d))

这是一个有效的表达式。

请有人解释一下上面引文中的粗体文本！请用更多的例子来解释语法（特别是那些 C 和 C++ 不同的地方）。

编辑：我只是想知道如何阅读和理解它们。我的意思是，如果我用英语口语解释这一点，那么我会怎么做呢？

Answer 1

以下是表达式的 C++ 语法的说明，它将赋值表达式定义为：

assignment-expression:
    conditional-expression 
    unary-expression assignment-operator assignment-expression

用简单的英语来说，赋值表达式可以是条件表达式或一元表达式，后跟赋值运算符，后跟赋值表达式。所以，你的下一个问题是“什么是条件表达式”，你查阅语法的这一部分，然后继续，直到你到达底部！

因此，在 C++ 中，您可以看到您提到的运算符可以采用 C 中的“条件表达式”，但也可以采用赋值

因此，戴上“C”帽子，您会看到最终的a = d 运算符的一部分作为赋值，这是 C 语法不允许的。相反，有些编译器似乎将运算符的最后部分简单地解析为 a 来给出

 e = (a < d ? a++ : a) = d

但是在 C++ 中，在那里找到赋值是有效的，因此 a = d 被完全接受作为最终表达式，所以你得到

 e = (a < d ? a++ : (a = d))

Answer 2

您必须参考赋值表达式是什么。它是在 C++03 标准 5.17/1 [expr.ass] 中定义的：

assignment-expression:
        conditional-expression
        logical-or-expression assignment-operator assignment-expression
        throw-expression

assignment-operator: one of
        = *= /= %= += -= >>= <<= &= ˆ= |=

它表示赋值表达式可以是任一：

• A 条件表达式
• 一个逻辑或表达式，后跟一个赋值运算符，后跟一个赋值表达式
• A 抛出表达式。

我不会引用所有内容的语法定义，因为那会非常庞大​​（最明显的是因为条件表达式涵盖了很多东西）。

因此，我们首先看到的是赋值表达式可以是条件表达式，因此我们涵盖了 C 语法。 C++ 标准添加的内容是，: 的右侧也可以包含赋值运算符 或抛出。

提供的示例很好：e = a < d？ a++：a=d。

这里，: 的右侧是一个逻辑或表达式（a，因为一元表达式包含在逻辑或表达式中），后跟一个赋值运算符 (=)，然后是一个赋值表达式(d，因为一元表达式包含在赋值表达式中）。

Answer 3

基本上，类似以下内容：（

assignment-expression:
    conditional-expression 
    unary-expression assignment-operator assignment-expression

如其他一些答案中所述）是用于描述有效 C（或 C++）“语法”的规则。这些写下来的规则也遵循一定的语法——所以我建议你学习该语法，这样你就能够阅读和理解这些规则。

首先，您可以研究Backus-Naur Form，如果您还不知道的话。 （我的链接指向有关此主题的 Wikipedia 文章。）虽然 C++ 标准不使用 Backus-Naur 形式 (IIRC)，但它足够相似，足以帮助您入门。