Итерация в обратном порядке через пакет параметров функции шаблона с переменным числом аргументов.

Question

Я пытаюсь выполнить итерацию в обратном порядке через пакет параметров функции шаблона с переменным числом аргументов. Моя идея состояла в том, чтобы использовать хвостовую рекурсию и специализированную «пустую» функцию шаблона, чтобы остановить рекурсию:

      #include <iostream>

template<>
void f() {}

template<int H, int... T>
void f()
{
    f<T...>();
    std::cout << H << std::endl;
}

int main()
{
    f<1,2,3,4,5>();

    return 0;
}

Однако приведенный выше код не компилируется:

       p.cc:25:8: error: ‘f’ is not a template function
 void f() {}
        ^
p.cc: In instantiation of ‘void f() [with int H = 5; int ...T = {}]’:
p.cc:30:12:   recursively required from ‘void f() [with int H = 2; int ...T = {3, 4, 5}]’
p.cc:30:12:   required from ‘void f() [with int H = 1; int ...T = {2, 3, 4, 5}]’
p.cc:36:18:   required from here
p.cc:30:12: error: no matching function for call to ‘f()’
     f<T...>();
            ^
p.cc:28:6: note: candidate: template<int H, int ...T> void f()
 void f()
      ^
p.cc:28:6: note:   template argument deduction/substitution failed:
p.cc:30:12: note:   couldn't deduce template parameter ‘H’
     f<T...>();

Я чувствую , что это просто синтаксическая ошибка, но я не могу найти решение самостоятельно. Есть идеи?

Answer 1

Потому что вы должны предоставить объявление шаблона перед специализациями:

      #include <iostream>

template<typename...> void f();

template<>
void f() {}

template<int H, int... T>
void f()
{
    f<T...>();
    std::cout << H << std::endl;
}

int main()
{
    f<1,2,3,42,5>();

    return 0;
}

Поехали: https://ideone.com/TZal7p