在程序设计中函数一般被当做一段逻辑段, 它接收参数, 并返回逻辑运算的结果。 在
C/C++ 程序中, 函数不只能接收参数, 还能作为参数作为其他函数的参数, 我们已经非常熟悉这种用法了, 那就是回调函数。 使用回调函数可以大大实现软件设计的解耦, 其主要应用如下:
1. 处理事件; 如GUI中, 点击鼠标, 将会触发click事件, 注册此事件的回调函数将会被执行。
2. 异步模式; 如网络程序中, 非常经典的proactor模式,就大量的使用回调函数。 如Boost ASIO中异步发送数据 sock.async_write(boost::buffer(data,len), write_handle); 其中write_handle为 回调函数。
3. 实现特定的算法; 最典型的事 C++ STL algorithm, 如for_each(iter_begin, iter_end, deal_each); 其中deal_each 为函数指针或仿函数。
4. 一些设计模式, 如策略模式, Gof中的策略通常用虚函数即多态来实现, 又是利用回调函数也可以, 而且更灵活, 如logic 类需要调用平台的借口, 平台不同参数不同, 那么可以像logic类注册一个回调函数如 string (func*)(int uid); 这样, 当logic类需要调用平台时只需要先调用一下回调函数产生参数即可, 而logic 类不需要知道这些参数到底由那个类负责产生。
5. 其他...... , 如atexit, sig_handle, 等用回调函数来捕获异常。
在c++ 中函数有如下几类:
1. C 类型全局函数
2. C++类成员函数
3. C++仿函数
在C++库中, Boost::function库非常强大, CSDN有网友讨论了利用Boost::function 代替虚函数, 很有意思。 加上Boost提供的bind和lamda, 非常易用, 在利用boost asio开发服务器程序时, 我们大量使用了boost function, 最近研究了一下c++ functor的实现方式, 特此记录一下心得体会, 参考了Andrei Alexandrescu 的 Loki 库。
最终实现的functor 使用方法如下:
void test(int a){}
struct test2{
void operator()(int a){}
};
functor fun;
fun = test; fun();
(只是探讨c++ fucntor 模板技术的实现原理, 只实现接收一个参数的fucntor)
1. 首先是模板原型:
template class functor;
2. 接口模板类:
template class functor_impl;
然后进行特化:
template
class functor_impl
{
public:
virtual ~functor_impl() {}
virtual ReturnType operator()(Arg1_Type a) =0;
};
3. 接口模板类的实现。
template class functor_handler;
template
class functor_handler
: public functor_impl
{
public:
functor_handler()
{}
functor_handler(const Fun& f):m_f(f)
{}
ReturnType operator()(Arg1_Type a)
{
return m_f(a);
}
void operator=(Fun f)
{
m_f = f;
}
private:
Fun m_f;
};
4. fuctor 的实现。
template
class functor
{
public:
typedef R ReturnType;
typedef X Arg1_Type;
typedef functor ProtypeFun;
functor():ptr_f(NULL)
{}
~functor(){delete ptr_f;}
template
ProtypeFun& operator= (Fun f)
{
if(ptr_f) delete ptr_f;
ptr_f = new functor_handler(f);
return *this;
}
ReturnType operator()(Arg1_Type a)
{
return (*ptr_f)(a);
}
private:
functor_impl* ptr_f;
};
阅读(5619) | 评论(1) | 转发(1) |