函数调用的decltype丢弃const限定符问题求助

首先看核心困惑：当实例化foo<C&&>()时，为什么decltype(foo<C&&>())不等于const C&&？

const对引用类型的无效性 #

C++中，引用本身不能被const修饰（通常说的“const引用”指的是引用的对象是const的，而非引用自身）。当模板参数T是引用类型（比如这里的C&&）时，const T并不会给引用加上const限定，而是等价于T本身。也就是说：

using T = C&&;
const T ≡ C&&; // 引用无法被const修饰，这个const会被直接忽略

引用折叠规则 #

模板返回类型是const T&&，当T=C&&时，代入后得到const C&& &&，根据C++的引用折叠规则：

• 右引用+右引用 → 右引用（&& + && = &&）
  所以最终返回类型是C&&，而非你预期的const C&&。

代码验证与对比 #

• 对于foo<int>()的情况：
  T=int是值类型，const T&&就是const int&&，所以decltype(foo<int>())确实等于const int&&，输出1符合预期。
• 对于foo<C&&>()的情况：
  实际返回类型是C&&，decltype的结果也是C&&，和const C&&不是同一类型，因此is_same_v返回0。

补充说明 #

你提到的“decltype丢弃非类prvalue的cv限定符”在这里不适用，因为foo<C&&>()的返回值是xvalue（右引用类型的表达式），问题的根源不是decltype的行为，而是模板实例化时const在引用类型上的处理逻辑，以及引用折叠规则的作用。

内容的提问来源于stack exchange，提问作者zxc123