如何根据优先级和关联性来解析（复杂的）声明？

Question

符号，如&、* 等，用于表达式和声明，这是两个不同的概念。

在表达式中，符号是运算符，我们有一个明确定义的优先级和关联性表。当一个表达式比较复杂的时候，我们可以用这张表来分解分析。 例如

    (a + b) * ++c

问题： 在声明中，这些符号不是运算符，因此我们不能应用运算符的优先级和关联性表。 声明中的符号是否有优先级和关联性表？ 或者换句话说，当声明变得复杂时（试试这个int*& (*&f(int*))），是否有系统的方法来分解和分析它？

一个密切相关的后续问题： 某本书（入门）通过typedef 的示例教我们如何阅读复杂的声明：

typedef int (*tp_alias)[10]; //defines tp_alias as an pointer to an array of 10 int

书上讲授的方法：使用别名作为阅读的起点，tp_alias是新的类型名。向左看，它有一个*，所以它是一个指针。然后看括号外：向右，[10] 表示它是一个大小为 10 的数组；在左边，int 表示数组的元素是 int。
后续问题： 我们如何阅读其他类型的别名声明，例如using？既然别名不在位了？例如using tp_alias = int (*)[10]?
也许可以从() 中读取，但如果有多个()s 怎么办？（我没见过，但有可能。）

Answer 1

表达式没有优先级表！

运算符的优先级是从语法中推断出来的。例如，考虑 logical-and-expression 和 logical-or-expression 的定义：

logical-and-expression:
    inclusive-or-expression
    logical-and-expression && inclusive-or-expression

logical-or-expression:
    logical-and-expression
    logical-or-expression || logical-and-expression

现在考虑表达式a || b && c。它必须被解析为 logical-or-expression （其中左侧是 logical-or-expression a 而右侧是 logical-or-expression -and-expression b && c)。它不能被解析为 logical-and-expression，因为如果是，那么左侧 a || b 将必须是一个 logical-and-expression em> 也是，它不是。

另一方面，在(a || b) && c 中，您不能将其解析为逻辑或表达式，因为这样您将有(a 作为左侧，而b) && c作为右边，也不是一个有效的表达式。您可以将其解析为逻辑和表达式，因为(a || b) 与a || b 不同，它是一个有效的逻辑和表达式 .

编译器解析代码并构建语法树。如果根节点是一个逻辑或表达式，那么逻辑或运算最后完成。如果根节点是一个逻辑与表达式，那么逻辑与运算最后完成。以此类推。

好的，这是个坏消息。现在是好消息。

即使表达式中的运算符没有优先表，大多数时候你可以假装有（当然它可以被括号覆盖）；这就是你在心理上解析表达式的方式。因此，事实证明，声明符也是如此。没有优先表，但你可以像有优先表一样在脑海中解析它们。

事实上，C 的设计者足够聪明，可以让声明使用与表达式相同的“优先规则”。这是“声明遵循用法”规则。例如，在表达式中

(*a)[10]

我们有一个包含间接表达式的数组索引表达式，反之亦然。同理，在

int (*a)[10];

我们拥有的是一个包含指针声明符的数组声明符，而不是反之亦然。 （因此，结果是指向数组的指针。）因此，如果您记得 []（数组索引）和 ()（函数调用）的优先级高于 *（间接），您可以应用相同的也为了理解声明。 （引用是一种特殊情况；很容易记住，引用在声明中与指针具有相同的“优先级”。）

Answer 2

你使用螺旋法则。

一个很好的解释是here。