使用可变参数模板打印列表

Question

我需要您的帮助来找出以下代码无法编译的原因。

#include <iostream>

template <int I>
void foo(){
  std::cout << I << std::endl;
  std::cout << "end of list" << std::endl;
}

template <int I, int ... Ints>
void foo(){
  std::cout << I << std::endl;
  foo<Ints...>();
}


int main(){
  foo<1, 2>();
  return 0;
}

我收到此错误。

function_parameter_pack.cpp: In instantiation of ‘void foo() [with int I = 1; int ...Ints = {2}]’:
function_parameter_pack.cpp:17:13:   required from here
function_parameter_pack.cpp:12:15: error: call of overloaded ‘foo<2>()’ is ambiguous
   foo<Ints...>();
   ~~~~~~~~~~~~^~
function_parameter_pack.cpp:4:6: note: candidate: void foo() [with int I = 2]
 void foo(){
      ^~~
function_parameter_pack.cpp:10:6: note: candidate: void foo() [with int I = 2; int ...Ints = {}]
 void foo(){

不是应该选择更专业的功能吗？即只有一个模板（第一个）。

Answer 1

foo<2> 可以很好地匹配两个模板（因为 int... 也匹配零 ints），这就是编译器抱怨歧义的原因。

不是应该选择更专业的功能吗？

是的，但是这些同样特别。通过查看函数的参数而不是模板参数来推断哪个是更专业的匹配函数。

解决这个问题的一种方法是让第二个函数模板采用2个或更多模板参数：

#include <iostream>

template<int I>
void foo() {
    std::cout << I << std::endl;
    std::cout << "end of list" << std::endl;
}

template<int I, int J, int... Ints>
void foo() {
    std::cout << I << std::endl;
    foo<J, Ints...>();
}

int main() {
    foo<1>();
    foo<1, 2>();
    foo<1, 2, 3>();
}

Answer 2

我更喜欢使用虚拟数组的解决方案，所以它的工作原理类似于折叠表达式。

template<int... Ints>
void foo() {
    char dummy[] {((std::cout << Ints << ','), '0')...};
    std::cout << '\n';
}

https://godbolt.org/z/1Y1noK

Answer 3

解决问题的另一种方法是使用不做任何事情的终端递归函数，它接受不同于值（可能是类型名）但具有默认值的东西，

template <typename = void>
void foo() {
  std::cout << "end of list" << std::endl;
}

当Ints... 为空时拦截foo<Ints...>() 调用。

递归情况，拦截每个模板整数值，保持不变

template <int I, int ... Ints>
void foo(){
  std::cout << I << std::endl;
  foo<Ints...>();
}