c++ - 尾随返回类型中的类型标识歧义

Question

引自标准:

The type-id in a trailing-return-type includes the longest possible sequence of abstract-declarators.

Note: This resolves the ambiguous binding of array and function declarators.

示例:

 auto f()->int(*)[4]; // function returning a pointer to array[4] of int
                      // not function returning array[4] of pointer to int

我想知道，这段给定的代码有什么歧义？

标准中提到的歧义通常是由于语法本身的歧义，而在这种情况下，给定的字符序列总是被解释为尾随返回类型(即单一类型)，并且不应该有歧义在哪一个上。

顺便问一下，为什么要提到type-id？我的意思是，形式上它只能出现在与尾随返回类型不同的代码位置。或者它只是非正式地提及，因为所有可以(通过自身)解析为 trailing-return-type 的东西也可以(通过自身)解析为 type-id？我只是不太了解标准中何时使用非终结符...

Answer 1

在N2541 , trailing-return-type 可以出现在任何函数声明符中。这意味着 auto (*f() -> int); 是一个有效的声明。届时auto f()->int(*)[4];可能会被解释为与auto (f()->int(*))[4具有相同的含义];(将 f 声明为返回指向 int 的指针数组 [4] 的函数)。它也可以按照我们通常期望的方式进行解释，即 [4] 是 trailing-return-type 的一部分，并且声明声明了一个返回指向的指针的函数数组 [4] 的整数。引用的段落是当时添加的，以解决这种歧义。

N2541被投票纳入标准后，CWG 681更改了语法以确保 trailing-return-type 只能出现在顶级函数声明符中；因此 [4] 必须是 trailing-return-type 的一部分。不再有任何歧义。但是，CWG 681 并没有删除消歧规则，这似乎是一个疏忽。

这一疏忽最近已被 CWG 2040 纠正，删除了现在无用的段落。

---

N2541还允许 type-id 出现在符号 -> 之后，这会在声明中带来歧义，例如 auto f() -> struct S { };。这是 CWG 770并由 N2927 解决，它将 trailing-return-type 定义为符号 -> 后跟 trailing-type-specifier-seq 后跟可选的 抽象声明符。但是，N2927 不会修改消歧规则，即使现在 trailing-return-type 中没有 type-id 也没有意义。

type-id 是一个type-specifier-seq 后跟可选的abstract-declarator。那时，类类型或枚举类型定义可能会出现在 type-specifier-seq 中，但不会出现在 trailing-type-specifier-seq 中。这使得 -> struct S {} 成为一个无效的 trailing-return-type，虽然 struct S {} 是一个有效的 type-编号。

最近CWG 2141再次更改了语法，它将 type-specifier-seq 重命名为 defining-type-specifier-seq 并将 trailing-type-specifier-seq 重命名为 类型说明符序列。 type-id 仍然定义为 type-specifier-seq 后跟一个可选的abstract-declarator。最终结果是类类型或枚举类型定义现在可能不会出现在 type-id 中。现在，任何 type-id 都可能出现在 trailing-return-type 中的符号 -> 之后。