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 | 它是一个附加功能对象类 |