模板专业化

Question

我有这个功能是AA可变参数模板功能：

template<uint C> 
double foo(){ 
    double cpt = 1; 
    for(uint i=0; i<10; i++){ 
     cpt += i*C; 
    } 
    return cpt; 
} 

template<uint C1, uint C2, uint... CCs> 
double foo(){ 
    double cpt = 1; 
    for(uint i=0; i<10; i++){ 
     cpt += i*C1;  
    } 
    return cpt + foo<C2, CCs...>(); 
} 

而且它完美的预期，但我认为这是没有做什么，我想正确的方法做。 我试着写类似的东西：

double foo(){ 
    return 0; 
} 

template<uint C1, uint... CCs> 
double foo(){ 
    double cpt = 1; 
    for(uint i=0; i<10; i++){ 
     cpt += i*C1;  
    } 
    return cpt + foo<CCs...>(); 
} 

但我有错误no matching function for call foo() note: couldn't deduce template parameter C1。 我也试过template <typename T>在第一个foo函数的顶部，但我有同样的错误。

有人知道为什么吗？ 我使用g ++ 5.4和-std = C++ 11和-O3标志。

Answer 1

最后一次迭代将调用foo<>()。它不会匹配double foo() { … }，因为它不是模板函数。

使用

template <typename T> 
double foo() { 
    return 0; 
} 

因为T不能推断你不能修复它。

但是你可以提供为T一个默认值，以便foo<>()生效：

template <typename T = void> // <--- 
double foo() { 
    return 0; 
}