关于boost::function与boost::bind函数的使用心得

最近开始写一个线程池，期间想用一个通用的函数模板来使得各个线程执行不同的任务，找到了Boost库中的function函数。

Boost::function是一个函数包装器，也即一个函数模板，可以用来代替拥有相同返回类型，相同参数类型，以及相同参数个数的各个不同的函数。

 1 #include<boost/function.hpp> 2 #include<iostream> 3 typedef boost::function<int(int ,char)> Func; 4  5 int test(int num,char sign) 6 { 7    std::cout<<num<<sign<<std::endl 8 } 9 10 int main()11 {12   Func f;13   f=&test;  //or f=test14   f(1,'A');15 }

这样在不同的地方用不同的函数来替代 f 可以得到类似于C++中多态的效果。

但是这样有一定的局限性，例如我想实现的线程池需要执行不同的任务，这些任务的返回类型，函数参数个数，参数类型肯定是不同的，所以不能用上面的方法实现，那么怎么样定义一个函数模板来包含各种返回类型，函数参数个数，参数类型不同的各种函数呢？

我们可以定义如下的类型

1 typedef boost::function<void()> Func;2 //or3 typedef boost::function<void(void)> Func;

void 类型(空类型)其实是C中四种数据类型之一，其余三个为基本类型，构造类型，指针型。

空类型主要是用来修饰返回类型与函数参数的，不能用了定义变量，void i 是错误的。

可以这样认为空类型是一个抽象的基类，不能用了定义变量，但是它可以表示所有的类型，这样也不难理解，void* 指针能够不用强制转换成不同类型的指针了。

void类型的返回类型表示我们可以返回各种不同的类型了，那我们怎么样传入参数呢？可以用boost::bind。

 1 #include<boost/function.hpp> 2 #include<boost/bind.hpp> 3 #include<iostream> 4 typdef boost::function<void(void)> Func; 5  6 int test(int num) 7 { 8    std::cout<<"In test"<<std::endl;     9 }10 11 int main()12 {13   Func f(boost::bind<test,6>);14   f();15 }

使用bind来传入各个参数，形成一个通用的函数模板。

不过由于f()的返回值是void类型，所以我们不能有以下写法：

1 int result=f();2 //or3 std::cout<<f()<<std<<endl;

不过没有关系，我们可以从参数中传出结果。