使用转发引用实现返回成员变量左值引用的仿函数时的编译问题咨询

嘿，这个问题我之前也踩过类似的坑！核心原因其实和转发引用本身关系不大，是decltype(auto)的推导规则里一个容易忽略的细节在搞鬼，我给你拆解清楚～

首先看你的GetX2仿函数的operator()实现：

template <class T> decltype(auto) operator()(T&& p) const { return p.x; }

当你传入Point&类型的p时，转发引用的推导是正常的：T会被推导为Point&，最终p的类型折叠为Point&。但问题出在return p.x;这一行：

p.x是一个id-expression（简单说就是直接访问命名的成员变量，没有额外的运算符或括号包裹），而decltype(auto)对id-expression的推导规则是：直接取这个成员的声明类型——也就是int（因为Point的x成员是int类型，不是引用），而不是我们期望的int&。所以最终GetX2返回的是x的一个副本，不是左值引用，自然不能对它赋值。

而你的GetX1能正常工作，是因为你显式指定了返回类型为int&或const int&，直接绕过了decltype(auto)的推导规则。

那怎么修复这个问题？其实只需要给返回的表达式加一对括号就行！把return p.x;改成return (p.x);。

修改后的GetX2是这样的：

struct GetX2 {
    template <class T> decltype(auto) operator()(T&& p) const {
        return (p.x); // 关键就是这对括号！
    }
};

加括号之后，(p.x)就不再是id-expression了，而是一个普通的左值表达式。这时候decltype(auto)会按照左值表达式的规则推导：返回该表达式类型的左值引用。也就是说：

• 当传入Point&时，返回int&，支持赋值；
• 当传入const Point&时，返回const int&，符合const正确性；
• 甚至传入Point&&（右值）时，也会返回int&（不过右值的成员引用要注意生命周期问题，但这符合你原本的预期逻辑）。

再补充个小知识点帮你加深理解：C++里decltype的推导分两种情况：

1. 如果表达式是id-expression（比如直接变量名、成员访问），decltype(E)就是该实体的声明类型（非引用）；
2. 如果是其他类型的表达式，就按值类别推导：左值返回T&，亡值返回T&&，纯右值返回T。

decltype(auto)本质就是用decltype的规则来推导auto的类型，所以返回表达式的形式直接决定了最终的推导结果。

内容来源于stack exchange