C++ 库 - <功能>


介绍

函数对象是专门设计用于与函数类似的语法的对象。std::function 的实例可以存储、复制和调用任何 Callable 目标——函数、lambda 表达式、绑定表达式或其他函数对象,以及指向成员函数的指针和指向数据成员的指针。

宣言

以下是 std::function 的声明。

template<class >
class function; 

C++11

template< class R, class... Args >
class function<R(Args...)>

参数

  • R - 结果类型。

  • 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 (构造函数) 它用于构造一个新的 std::function 实例
2 (析构函数) 它用于销毁 std::function 实例
3 运算符= 它用于分配新目标
4 交换 它用于交换内容
5 分配 它用于分配新目标
6 布尔运算符 它用于检查是否包含有效目标
7 操作员() 它用于调用目标

非成员函数

先生。 非成员函数 定义
1 标准::交换 它专门用于 std::swap 算法
2 运算符== 运算符!= 它将 std::function 与 nullptr 进行比较

操作员类别

先生。 操作员类别 定义
1 位与 它是一个按位与函数对象类
2 位或 它是一个按位或函数对象类
3 位异或 它是按位异或函数对象类
3 划分 它是一个除法函数对象类
4 等于 它是一个用于相等比较的函数对象类
5 更大 它是用于大于不等式比较的函数对象类
6 大于等于 它是一个用于大于或等于比较的函数对象类
7 较少的 它是一个用于小于不等式比较的函数对象类
8 小于等于 它是一个用于小于或等于比较的函数对象类
9 逻辑与 它是一个逻辑与函数对象类
10 逻辑非 它是一个逻辑 NOT 函数对象类
11 逻辑或 它是一个逻辑或函数对象类
12 它是一个减法函数对象类
13 模数 它是一个模函数对象类
14 乘以 它是一个乘法函数对象类
15 否定 它是一个负函数对象类
16 不等于 它是一个用于非相等比较的函数对象类
17 号 它是一个加法函数对象类