全局函数指针作为模板参数

2019独角兽企业重金招聘Python工程师标准>>>

• 同样，函数指针型模板参数的意义在于：在变与不变之间取得最优实现。通常函数指针的作用是实现回调（callback），即由调用方将所需要操 作包装成某个函数f0，并将指向此函数的指针&f0作为参数传递给函数f1。函数f1在运行时回调所指函数f0，从而实现调用方所期待操作。f0 就是一个回调函数。将回调函数指针作为被调用函数的参数时，实现的是动态回调，只有在运行时才能确定是回调哪个函数。如果并不需要动态回调，只为方便，在 已有算法框架中嵌入所需操作，则动态回调就略显牛刀杀鸡。此时，将回调函数指针从函数参数移到模板参数，就很容易实现“静态回调”。

  注意　之所以在“静态回调”上加引号，是因为其并不能算做严格的“回调”。回调函数指针是在编译时给定，在模板实例中，就相当于将原本用指针进行回调的地方用所给函数代替，成为完全普通的函数调用。这样也节省了一点点读取指针值确定函数入口的额外运行开销。

  例3.1虽然看起来有些古怪，却演示了函数指针型模板参数的用法。假设对某一数组，需要先依次打印数组元素，依次将元素加1，依次打印，依次将元素减1，再依次打印。

  之所以强调“依次”，是因为对于数组及其他任何序列来说，“依次”操作是一种最常见的需求。但很遗憾，无论C或者C++，都未将“依次”作为内建支 持。每次都用for循环语句来遍历数组固然可行，却会使代码看起来冗长。更好的做法是将“依次”抽象成可复用代码，比如一个foreach函数，再将对数 组元素所做操作包装成一个回调函数，并将其指针传入foreach函数即可。当操作有限且已知时，显然应该将函数指针从foreach函数参数移至模板参 数实现“静态回调”。了解用意后，就不难理解例3.1的代码了。

  例3.1
  #include <iostream>

  // 定义一个foreach函数模板，对数组的每一个元素进行某种操作
  // 具体操作由模板的函数指针参数指定
  template<typename T, void (*f)(T &v)>
  void foreach(T array[], unsigned size)
  {
      for (unsigned i = 0; i < size; ++i) f(array[i]);
  }

  // 三个函数模板用来定义对数组元素的操作
  template<typename T>
  void inc(T &v) {++v;}

  template<typename T>
  void dec(T &v) {--v;}

  template<typename T>
  void print(T &v) {std::cout << ' ' << v;}

  int main()
  {
      int array[] = {1, 2, 3, 4, 5, 6, 7, 8};

      using namespace std;
      foreach<int, print<int> >(array, 8);
      cout << endl;

      foreach<int, inc<int> >(array, 8);
      foreach<int, print<int> >(array, 8);
      cout << endl;

      foreach<int, dec<int> >(array, 8);
      foreach<int, print<int> >(array, 8);
      cout << endl;

      return 0;
  }

  例3.1中，foreach定义为一个函数模板，其第二个模板参数是一个函数指针。由于模板参数必须在编译时给定，所以这个foreach函数实现 了“静态回调”。另有一个值得注意的是，第二个模板参数void(*f)(T*v)的定义中用到第一个模板参数T。这是合法的，在模板参数列表中，所声明 模板参数可立即用于定义随后的模板参数。在本例中，void (*f)(T*v)约束指针型模板参数f所指函数只能接受与前一模板参数类型相同的指针参数，随后所定义的三个函数模板都是要对数据元素进行的操作，分别 是对元素值加1、减1以及打印。在main函数中则调用foreach函数模板，静态绑定对数组每个元素分别加1、减1以及打印。

转载于:https://my.oschina.net/u/1024767/blog/495809