不传递参数实例的可变参数递归

如何解决不传递参数实例的可变参数递归

出于某种原因，我似乎无法将此操作与 C++11 一起使用。

template<typename T>
int value(){ return 1;}


template<typename T1>
constexpr int SumCpp11(){
  return value<T1>();
}

template<typename T1,typename... T>
constexpr int SumCpp11(){
  return value<T1>() + SumCpp11<T...>();
}

int main(int argc,char* argv[])
{

   return  SumCpp11<int,int,double,double>();
   
}

编译器愉快地展开递归直到终止，然后抱怨不明确的声明。我已经反复修改了这个。我不能使用初始化列表技巧，因为我需要留在 C++11 中，这需要是一个 constexpr，因为这个最终值在代码的另一部分被用作模板参数。

clang++ --std=c++11 tailVar.cpp 
tailVar.cpp:13:24: error: call to 'SumCpp11' is ambiguous
  return value<T1>() + SumCpp11<T...>();
                       ^~~~~~~~~~~~~~
tailVar.cpp:13:24: note: in instantiation of function template specialization 'SumCpp11<double,double>' requested here
tailVar.cpp:13:24: note: in instantiation of function template specialization 'SumCpp11<int,double>' requested here
tailVar.cpp:20:12: note: in instantiation of function template specialization 'SumCpp11<int,double>' requested
      here
   return  SumCpp11<int,double>();
           ^
tailVar.cpp:7:15: note: candidate function [with T1 = double]
constexpr int SumCpp11(){
              ^
tailVar.cpp:12:15: note: candidate function [with T1 = double,T = <>]
constexpr int SumCpp11(){
              ^
1 error generated.

解决方法

正如错误消息所说，当您达到基本情况时，即有 1 个模板参数时，编译器无法在 SumCpp11 的重载之间进行选择。第一个重载说它有 1 个参数，第二个重载说它有 1 个或更多参数。重载规则不允许按照您的意图选择第一个。

一个简单的解决方法是使第二个重载采用 2 个或更多模板参数。这样当你有2个或更多参数时，选择第二个重载，当你有1个参数时，没有歧义，选择第一个重载。

template<typename T1,typename T2,typename... T>
constexpr int SumCpp11(){
  return value<T1>() + SumCpp11<T2,T...>();
                                //  ^^^^ when T... is empty,// the first overload is chosen
}

这是一个 demo。

,

我建议另一种解决问题的方法：将 SumCpp11() 函数重写如下

template <int = 0>
constexpr int SumCpp11 ()
 { return 0; }

template<typename T1,typename... T>
constexpr int SumCpp11()
 { return value<T1>() + SumCpp11<T...>(); }

我的意思是......地面案例变成了带有空 T... 可变参数列表的调用。在这种情况下，递归调用

SumCpp11<T...>()

成为

SumCpp11<>()

由于整数模板参数的默认模板值（零），匹配

SumCpp11<0>()

所以是地面案例。