Указатели функций с шаблонами

Question

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

#include <iostream> 
#include <array> 

template<int N> 
class NumberHolder 
{ 
public: 
    NumberHolder(); 
    int x_; 
}; 

template<int N> 
NumberHolder<N>::NumberHolder() : x_(N) {} 

template<int N, int M> 
void add(NumberHolder<N>& nh) 
{ 
    nh.x_ += M; 
} 

template<int N, int M> 
void mult(NumberHolder<N>& nh) 
{ 
    nh.x_ *= M; 
} 

int main() 
{ 
    NumberHolder<3> nh; 

    //using f_ptr = void(*)(NumberHolder<3>&); // Compiles 
    template<int N> using f_ptr = void(*)(NumberHolder<N>&); // Doesn't compile 

    std::array<f_ptr, 2> operations; 
    operations[0] = &add<3, 41>; 
    operations[1] = &mult<3, 8>; 

    for (int i = 0; i < operations.size(); ++i) 
    { 
    operations[i](nh); 
    } 
    std::cout << nh.x_ << std::endl; 
    return 0; 
} 

Answer 1

Вы должны переместить шаблон псевдоним за пределами локальной области видимости:

template <int N> using f_ptr = void (*)(NumberHolder<N>&); 

int main() 
{ 
    const std::array<f_ptr<3>, 2> operations {&add<3, 41>, &mult<3, 8>}; 
    NumberHolder<3> nh; 

    for(const auto& operation : operations) { 
     operation(nh); 
    } 
    std::cout << nh.x_ << std::endl; 
    return 0; 
} 

Live example.