function object研究之六 bind example

这个系列主要希望弄明白boost::bind的实现原理，回到研究之四的简单使用的例子。稍微加点代码，也绑定Foo函数。

#include <iostream>#include <vector>#include <algorithm>#include <boost/bind.hpp>using namespace std;bool Foo(int x) {    return x >= 2;}typedef bool (*FooPointer)(int x);int main(int argc, char** argv) {    FooPointer p = Foo;    vector<int> v;    v.push_back(1);    v.push_back(2);        // bind Foo function    vector<int>::iterator itor = std::find_if(v.begin(), v.end(),        boost::bind(Foo, _1));    cout << *itor << endl;        // bind FooPointer    itor = std::find_if(v.begin(), v.end(),            boost::bind(p, _1));    cout << *itor << endl;    return 0;}

两次查找分别使用了Foo函数和FooPointer函数指针。
boost提供了一些bind重载模板函数，bind实际上是通过宏出现的，在bind.hpp中如下定义：

#ifndef BOOST_BIND#define BOOST_BIND bind#endif

第一个bind(foo, _1)用到了下面的重载形式：

template<class R, class F, class A1>    _bi::bind_t<R, F, typename _bi::list_av_1<A1>::type>    BOOST_BIND(F f, A1 a1){    typedef typename _bi::list_av_1<A1>::type list_type;    return _bi::bind_t<R, F, list_type> (f, list_type(a1));}

所以这里F f就是指的Foo函数， 这个地方有点意思，因为函数Foo居然可以像类型一样作为模板参数传递。我以前从未这样用过。
迅速做个实验：

template <typename F>void Test(F f){    cout << f(2);}

int main(int argc, char** argv) {    Test(Foo);    return 0;}

编译运行成功，输出结果为1.

A1 a1指的是外面调用代码传递进来的_1.