尾随返回类型中的占位符是否覆盖初始占位符？

Question

g似乎接受auto和decltype（auto）的任何组合作为初始和后续返回类型：

int a;
auto f() { return (a); }                             // int
auto g() -> auto { return (a); }                     // int
auto h() -> decltype(auto) { return (a); }           // int&
decltype(auto) i() { return (a); }                   // int&
decltype(auto) j() -> auto { return (a); }           // int
decltype(auto) k() -> decltype(auto) { return (a); } // int&

然而，clang拒绝了j和k，他说：错误：带有尾部返回类型的函数必须指定返回类型“auto”，而不是“decltype（auto）”（演示）。

哪个编译器是正确的？在每种情况下应该使用哪条规则（auto或decltype（auto））？在尾部返回类型中使用占位符类型有意义吗？

Answer 1

在@Xeo建设性评论后编辑：

这个问题似乎是由于标准草案的两个地方之间的矛盾。

根据标准草案§7.1.6.4自动说明符[dcl.spec.auto]：

1auto和decltype（auto）类型说明符指定一个占位符类型，该占位符类型将在以后被替换，可以通过从初始值设定项中进行推断，也可以通过带有尾部返回类型的显式规范。自动类型说明符还用于表示lambda是泛型lambda。

2占位符类型可以与函数声明符一起出现在decl说明符seq、类型说明符seq、转换函数id或尾随返回类型中，在此类声明符有效的任何上下文中。如果函数声明符包含一个尾部返回类型（8.3.5），则指定函数声明的返回类型。如果声明的函数返回类型包含占位符类型，则函数的返回类型将从函数体中的返回语句（如果有）中推导出来。

对上述内容的唯一解释是，Clang有一个bug。

然而，由于核心问题1852规定上述与§8.3.5/2函数[dcl.fct]相矛盾，应该进行更改。问题的状态已准备就绪，表明更改已被接受。

因此，GCC有一个应该报告的bug。

Answer 2

引入尾随返回类型时，需要使用auto。

§8.3.5[dcl.fct] /2

在声明中，td其中D的形式为

D1（参数声明子句）cv限定符seq_optref限定符_opt异常规范_opt属性说明符seqopt尾部返回类型

并且声明T D1中包含的声明符-id的类型为“派生声明符-type-listT”，

T应为单一类型的自动规范。[...]

关于与[dcl.spec.auto]/1的明显矛盾，另见核心问题1852。