c++ - 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 中的错误。由于 decltype(ret) 是 int&&，foo1 应该有返回类型 int&&。但是，这会立即导致 foo1 格式错误，因为返回 int&& 的函数不能从 ret 初始化其返回值，这是一个左值(您需要 std::move 才能使其正常工作)。请注意，Clang 是正确的(请参阅问题评论中的链接)。