最近开始写一个线程池,期间想用一个通用的函数模板来使得各个线程执行不同的任务,找到了Boost库中的function函数。
Boost::function是一个函数包装器,也即一个函数模板,可以用来代替拥有相同返回类型,相同参数类型,以及相同参数个数的各个不同的函数。
#include<boost/function.hpp>
#include<iostream>
typedef boost::function<int(int ,char)> Func; int test(int num,char sign)
{
std::cout<<num<<sign<<std::endl
} int main()
{
Func f;
f=&test; //or f=test
f(1,'A');
}
这样在不同的地方用不同的函数来替代 f 可以得到类似于C++中多态的效果。
但是这样有一定的局限性,例如我想实现的线程池需要执行不同的任务,这些任务的返回类型,函数参数个数,参数类型肯定是不同的,所以不能用上面的方法实现,那么怎么样定义一个函数模板来包含各种返回类型,函数参数个数,参数类型不同的各种函数呢?
我们可以定义如下的类型
typedef boost::function<void()> Func;
//or
typedef boost::function<void(void)> Func;
void 类型(空类型)其实是C中四种数据类型之一,其余三个为基本类型,构造类型,指针型。
空类型主要是用来修饰返回类型与函数参数的,不能用了定义变量,void i 是错误的。
可以这样认为空类型是一个抽象的基类,不能用了定义变量,但是它可以表示所有的类型,这样也不难理解,void* 指针能够不用强制转换成不同类型的指针了。
void类型的返回类型表示我们可以返回各种不同的类型了,那我们怎么样传入参数呢?可以用boost::bind。
#include<boost/function.hpp>
#include<boost/bind.hpp>
#include<iostream>
typdef boost::function<void(void)> Func; int test(int num)
{
std::cout<<"In test"<<std::endl;
} int main()
{
Func f(boost::bind<test,>);
f();
}
使用bind来传入各个参数,形成一个通用的函数模板。
不过由于f()的返回值是void类型,所以我们不能有以下写法:
int result=f();
//or
std::cout<<f()<<std<<endl;
不过没有关系,我们可以从参数中传出结果。