C11新特性之std::function与std::bind

Posted 2023-03-14

参考技术A

std::function其实就是一个 类模板 ，含有c的 函数指针 概念。

类模版std::function是一种通用、多态的函数封装。std::function的实例可以对 任何可以调用的目标实体 进行存储、复制、和调用操作，这些目标实体包括普通函数、Lambda表达式、函数指针、以及其它函数对象等。

简要来说：std::function是将所有可调用的实体封装起来，形成了一个新的std::function对象，用户在使用的时候不需要再去一一调用实体，只需要使用新的std::function来调用各实体

如下，std::function作为 回调函数 使用，它可以调用任何有两个int形参的返回值为int的对象

又因为std::function兼容c的函数指针，所以它还包含函数指针应有的特性。但是它又和函数指针不同，函数指针只能指向一个函数，而 std::function可以指向任何可以被当做函数调用的对象
以下内容来自

因为调用initWithFunction会产生临时的std::function对象，属于右值，必须使用const，不然会报错

转移操作std::move效率更高

std::bind完成了实体和函数地址的绑定,因为它的参数里面既有对象指针,又有函数指针,从而制造了一个std::function,然后std::function只要能正确处理那个this指针,那就能完成正确地调用了

bind是一种机制，可以预先把指定的可调用的实体的某些参数绑定到已有的变量，产生一个新的可调用实体。
它作为一个通用函数适配器，接收一个可调用对象，生成一个新的可调用对象来 适应原对象的参数列表 。

比如，存在一个这样的函数check_size，因为这是一个二元函数，当我们要将它作为find_if的参数，会出错。因为find_if只接受一元函数，那么如何解决呢？
一个方法是Lambda表达式，还有一个方法就是使用std::bind

下面这个bind的函数只有一个占位符，即只需要传入一个参数。它将check_size的第二个参数绑定在sz上，sz的值就是check_size的第二个参数的值，而check_size第一个参数需要传入

如果现在我们调用g(3,5)，那么就相当于bind(f,a,b,5,c,3);
所以_1相当于传递的第一个参数，_2相当于传递的第二个参数...以此类推。

需要注意： bind对于直接绑定的值，是以值传递的方式，对于用_1这类，是使用引用传递。bind的返回值是可以调用的实体，所以通常我们都会将它和function联合在一起使用。

有时候对于有些绑定的参数我们希望以引用方式传递，或者说要绑定的参数无法拷贝。
比如ostream 流对象是无法拷贝 的，那么我们希望将它传递给bind而不拷贝它，就需要使用 ref 。
ref返回一个对象，包含给定的引用，是可以拷贝的。

对于成员函数的绑定，我们一定需要一个调用者，也就是类的实例！
需要注意的是，bind 无法绑定重载函数 ，因为当重载函数的参数个数不相同时，bind也失去了它的意义。

在cocos2dx的源码中，我们经常可以看到function作为函数形参，而bind作为实参传入