decltype(auto)函数返回类型不会推导出&&类型

Question

如果一个函数返回decltype(auto)，并且它返回一个int&&类型的局部变量，为什么返回类型是int&？

如果我将变量转换为它自己的类型，那么返回类型就是我所期望的(int&&)

#include <utility>

namespace{
    auto i = 5;
    auto j = 5;

    decltype(auto) foo1(){
        int&& ret = std::move(i);
        return ret;
    }

    decltype(auto) foo2(){
        int&& ret = std::move(j);
        return static_cast<decltype(ret)>(ret);
    }
}

int main(){
    static_assert(std::is_same_v<decltype(foo1()),int&>);
    static_assert(std::is_same_v<decltype(foo2()),int&&>);
}

Answer 1

这似乎是GCC身上的一个bug。由于decltype(ret)为int&&，因此foo1应具有返回类型int&&。但是，这会立即导致foo1格式错误，因为返回int&&的函数不能从ret初始化返回值，该返回值是一个左值(需要std::move才能使其正常工作)。请注意，Clang做到了这一点(请参阅问题注释中的链接)。