为何实例化f<int&>的返回类型是int&而非const int&？

先看你给出的代码：

template<typename T>
const T& f(const T& x) {
    return x;
}

int main() {
    int a{0};
    decltype(f<int&>(a))::_;
}

为什么decltype(f<int&>(a))是int&而非const int&？ #

核心在于C++的引用折叠规则和顶层const对引用的无效性：

• 当显式指定模板参数T=int&时，需要将函数签名里的所有T替换为int&。
• 先看返回类型const T&：替换后得到const (int&)&。这里的const是修饰引用本身的顶层const，但C++中引用一旦绑定就无法更改绑定对象，顶层const对引用没有实际意义，会被直接忽略，剩下(int&)&。根据引用折叠规则，引用的引用会合并为单一引用，最终就是int&。
• 参数const T& x的替换逻辑完全一致，最终参数x的类型也是int&，返回值类型自然为int&，所以decltype的结果就是int&。

为什么f<int&>(0)中参数x的类型是int&而非const int&？ #

原因和上面完全相同：

• 显式指定T=int&后，模板参数替换只和T的类型有关，和传入的实参（这里是右值0）无关。
• 替换参数const T&后得到的类型是int&，所以不管传入左值还是右值，参数x的类型都是模板替换后的int&（注：此处传入0到int&参数会触发编译错误，因为非const左值引用无法绑定右值，但这是独立的语法规则，不影响类型判定）。

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