std::bind 和函数对象使用配合

函数对象实质上是一个实现了operator()--括号操作符--的类。

class Add
{
public:
    int operator()(int a, int b)
    {
        return a + b;
    }
};

int main()
{
    Add add; // 定义函数对象
    cout << add(3, 2); // 5

    system("pause");
    return 0;
}

函数指针版本就是:

int AddFunc(int a, int b)
{
    return a + b;
}
typedef int(*Add) (int a, int b);

int main()
{
    Add add = &AddFunc;
    cout << add(3, 2); // 5  //(*add)(3,2)

    system("pause");
    return 0;
}

既然函数对象与函数指针在使用方式上没什么区别，那为什么要用函数对象呢？很简单，函数对象可以携带附加数据，而指针就不行了。
下面就举个使用附加数据的例子：

class Less
{
public:
    Less(int num) :n(num) {}
    bool operator()(int value)
    {
        return value < n;
    }
private:
    int n;
};

int main()
{
    Less isLess(10);
    cout << isLess(9) << " " << isLess(12); // 输出 1 0

    system("pause");
    return 0;
}

---

 bind是这样一种机制，它可以预先把指定函数的某些参数绑定到已有的变量，产生一个新的函数，这种机制在回调函数的使用过程中也颇为有用。

int Func(int x, int y)
{
    return x + y;
}

int main()
{
    //bf1把拥有两个参数的普通函数的第一个参数绑定为10，生成了一个新的一个参数的函数
    auto bf1 = std::bind(Func, 10, std::placeholders::_1);
    cout<<bf1(20); ///< same as Func(10, 20)  

    system("pause");
    return 0;
}

 

class A
{
public:
    int Func(int x, int y)
    {
        return x + y;
    }
};


int main()
{
    A a;
    //bf2把一个类成员函数绑定了类对象，生成了一个像普通函数一样的新的可调用实体
    auto bf2 = std::bind(&A::Func, a, std::placeholders::_1, std::placeholders::_2);
    cout << bf2(10, 20); ///< same as a.Func(10, 20)  

    system("pause");
    return 0;
}

使用bind需要注意的一些事项：

• （1）bind预先绑定的参数需要传具体的变量或值进去，对于预先绑定的参数，是pass-by-value的
• （2）对于不事先绑定的参数，需要传std::placeholders进去，从_1开始，依次递增。placeholder是pass-by-reference的
• （3）bind的返回值是可调用实体，可以直接赋给std::function对象
• （4）对于绑定的指针、引用类型的参数，使用者需要保证在可调用实体调用之前，这些参数是可用的
• （5）类的this可以通过对象或者指针来绑定