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

Question

出于某种原因，我似乎无法让此操作与 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, double>' requested here
tailVar.cpp:20:12: note: in instantiation of function template specialization 'SumCpp11<int, int, double, double>' requested
      here
   return  SumCpp11<int, int, double, 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.

Answer 1

如错误消息所述，当您到达基本情况时，即使用 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。

Answer 2

我建议另一种解决问题的方法：重写 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>()

所以地面情况。

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

Variadic argument recursion without passing in instances of arguments

c++

recursion

templates

variadic

variadic-templates