带有尾随返回类型的自动返回声明中的 const 是什么意思？

Question

我需要从函数返回一个 const 引用。这段代码做的事情：

auto test()->add_lvalue_reference<const int>::type
{
    static int i{50};
    return i;
}

int & i{test()}; // doesn't compile

但是这个看起来非常相似的 sn-p 给出了错误的结果：

auto const test()->add_lvalue_reference<int>::type
{
    static int i{50};
    return i;
}

int & i{test()}; // compiles thougth test() returned a const

我将关键字 const 从类型声明移到了返回声明。

一开始我以为，推导后函数签名变成了第二种情况：

int & const test(); // not valid - const qualifiers cannot be applied to int&

这不是一个有效的 c++。但是使用 auto 说明符可以编译。

所以我的问题是const 在具有自动尾随返回的函数返回类型中是什么意思？或者它可能被丢弃了？

Answer 1

auto const test()->add_lvalue_reference<int>::type

这是格式错误的，请参阅[dcl.fct]/2（在使用 trailing-return-type 的情况下，“T 应该是单个 type-specifier em> auto")。