c++ - 作为类参数传递的函数

Question

在 C++ 中，我们可以像这样将一个函数/仿函数传递给一个函数:

template <typename F>
void doOperation(int a, int b, F f){
    std::cout << "Result: " << f(a,b) << std::endl;
}

然后我们可以同时使用函数和仿函数:

int add(const int &a, const int &b){ return a+b; }
struct subtract(){
    void operator() (const int &a, const int &b) { return a-b; }
};

并按以下方式使用它:

doOperation(1,2,add);
doOperation(5,2,subtract());

我的问题是，我可以对类做一些类似的事情，将函数作为参数传递给类，存储它并在以后使用吗？例如

template <typename F>
class doOperation{
    public:
       doOperation(int &a, int &b, F f) : a(a), b(b), f(f) {};
   void setOperands(int &a, int &b) { this->a = a; this->b = b };
   void performCalculation(){
          std::cout << "Result: " << f(a,b) << std::endl;
       }
    private:
        int a,b;
        F f;
}

这样我们就可以给它分配一次函数，然后再使用它:

doOperation summing(1,2,add);
summing.setOperands(2,3);
summing.performCalculation();

doOperation subtraction(7,3,subtract());
subtraction.performCalculation();

如果我的例子是有效的，我会很感激这里对机制的解释，因为我似乎有点迷路了。以防万一我遗漏了什么，我正在寻找是否可以实现的提示。

最后，我将如何在其他函数和类中使用这样的 class doOperation。例如，在成员函数中定义这样的东西需要我模板化新类、它的成员函数，以及如何声明和使用它:

class higherFunctionality{    
 public:
     higherFunctionality() {...}

     void coolThings(){
        doOperation *myOperation = operationFactory( ... );
        myOperation->setOperands(4,5);
        myOperation->performCalculation();
     }
};

Answer 1

是的，但是在实例化模板类时必须提供类型。处理这个问题的通常方法是创建一个辅助函数:

template < typename Fun > struct operation_class 
{  
    operation_class(Fun f) : fun{f} {}
    Fun fun; 
};
template < typename Fun >
operation_class<Fun> operation(Fun fun) { return operation_class<Fun>{fun}; }

int main()
{
    auto op0 = operation(some_fun);
    auto op1 = operation(some_functor{});
}

坦率地说，你最好只使用 lambda:

auto op0 = [a,b]() { return sum(a,b); };
auto op1 = [a,b]() { return subtract{a,b}(); }

// C++17:
auto op2 = [op=subtract{a,b}] { return op(); };