c++ - 我如何使用 §8.3.1 和 §8.3.4 推断像 '[]' 这样的后缀声明符运算符比像 '*' 这样的前缀运算符绑定(bind)得更紧密？

Question

考虑 §8.2/3 示例中的表达式 new (int(*[x]));:

#include <cstddef>
char *p;
void *operator new(std::size_t, int);
void foo() {
    const int x = 63;
    new (int(*p)) int; // new-placement expression
    new (int(*[x])); // new type-id
}

我知道这个表达式分配了一个由 63 个指针组成的数组，指向自由存储区中的 int。从§8.3/6我们可以去掉int(*[x])中的括号，得到表达式new (int*[x]);。但是我在确定类型 int*[x] 是指向 int 的 63 个指针的数组而不是指向 63 个 的数组的指针时遇到问题int 使用段落 §8.3.1 和 §8.3.4。

Answer 1

在 8/4 的语法图中，ptr-declarator 和 noptr-declarator 之间的相互作用中隐含了优先级。根据语法，*id[x] 不能解析为 *id 后跟 [x](方括号前的声明符必须是noptr-declarator)，但仅作为 * 后跟 id[x]。然后，此读数与 8.3.1 指针 的模式相匹配，而不是 8.3.4 数组 的模式。