求解c++函数模板问题

18328544355

画圈的地方我不知道它为啥会报错，能帮忙看看它为啥会错吗？求给解释解释！！！

0x01810

1. template<typename T1, typename T2> auto f(T1 a, T2 b) -> decltype(a+b)
   
2. {
   
3.         return a+b;
   
4. }

复制代码

C++14里可以这样写:

1. template<typename T1, typename T2> auto f(T1 a, T2 b)
   
2. {
   
3.         return a+b;
   
4. }

复制代码

都城

为何函数模板使用了返回值类型推导没出错，同时模板具体化时也使用返回值类型推导就出错了！！

都城

我知道可以你那样写，但是就是不知道为啥我那样写会出错。

0x01810

都城 发表于 2015-11-19 14:23
为何函数模板使用了返回值类型推导没出错，同时模板具体化时也使用返回值类型推导就出错了！！ ...

函数模板不管代码对错编译器是不检查的. 只有具体化的时候才检查

都城

0x01810 发表于 2015-11-19 15:19
函数模板不管代码对错编译器是不检查的. 只有具体化的时候才检查

函数模板和模板具体化同时使用返回值类型推导报错，不同时就报错，怎么回事呢？

都城

不同时不报错

都城

刚上面打错了

0x01810

模板具体化本来就是针对模板的. 函数模板就是模板.

你这样写:

1. 
   
2. 
   
3. template<> auto f(int a, double b) -> decltype(a+b)
   
4. {
   
5.         return a+b;
   
6. }
   
7. 
   
8. int main()
   
9. {
   
10.         cout<<(f(12, 20.12))<<endl;
    
11. 
    
12.         return 0;
    
13. }
    

复制代码

error: no function template matches function template specialization 'f'.

是想表达什么?  这种写法有问题吧. 函数模板只不过多了个显式推导参数类型.