在标准中，什么是“派生声明符类型”？

Question

在 C++ (C++11) 标准的不同地方，声明是根据 derived-declarator-type-list 来描述的。我正在研究右值引用，在这种情况下使用这个术语是至关重要的（第 8.3.2 节）：

在 T D 声明中，其中 D 具有任何一种形式
& 属性说明符序列_opt D1
&& attribute-specifier-seq_optD1
以及声明中标识符的类型T D1是 “derived-declarator-type-list T”，然后是D的标识符的类型 是“derived-declarator-type-list 对 T 的引用。”

不幸的是，标准中从未定义“derived-declarator-type”类别。 （我查看了“派生”一词的所有用法，此外，这可能已得到证实here 和here。）

因为“derived-declarator-type-list”是斜体，我假设它指的是一个类别，而不是变量标签，例如 T (因此，我不同意 Doug Gwyn 在我刚刚给出的第二个链接中的评估，即“我们可以使用 X 而不是 'derived-declarator-type-list' ")。

derived-declarator-type在C++11标准中的定义是什么？

Answer 1

它被立即定义。这是一种将T 之前出现的任何内容转移到下一个类型的方式，类似于：

<some stuff> T
<some stuff> reference to T

它只是 T 之前的 T D1 类型中的任何内容。

例如，如果您有声明int& (*const * p)[30]，则T 是int，D 是& (*const * p)[30]，D1 是(*const * p)[30]。 T D1 的类型是“指向 30 int 数组的 const 指针的指针”。因此，根据您引用的规则，p 的类型是“指向 30 引用 int 数组的 const 指针的指针”。

当然，该声明随后被 §3.4.2/5 禁止：

不得有对引用的引用，不得有引用数组，也不得有指向引用的指针。

我认为它是 派生 声明类型列表的非正式术语来自 C 标准对 派生类型 的定义（类似于 C++ 中的复合类型）：

任何数量的派生类型都可以从对象、函数和 不完整的类型，如下：

• 数组类型 [...]
• 结构类型 [...]
• 联合类型 [...]
• 一个函数类型 [...]
• 指针类型 [...]

---

回应 cmets：您似乎对类型和声明符感到困惑。例如，如果 int* p 是声明符，那么 p 的类型是“指向 int 的指针”。类型表示为这些类似英语的句子。

示例 1：int *(&p)[30]

这是一个声明 T D 其中（§8.3.1 指针）：

• T -> int
• D -> *(&p)[3]

D 的形式为：

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

其中D1 是(&p)[3]。这意味着T D1 的形式为int (&p)[3]，其类型为“对3 int 的数组的引用”（您可以递归地解决这个问题，下一步使用§8.3.4 数组等等）。 int 之前的所有内容都是 derived-declarator-type-list。因此我们可以推断出我们原始声明中的p 的类型为“对数组的引用3 指向int 的指针”。魔法！

示例 2：float (*(*(&e)[10])())[5]

这是一个声明 T D 其中（第 8.3.4 节数组）：

• T -> float
• D -> (*(*(&e)[10])())[5]

D 的形式为：

D1 [ constant-expression_opt ] attribute-specifier-seq_opt

其中D1 是(*(*(&e)[10])())。这意味着T D1 的形式为float (*(*(&e)[10])())，其类型为“对 10 个指向 () 函数的指针的数组的引用，该函数返回指向浮点的指针”（您可以通过应用 §8.3/6 和 §8.3.1 指针来计算）等等）。 float 之前的所有内容都是 derived-declarator-type-list。因此我们可以推断出我们原始声明中的p 具有类型“对10 个数组的引用，该函数指向() 返回指向5 个浮点数组的指针”。再次魔法！