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

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，说:error: function with trailing return type must specify return type 'auto', not 'decltype(auto )' ( demonstration ).

哪个编译器是正确的？在每种情况下应使用哪个规则(auto 或 decltype(auto))？在 trailing-return-type 中使用占位符类型是否有意义？

Answer 1

auto 在引入 trailing-return-type 时是必需的。

§8.3.5 [dcl.fct]/2

In a declaration T D where D has the form

D1 ( parameter-declaration-clause ) cv-qualifier-seq_opt ref-qualifier_opt exception-specification_opt attribute-specifier-seq_opt trailing-return-type

and the type of the contained declarator-id in the declaration T D1 is “derived-declarator-type-list T”,

T 应为单个类型说明符 auto。 [...]

另见 Core Issue 1852与 [dcl.spec.auto]/1 明显矛盾。