缘由
看一个示例:
int add(int i, int j) { return i + j; }
struct divide
{
int operator()(int i, int j){ return i / j; }
};
std::map<std::string, int(*)(int, int)>> ops =
{
{"+", add},
{"/", divide()},
{"-", std::minus<int>()},
{"*", [](int i, int j) {return i * j; }}
};
无法直接将ops中的可调用对象直接转换成int(*)(int, int),因为不是所有类型可以强制转换为函数指针, 编译不通过。
将上述代码修改如下,一切搞定。
std::map<std::string, std::function<int(int, int)>> ops =
{
{"+", add},
{"/", divide()},
{"-", std::minus<int>()},
{"*", [](int i, int j) {return i * j; }}
};
使用std::function的感觉就是“万众归一”。
概述
类模版std::function是一种通用、多态的函数封装。std::function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作,这些目标实体包括普通函数、Lambda表达式、函数指针、以及其它函数对象等。std::function对象是对C++中现有的可调用实体的一种类型安全的包裹(我们知道像函数指针这类可调用实体,是类型不安全的)。
通常std::function是一个函数对象类,它包装其它任意的函数对象,被包装的函数对象具有类型为T1, …,TN的N个参数,并且返回一个可转换到R类型的值。std::function使用 模板转换构造函数接收被包装的函数对象;特别是,闭包类型可以隐式地转换为std::function。
简单概述:通过std::function对C++中各种可调用实体(普通函数、Lambda表达式、函数指针、仿函数以及其它函数对象等)的封装,形成一个新的可调用的、统一的std::function对象。
使用方法
下面是std::function的使用示例,包括如何将普通函数、Lambda表达式、仿函数、普通成员函数、静态成员函数赋值给std::function对象。
#include <functional>
#include <iostream>
int TestFunc(int a) { return a; } // 普通函数
auto lambdaFn = [](int a)->int { return a; }; // Lambda表达式
class Functor // 仿函数(functor)
{
public:
int operator()(int a) { return a; }
};
class TestClass
{
public:
int ClassMember(int a) { return a; } // 类成员函数
static int StaticMember(int a) { return a; } // 类静态函数
};
int main()
{
std::function<int(int)> Functional;
// 普通函数
Functional = TestFunc;
int result = Functional(10);
std::cout << "普通函数:" << result << std::endl;
// Lambda表达式
Functional = lambdaFn;
result = Functional(20);
std::cout << "Lambda表达式:" << result << std::endl;
// 仿函数
Functional = Functor();
result = Functional(30);
std::cout << "仿函数:" << result << std::endl;
// 类成员函数
TestClass testObj;
Functional = std::bind(&TestClass::ClassMember, testObj, std::placeholders::_1);
result = Functional(40);
std::cout << "普通成员函数:" << result << std::endl;
// 类静态函数
Functional = TestClass::StaticMember;
result = Functional(50);
std::cout << "静态成员函数:" << result << std::endl;
return 0;
}
目的
std::function实现了一套类型消除机制,可以统一处理不同的函数对象类型。以前可以使用函数指针来完成这些(但不能完全实现);现在我们可以使用更安全的std::function来完成这些任务。