标准中哪里说不允许声明“auto f()()->int;”？

Question

我知道我在这里很迂腐，但我只是想了解 C++ 语法产生。

我将从简单声明开始。

简单声明：
decl-specifier-seq_opt   init-declarator-list_opt

decl-specifier-seq:
decl-说明符

decl-specifier:
类型说明符

类型说明符：
尾随类型说明符

尾随类型说明符：
简单类型说明符

简单类型说明符：
字符
整数
...
自动

---

现在，我将研究 init-declarator-list 的定义。

init-declarator-list:
初始化声明器

初始化声明符：
声明符

声明符：
noptr-declarator   参数和限定符   尾随返回类型    (*2)

noptr 声明符：
declarator-id   attribute-specifier-seq_opt
noptr-declarator   参数和限定符    (*1)

参数和限定符：
(parameter-declaration-clause)   cv-qualifiers_opt   ...（所有选项）

尾随返回类型：
->   尾随类型说明符序列

尾随类型说明符序列：
trailing-type-specifier               参见上面的trailing-type-specifier的定义。

---

在(*1)中用declarator-id替换noptr-declarator，使用noptr-declaration的先前定义，我们得出以下nonptr-declarator的定义：

noptr 声明：
declarator-id   参数和限定符

现在替换 (*2) 中的 noptr-declarator、parameters and qualifiers 和 trailing-return-type > 根据上面给出的每个定义，我们为 declarator 获得以下内容：

声明符：
declarator-id   (parameter-declaration-clause)   (parameter-declaration-clause)   ->
简单类型说明符

---

根据最后一个结果，我们可以说语法允许以下函数声明f：

auto f()() -> int;  

这当然是无效的。但我在标准中找不到任何直接或间接说明这种结构不正确的内容。

来自GCC（f 声明为返回函数的函数）和clang（auto 返回没有尾随返回类型；推断的返回类型是 C++1y 扩展）的错误消息没有帮助在这方面也是。

Answer 1

[dcl.fct]/8：

[...] 函数不应具有类型数组或函数的返回类型，尽管它们可能具有类型指针或对此类事物的引用的返回类型。 [...]

Answer 2

事实上，gcc 错误信息很有帮助：语法确实允许auto f()() -> int，但是这个语法正确的声明在语义上是无效的。它将描述一个函数返回一个返回int 的函数。有关不允许这样做的标准报价，请参阅 ecatmur 的答案。

要理解解析，像这样工作。 f 是您要声明的内容。向右解析，你会发现一个空的参数列表，所以f() 是一个有效的表达式，并且该表达式的类型被声明。再次向右解析，你会发现一个参数列表再次，所以f 的返回类型是一个带零参数的函数。再次向右解析，您将到达末尾（-> 箭头），因此向左解析以找到结果类型，即 auto，并被箭头后面的类型替换。