函数作为模板参数传递

Question

函数作为模板参数传递

我正在寻找涉及将C ++模板函数作为参数传递的规则。

这得到了C ++的支持，如下例所示：

#include <iostream>void add1(int &v){
  v+=1;}void add2(int &v){
  v+=2;}template <void (*T)(int &)>void doOperation(){
  int temp=0;
  T(temp);
  std::cout << "Result is " << temp << std::endl;}int main(){
  doOperation<add1>();
  doOperation<add2>();}

然而，了解这种技术很困难。谷歌搜索“作为模板参数的功能”不会导致太多。令人惊讶的是，经典的C ++模板完整指南也没有讨论它（至少不是我的搜索）。

我的问题是这是否是有效的C ++（或者只是一些广泛支持的扩展）。

另外，在这种模板调用过程中，有没有办法允许具有相同签名的仿函数与显式函数互换使用？

以下就不能在上面的程序中工作，至少在视觉C ++，因为语法显然是错误的。能够为仿函数切换函数是很好的，反之亦然，类似于如果要定义自定义比较操作，可以将函数指针或函子传递给std :: sort算法。

   struct add3 {
      void operator() (int &v) {v+=3;}
   };...

    doOperation<add3>();

指向一个或两个Web链接的指针，或C ++模板书中的页面将不胜感激！

Answer 1

是的，它是有效的。至于使它与仿函数一起使用，通常的解决方案是这样的：template&nbsp;<typename&nbsp;F>void&nbsp;doOperation(F&nbsp;f){ &nbsp;&nbsp;int&nbsp;temp=0; &nbsp;&nbsp;f(temp); &nbsp;&nbsp;std::cout&nbsp;<<&nbsp;"Result&nbsp;is&nbsp;"&nbsp;<<&nbsp;temp&nbsp;<<&nbsp;std::endl;}现在可以称为：doOperation(add2);doOperation(add3());这样做的问题是，如果它使编译器内联调用变得棘手add2，因为所有编译器都知道void (*)(int &)正在传递函数指针类型doOperation。（但是add3，作为一个仿函数，可以很容易地内联。在这里，编译器知道类型的对象add3被传递给函数，这意味着要调用的函数是add3::operator()，而不仅仅是一些未知的函数指针。）