关于用括号括起来的声明类型是什么的问题

如何解决关于用括号括起来的声明类型是什么的问题

在dcl.meaning部分中，内容为：

因此，特定标识符的声明的形式为
T D
其中 T的形式为attribute-specifier-seq _opt decl-specifier-seq，D为声明符。以下是递归过程，用于确定此类声明为包含的声明者ID指定的类型。

[项目符号6]在声明T D中，D的形式为
（D1）
所包含的declarator-id的类型与声明中所包含的declarator-id的类型相同
T D1
括号不会更改嵌入式声明符id的类型，但可以更改复杂声明符的绑定。

但是，请考虑以下代码

int main(){
  int* (ptr) = nullptr;
}

在我的示例中，(ptr)符合(D1)的形式，但是它不是声明符，在我的示例中，完整的声明符是*ptr。根据上面提到的项目符号，(D1)表示D，D是声明的声明符（请注意强调的部分），即{ {1}}是声明的声明者。项目符号6所讨论的仅是(D1)形式。项目符号6似乎没有涵盖示例int (*ptr)。那么，如何解释这种情况呢？这样的声明符id（int* (ptr)）的类型是什么。如果我误解了项目符号6，如何正确理解项目符号6？还是子弹6是措辞上的缺陷而忽略了这种情况？

解决方法

您必须继续下一节。项目6仅是一种情况，在这里不适用，因为您的声明不是T (D1)形式。它的形式为T D，其中包含T = int和D = *(ptr)。 D = *D1（与D1 = (ptr)匹配）由[dcl.ptr]处理：

在声明T D中，D的格式为

*attribute-specifier-seq_opt cv-qualifier-seq_opt D1

，声明T D1中标识符的类型为“ derived-declarator-type-list T”，则D标识符的类型为“ derived-declarator-type-list” cv-qualifier-seq 指向T的指针”。 cv限定词适用于指针，而不适用于所指向的对象。同样，可选的 attribute-specifier-seq 属于指针，而不是指向的对象。

因此，为了知道int *(ptr)的含义，我们首先考虑int (ptr)的含义。 现在您在[dcl.meaning]中的引用开始生效，说这与int ptr相同。因此，int (ptr)会将标识符ptr声明为类型int。然后，按照我引用的规则，int *(ptr)将ptr声明为指向int的指针。