如何使用模板参数对函数指针进行类型定义

Question

考虑一下：

typedef void (*ExecFunc)( int val );

class Executor
{

  void doStuff() { mFunc( mVal ); }
  void setFunc( ExecFunc func ) { mFunc = func; }

  int           mVal;
  ExecFunc      mFunc;
};

void addOne( int val ) { val = val+1; } // this could be passed as an ExecFunc. 

非常简单。现在假设我想将这个模板化？

typedef void (*ExecFunc)( int val );    // what do I do with this?

template < typename X > class Executor
{

  void doStuff() { mFunc( mVal ); }
  void setFunc( ExecFunc<X> func ) { mFunc = func; }

  X                mVal;
  ExecFunc<X>      mFunc; // err... trouble..
};

template < typename X > addOne( X val ) { val += 1; }

那么如何创建模板化函数指针呢？

Answer 1

在 C++11 中，你可以这样使用：

template<class X>
using ExecFunc = void(*)(X);

定义ExecFunc<X>。

在 C++03 中，你必须改用这个：

template<class X>
struct ExecFunc {
  typedef void(*type)(X);
};

并在Executor 中使用typename ExecFunc<X>::type。