为什么 C++ 模板类型匹配不检索引用限定符“&”？

我有以下程序：

#include<stdio.h>
template<class T> void f(T t) { 
    t += 1; 
}
template<class T> void g(T &t) {
    t += 10;
}
int main()
{
    int n=0;
    int&i=n;
    f(i);
    g(i);
    printf("%d\n",n);
    return 0;
}

我希望如此，因为i是对n，所以我期望模板函数f应得int&对于模板类型T。但事实上并非如此。程序的输出是10, not 11正如我所料。

所以我的问题是，对于f, why T火柴int但不是int&变量的i？这背后的规则是什么？

Thanks.

除非您使用转发引用，否则模板推导永远不会推导引用类型。所以你的电话f and g两者都推论T as int.

此外，表达式永远不会有引用类型。i and n因为表达式是相同的。他们有类型int和价值类别lvalue.

代码int n = 0; int &i = n;完全一样int i = 0; int &n = i;， 除了声明类型(1)。它创建一个具有两个名称的对象，i and n.

即使您确实在代码中使用了转发引用，例如template<class T>void h(T&&t)，通话h(i) and h(n)会以同样的方式推断出来。

这种对称性就是为什么你会看到很多评论什么是参考？megathread 呈现的引用与我刚才一样，我们认为“引用是自动取消引用的指针”的描述具有误导性。