1

我试图理解函子的“力量”。

好的，所以它们是指向函数的指针，但是它们能做什么其他没有实现的类operator()不能做什么？

例如 ：

#include <iostream>
#include <assert.h>
#include <vector>
using namespace std;


class MultiplyBy
{
    private:
        int factor;

    public:
        MultiplyBy(int x) : factor(x) {}

        int operator () (int other) const
        {
            return factor * other;
        }
};


int main()
{

    MultiplyBy temp(5);
    int myResult = temp(5);  // now myResult holds 25
    cout << myResult << endl;
    return 0;
}

我们带着他的另一个朋友

class MultiplyOther
{
    private:
        int factor;
    public:
        MultiplyOther(int x) : factor(x) {}
        int invokeMultiplyMe(int _other)
        {
            return _other * factor;
        }
};

并做同样的事情：

int main()
{
    // MultiplyOther

    MultiplyOther notFunctor(4);
    int myOther = notFunctor.invokeMultiplyMe(3);
    cout << myOther << endl;
    return 0;
}

我们得到：

25
12

那么，函子的真正威力是什么？两个类都保存状态，还是我在这里遗漏了什么？

4

3 回答 3

4

一方面，它们有一个统一的签名，可以被算法使用，例如只需要知道它们必须调用的东西。

在您的示例中，任何代码都可以使用一个实例，MultiplyBy该代码期望调用接受int并返回一个（或可从 /convertible to 构造的类型int）的东西。使用您的第二个示例将需要代码了解该invokeMultiplyByMe方法。

请注意，函子根本不是指向函数的指针，如问题中所述。它们是可以使用函数调用语法调用其实例的类。

于 2012-08-26T13:00:36.150 回答
1

函子对类没有任何特殊属性，但它们可以用作具有更高功能的函数。函数通常不能有状态，如果有状态（通过使用静态变量），则状态在所有函数调用之间共享。\

仿函数具有类的所有属性（尤其是状态），但可以用作函数。一个很好的例子是用于 STL 算法的函子：

class Add
{
  public:
    Add(){sum = 0;};
    void operator()(int i)
    {
        sum += i;
    }
    int getSum(){return sum;};

    private:
    int sum;
}

int main()
{

std::vector<int> vint;
vint.push_back(2);
vint.push_back(3);
vint.push_back(4);
}

Add adder;

adder = std::for_each( vint.begin(); vint.end(), adder);

cout << adder.getSum();
于 2012-08-26T13:01:10.100 回答
0

“所以它们是指向函数的指针” - 函数指针和函子完全不同。前者只是一个指向原始函数的简单指针。它不持有任何状态。然而，仿函数或函数对象拥有一个状态。Functor 是定义 operator() 的任何类。因此，该类的任何对象都可以以函数的方式调用。

来自 C++ 入门的代码片段...

template<class T>
class TooBig
{
    private:
    T cutoff;
    public:
    TooBig(const T & t) : cutoff(t) {}
    bool operator()(const T & v) { return v > cutoff; }
};

使用这个类，我们可以创建多个具有不同截止值的对象。太大的截止1（10）；太大的cutOff2（20）；

使用仿函数的最佳位置之一是在模板中。例如，获取列表模板。它有一个 remove_if 函数，它删除列表中从参数返回 true 的任何值。

列出清单1；// 假设它有一些值 list list2; // 假设它有一些值

现在，调用 list1.remove_if(cutoff1); // 应用 list1 的所有元素，并删除那些大于 cutOff1 中存储的值的元素。list2 的类似情况。

谢谢！

于 2012-08-26T13:29:21.110 回答