c++模板的类型匹配为什么没有萃取引用'&'?

cdsfiui

我有一个很小的程序来做一个测试:

1. 
   
2. #include<stdio.h>
   
3. template<class T>void f(T t){t+=1;}
   
4. template<class T>void g(T&t){t+=10;}
   
5. int main()
   
6. {
   
7.     int n=0;
   
8.     int&i=n;
   
9.     f(i);
   
10.     g(i);
    
11.     printf("%d\n",n);
    
12.     return 0;
    
13. }
    
14. 
    

复制代码

我期望f函数的T能够匹配int&，而g函数的T因为已经有了&，所以，T就是int，所以期望的结果是打印11
但是实际打印的结果是打印了10，也就是说，f的T是int而不是int&。

所以我想知道，模板里面的类型T:
(1) 是否会萃取&后者&&?
(2) 如果T会萃取&和&&，那么有什么固定的规则吗?

谢谢。

sxcong

int& i 和 f(T) 有个毛关系？T当然是int

sxcong

int& i = n;
f(i)相当于f(n)
你那个&不能当参数