关于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=test

14  f(1,'A'); 15 }

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

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

我们可以定义如下的类型

1 typedef boost::function<void()> Func; 2 //or 3 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 //or 3 std::cout<<f()<<std<<endl;

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