параметр функции шаблона шаблона

f должен быть классом — у вас есть функция.

Смотри ниже:

// Class acts like a function - also known as functor.
template<typename T, int a, int b>
class f
{
  int operator()(T v)
  {
    return v*a-b; // just do something for example
  }
};

template<typename T, int a, int b, template<typename,int,int> class func>
class C
{
  int f()
  {
    return func<T,a,b>(3);
  }
};

int main()
{
  C<float,3,2, f> c;
}

... И адаптированная версия, если вам нужно портировать устаревший код (адаптирует функцию к шаблону класса):

#include <iostream>


template<typename T, int a, int b>
int f(T v)
{
  std::cout << "Called" << std::endl;
  return v*a-b; // just do something for example
}

template<typename T, int a, int b, template<typename,int,int> class func>
struct C
{
  int f()
  {
    return func<T,a,b>(3);
  }
};

template <class T, int a, int b>
struct FuncAdapt
{
  T x_;
  template <class U>
  FuncAdapt( U x )
  : x_( x )
  {}
  operator int() const
  {
    return f<T,a,b>( x_ );
  }
};

int main()
{
  C<float,3,2, FuncAdapt > c;
  c.f();
}

Вы можете решить это с помощью небольшой хитрости:

template<typename T, int a, int b>
int f(T v){
  return v*a-b; // just do something for example
}

template<typename T, int, int>
using func_t = int (*)(T);

template<typename T, int a, int b, func_t<T, a, b> func>
class C{
  int f(){
    return func(3);
  }
};

C<float,3,2, f<float, 3, 2>> c;

Сначала вам нужен псевдоним типа для функции (func_t выше), и вам, к сожалению, нужно продублировать аргументы шаблона в объявлении c.

Причина, по которой ваш компилятор жалуется, заключается в том, что вы передаете функцию (f) как класс последнему параметру шаблона для класса C.

Поскольку вы не можете передать функцию в качестве параметра шаблона, вы должны использовать указатели на функции или функторы. И функторы, безусловно, являются более чистым способом сделать это.

Таким образом, хотя и можно достичь того, чего вы хотите, не используя функторы, вам действительно не следует пытаться.

Если вы хотите использовать указатели функций, вы увидите что-то вроде этого:

template<typename T, int a, int b, int (*func)(T)>
class C{
    int f(){
        return (*func)(3);
    }
};

int main(){
    C< float,3,2,&f<float,3,2> > c;
}

В этом случае я не думаю, что вы сможете устранить дублирование кода в объявлении c, но я могу ошибаться.

Нет, это не так. Даже синтаксис:

template <typename T, int a, int b, template <typename, int, int> class func>
                                                                  ^^^^^

показывает, что аргумент для параметра шаблона шаблона должен быть шаблоном класса.