function object研究之四

将函数指针封装成function object

在前面介绍了function object是STL算法的主要使用方式。如果能将现有的函数指针，函数，成员函数等等都封装成function object,就可以获得STL算法的支持,而且可以减少专门编写function object的工作量。基本思路仍然是构造一个function object,内部能够转调函数指针。

bool foo(int x){
    return x>=2;
}

typedef bool (*foo_pointer)(int x);

template<typename pointer_type,typename arg_type,typename return_type>
class pointer_bind{
    public:
        explicit pointer_bind(pointer_type p):p_(p){

        }

        return_type operator()(arg_type param){
            return (*p_)(param);
        }
    private:
        pointer_type p_;
};

int main(int argc, char** argv) {
    foo_pointer p = foo;
    cout<<(*p)(3)<<endl;
    pointer_bind<foo_pointer,int,bool> binder(p);
    cout<<binder(4)<<endl;

    vector<int> v;
    v.push_back(1);
    v.push_back(2);
    vector<int>::iterator itor = std::find_if(v.begin(),v.end(),binder);
    cout<<*itor<<endl;
    return 0;
}

上面的pointer_bind非常的初级，但是已经可以工作了。我可以用它构造一个function object,直接调用或者传递给find_if函数作为查询条件。

boost::bind来封装函数指针

写到这里，主角登场。boost提供了一系列bind函数，可以将函数指针，成员函数，函数对象，虚函数，函数引用都封装在一个临时function object内。并且能够支持多达9个参数，同时还能智能的分析出返回类型。

int main(int argc, char** argv) {
    foo_pointer p = foo;
    vector<int> v;
    v.push_back(1);
    v.push_back(2);
    vector<int>::iterator itor = std::find_if(v.begin(),v.end(),boost::bind(p,_1));
    cout<<*itor<<endl;
    return 0;
}

boost::bind(p,_1)诡异而简单的写法。_1是指第一个参数，不需要告知参数类型和返回类型，boost::bind能够自动推断出来。boost::bind内容较多，后面会仔更分析。