C++ 标准库 - <functional>
简介
函数对象是专门设计用于使用类似于函数的语法的对象。 std::function 的实例可以存储、复制和调用任何 Callable 目标——函数、lambda 表达式、绑定表达式或其他函数对象,以及指向成员函数的指针和指向数据成员的指针。
声明
以下是 std::function 的声明。
template<class > class function;
C++11
template< class R, class... Args > class function<R(Args...)>
参数
R − result_type.
argument_type − T 如果 sizeof...(Args)==1 并且 T 是 Args 中的第一个也是唯一的类型。
示例
在下面的 std::function 示例中。
#include <functional>
#include <iostream>
struct Foo {
Foo(int num) : num_(num) {}
void print_add(int i) const { std::cout << num_+i << '\n'; }
int num_;
};
void print_num(int i) {
std::cout << i << '\n';
}
struct PrintNum {
void operator()(int i) const {
std::cout << i << '\n';
}
};
int main() {
std::function<void(int)> f_display = print_num;
f_display(-9);
std::function<void()> f_display_42 = []() { print_num(42); };
f_display_42();
std::function<void()> f_display_31337 = std::bind(print_num, 31337);
f_display_31337();
std::function<void(const Foo&, int)> f_add_display = &Foo::print_add;
const Foo foo(314159);
f_add_display(foo, 1);
std::function<int(Foo const&)> f_num = &Foo::num_;
std::cout << "num_: " << f_num(foo) << '\n';
using std::placeholders::_1;
std::function<void(int)> f_add_display2= std::bind( &Foo::print_add, foo, _1 );
f_add_display2(2);
std::function<void(int)> f_add_display3= std::bind( &Foo::print_add, &foo, _1 );
f_add_display3(3);
std::function<void(int)> f_display_obj = PrintNum();
f_display_obj(18);
}
示例输出应该是这样的 −
-9 42 31337 314160 num_: 314159 314161 314162 18
成员函数
| 序号 | 成员函数 | 定义 |
|---|---|---|
| 1 | (constructor) | 它用于构造一个新的 std::function 实例 |
| 2 | (destructor) | 它用于销毁 std::function 实例 |
| 3 | operator= | 它用于分配新目标 |
| 4 | swap | 它用于交换内容 |
| 5 | assign | 它用于分配新目标 |
| 6 | operator bool | 它用于检查是否包含有效目标 |
| 7 | operator() | 它用于调用目标 |
非成员函数
| 序号 | 非成员函数 | 定义 |
|---|---|---|
| 1 | std::swap | 它专门用于 std::swap 算法 |
| 2 | operator== operator!= | 它将 std::function 与 nullptr 进行比较 |
运算符类
| 序号 | 运算符类 | 定义 |
|---|---|---|
| 1 | bit_and | 它是一个按位与函数对象类 |
| 2 | bit_or | 它是一个按位或函数对象类 |
| 3 | bit_xor | 它是一个按位异或函数对象类 |
| 3 | divides | 它是一个除法函数对象类 |
| 4 | equal_to | 它是一个用于相等比较的函数对象类 |
| 5 | greater | 它是一个用于大于不等式比较的函数对象类 |
| 6 | greater_equal | 它是一个用于大于或等于比较的函数对象类 |
| 7 | less | 它是一个用于小于不等式比较的函数对象类 |
| 8 | less_equal | 它是一个用于小于或等于比较的函数对象类 |
| 9 | logical_and | 它是一个逻辑与函数对象类 |
| 10 | logical_not | 它是一个逻辑非函数对象类 |
| 11 | logical_or | 它是一个逻辑或函数对象类 |
| 12 | minus | 它是一个减法函数对象类 |
| 13 | modulus | 它是一个模函数对象类 |
| 14 | multiplies | 它是一个乘法函数对象类 |
| 15 | negate | 它是一个负函数对象类 |
| 16 | not_equal_to | 它是一个用于不等式比较的函数对象类 |
| 17 | plus | 它是一个附加功能对象类 |

