指针声明 C 标准

Question

有人可以向我解释一下来自 C 标准的以下引用吗？无论我多么努力地理解这一点，我都无法理解这一点，即使他们在 C 方面经验丰富，他们应该如何理解这一点？

C 2018 6.7.6.1 1 说：

如果在声明“T D1”中，D1 的形式为

    * type-qualifier-list_optD

并且在声明“T D”中为ident指定的类型是 “derived-declarator-type-list T”，然后是为 ident 指定的类型 是“derived-declarator-type-list type-qualifier-list 指向 T 的指针”。 对于列表中的每个类型限定符，ident 是一个如此限定的指针。

Answer 1

首先考虑T D 将D 中的标识符声明为从T 派生的某种类型。可能没有添加任何内容； int foo 声明 foo 为 int。或者声明符 D 可能包含括号 […] 以便它添加“数组”，或者它可能包含括号以便它添加“函数返回”，或者它可能包含一个星号以便它添加“指针”，或者它可能有这些的组合（包括可能的重复）。询问的文本说插入* 以使T D 进入T *D 通过在其他派生部分之后和T 之前插入“指针”来更改声明。例如，将int foo(void) 更改为int *foo(void) 会将类型从“函数返回int”更改为“函数返回指向int 的指针”。

这里有更详细的分析。

暂时忽略限定词，子句“如果，在声明 'T D1'中，D1 的形式为 * type-qualifier-list_optD”告诉我们考虑使用T *D 形式的声明。

下一个子句，“并且在声明 'T D' 中为 ident 指定的类型是 'derived-declarator-type-list T'，”告诉我们考虑没有* 的T *D 会是什么，就好像它只是T D。现在，在D 内部，有一些标识符，称为ident。 D 可以只是 <i>ident</i>，也可以是数组声明符，如 <i>ident</i>[3]，或函数声明符，<i>ident</i>(void)，或另一个指针声明符，*<i>ident</i>，或它们的组合，包括重复。不管它是什么，T D 声明 ident 是某种东西。假设它将 ident 的类型声明为“derived-stuff T”。

那句话的最后一个子句，“那么为 ident 指定的类型是 'derived-declarator-type-list type-qualifier-list em> 指向 T' 的指针，告诉我们如果 T D 声明 ident 为“derived-stuff T”类型，然后T *D 将 ident 声明为“derived-stuff 指向T 的指针”类型。

带回限定词，最后一句告诉我们指定位置的任何限定词（const、restrict、volatile 和/或_Atomic 在* 和D 之间），适用于ident。