经验总结

  1. 首页 > 生活 > >

C++11绑定器bind及function机制

生活百科

前言之前在学muduo网络库时，看到陈硕以基于对象编程的方式，大量使用boost库中的bind和function机制，如今，这些概念都已引入至C++11，包含在头文件<functional>中 。
本篇文章主要梳理C++绑定器相关的内容以及C++11中引入的function机制，其中绑定器主要有三种：bind1st、bind2nd、bind（C++11） 。学完本篇内容，将对C++绑定器及function机制等的底层实现有深刻理解，那么我们开始说吧 。
函数对象首先说说函数对象，之所以说函数对象，是因为绑定器、function都涉及到该部分概念 。函数对象实际上是类调用operator()()小括号运算符重载，实现像在“调用函数”一样的效果，因此还有个别名叫“仿函数” 。函数对象示例代码如下：
class Print {public:void operator()(string &s) { cout << s << endl; }};int main() {string s = "hello world!";Print print; //定义了一个函数对象printprint(s);return 0;}上面代码print(s);语句，看似像函数调用，其实是类对象print调用其小括号运算符重载print.operator(string &s) 。print就是一个函数对象，至此对函数对象就有了基本的认识 。
剖析绑定器bind1st、bind2nd了解了函数对象，接下来我们说说绑定器，为什么需要绑定器？在使用STL时经常会遇到STL算法中需要传递某元函数对象，比如在写sort时，第三个参数决定了我们的排序规则，用来接收一个“比较器”函数对象，该函数对象是一个二元的匿名函数对象，形如greator<int>()或者less<int>() 。二元函数对象的意思是，这个函数对象的小括号运算符重载函数接收两个参数，那么几元就表示接收几个参数 。下面是库中自带的greater和less模板类的源码实现，可以看到是对小括号运算符重载的实现，sort第三个参数接收该模板类的二元匿名函数对象 。
template<typename _Tp>struct greater : public binary_function<_Tp, _Tp, bool>{_GLIBCXX14_CONSTEXPRbooloperator()(const _Tp& __x, const _Tp& __y) const{ return __x > __y; }};template<typename _Tp>struct less : public binary_function<_Tp, _Tp, bool>{_GLIBCXX14_CONSTEXPRbooloperator()(const _Tp& __x, const _Tp& __y) const{ return __x < __y; }};再回到刚才的问题，那为什么需绑定器？由于STL接口的限制，有时我们拿到的函数对象和特定STL算法中要接收的函数对象在参数上并不匹配，意思就是需要传递一个一元函数对象，你有一个二元函数对象，那可以通过绑定器提前绑定二元函数对象的其中一个参数，使得最终返回的是一个一元函数对象，那么从二元函数对象到一元函数对象的转换过程，就需要绑定器去实现 。
如STL中的泛型算法find_if，可用来查找可变长数组vector中符合某个条件的值（这个条件比如是要大于50，要小于30，要等于25等等） 。其第三个参数需要传递一个一元函数对象，假如现在要找到第一个小于70的数，可将绑定器与二元函数对象结合，转换为一元函数对象后传递给find_if 。
我们知道系统自带的greater<int>()和less<int>()模板类对象是二元匿名函数对象，所以需要通过绑定器将其转换为一元函数对象，可以通过bind1st和bind2nd去绑定，顾名思义，前者对二元函数对象的第一个参数进行绑定，后者对二元函数对象的第二个参数进行绑定，两个绑定器均返回一元函数对象，用法如下：

经验总结扩展阅读


上一篇：路由器每天晚上都关掉好不好路由器每天晚上都关掉会怎么样

下一篇：2023年农历八月初八修建坟墓吉日 2023年9月22日适合修建坟墓吗