c++ - 为什么 decltype(auto) 不返回左值的地址？

Question

我有以下代码

decltype(auto) foo(){
    int a = 10;
    return a;
}

我本来希望 foo 的类型是

int & foo()

因为a是左值，而 decltype(a) 是参考。

如果我做了一个非常相似的事情，但用一个完美的转发 lambda 混淆它，我会得到不同的结果。

// perfect forwarding lambda
auto identity = [](auto&& i) -> decltype(auto) { return std::forward<decltype(i)>(i); };

decltype(auto) foo(){

    int a = 10;
    return identity(a);
}

foo 的返回类型变成int&

任何人都可以告诉我这里发生的事情的确切规则吗？

Answer 1

关键区别在于我错误地编写了恒等函数。

auto identity = [](auto&& i) -> decltype(auto) { 
   return std::forward<decltype(i)>(i); 
};

不一样

template <typename T>
decltype(auto) identity(T && v){
    return std::forward<T>(v);
}

作为 lambda 的身份的正确实现是

auto identity = [](auto&& i) -> decltype(auto) { 
   return std::forward<decltype((i))>(i); 
};

注意双组括号decltype((i))