Question

我有一个模板，要求我将一个仿函数作为类型参数传递给它，以便执行一些计算。我想根据我想用来实际执行计算的另一个函数来专门化这个仿函数。基本上，我想这样做（这不合法，我正在重新定义仿函数）：

template<typename T, int (*func)(int)>
struct Functor
{
    T val;
    int operator()(int x) { return func(2); }
};

template<typename T, int (*func)(int, int)>
struct Functor 
{
    T val;
    int operator()(int y) { return func(y, 2); }
};

Component<Functor<calculationFunction1>> comp1;
Component<Functor<calculationFunction2>> comp2;

auto result1 = comp1.Compute();
auto result2 = comp2.Compute();

我已尝试使用部分专业化来实现这一点，但这似乎也不合法。我不确定是否有可能得到我想要的东西，因为这两个函数有不同的签名。实现我想要做的事情的最佳方法是什么？

Answer 1

怎么样：

template<typename T, typename SOME_FUNC_TYPE, SOME_FUNC_TYPE func >
struct Functor {};

typedef int (*SingleArgFunc)(int);
typedef int (*DoubleArgFunc)(int,int);

template<typename T, SingleArgFunc func>
struct Functor<T, SingleArgFunc, func>
{
  T val;
  int operator()(int x) { return func(2); }
};

template<typename T, DoubleArgFunc func>
struct Functor<T, DoubleArgFunc, func>
{
  T val;
  int operator()(int y) { return func(y, 2); }
};

int calculationFunction1 (int) { return 0; }
int calculationFunction2 (int, int) { return 0; }

template <typename FUNCTOR>
struct Component
{
  int Compute (void) { return FUNCTOR()(0); }
};

Component<Functor<int, decltype(&calculationFunction1), calculationFunction1>> comp1;
Component<Functor<int, decltype(&calculationFunction2), calculationFunction2>> comp2;

auto result1 = comp1.Compute();
auto result2 = comp2.Compute();

专门针对具有不同签名的功能的模板？

1 个答案: