C++11 新特性 万能函数容器之std::function

std::function是 C++11 引入的一个非常强大的工具，位于<functional>头文件中。

简单来说，你可以把它理解为一个**“万能函数容器”或“通用函数包装器”**。

在 C++11 之前，如果我们想存储一个函数指针，或者传递一个回调函数，往往受到类型的严格限制（比如函数指针无法直接存储 Lambda 表达式）。std::function通过**类型擦除（Type Erasure）**技术，统一了所有“可调用对象”的接口，让它们可以像普通变量一样被赋值、存储和传递。

🎯 核心概念：它能装什么？

只要函数签名（返回值和参数列表）匹配，std::function可以装下以下所有东西：

1. 普通函数
2. Lambda 表达式（尤其是带捕获的 Lambda，这是它最大的用途之一）
3. 仿函数（函数对象）：即重载了operator()的类实例
4. 绑定后的成员函数（通过std::bind）

💻 代码实战：统一江湖

看看下面这个例子，std::function如何让不同类型的函数“殊途同归”：

#include<iostream>#include<functional>// 必须包含的头文件#include<vector>usingnamespacestd;// 1. 普通函数intadd(inta,intb){returna+b;}// 2. 仿函数 (函数对象)structMultiplier{intoperator()(inta,intb){returna*b;}};intmain(){// 定义一个 std::function，规定它必须接收两个 int，返回一个 intstd::function<int(int,int)>func;// --- 场景 1: 存储普通函数 ---func=add;cout<<"普通函数结果: "<<func(3,4)<<endl;// 输出 7// --- 场景 2: 存储 Lambda 表达式 (带捕获) ---intfactor=10;func=[factor](inta,intb){return(a+b)*factor;};cout<<"Lambda 结果: "<<func(3,4)<<endl;// 输出 70// --- 场景 3: 存储仿函数 ---func=Multiplier();cout<<"仿函数结果: "<<func(3,4)<<endl;// 输出 12// --- 场景 4: 存入容器 (这是函数指针做不到的) ---vector<std::function<int(int,int)>>vec;vec.push_back(add);// 放入普通函数vec.push_back([](inta,intb){returna-b;});// 放入 Lambda// vec.push_back(Multiplier()); // 放入仿函数cout<<"容器调用: "<<vec[1](10,5)<<endl;// 输出 5return0;}

🆚 对比：std::functionvs 函数指针

为什么有了函数指针还需要它？看这张表就明白了：

⚠️ 使用注意事项

1. 空状态检查：
   std::function可以像指针一样为空。如果你调用了一个空的std::function，程序会抛出std::bad_function_call异常。

   std::function<void()>func;// 默认为空if(func){// 使用前最好检查func();}

2. 性能考量：
   虽然std::function很方便，但它不是零开销的。在极度追求性能的循环中（比如每秒调用百万次），直接使用模板或者函数指针可能会更快。但在绝大多数业务逻辑、回调处理中，它的便利性远大于那一点点性能损耗。

🚀 C++17 新特性：类模板参数推导 (CTAD)

从 C++17 开始，你甚至不需要显式写出签名，编译器能自动推断：

automyFunc=[](intx,inty){returnx+y;};// C++17 之前: std::function<int(int, int)> f = myFunc;// C++17 及以后:std::function f=myFunc;// 编译器自动推导签名

总结：
std::function是现代 C++ 实现回调机制、策略模式和事件驱动的基石。它让你不再受限于函数指针的僵硬语法，可以更灵活地传递逻辑代码块。

统一了所有“可调用对象”的接口，让它们可以像普通变量一样被赋值、存储和传递。

⚙️ 它是如何做到的？

这正是通过你提到的**类型擦除（Type Erasure）**技术实现的。

std::function内部会创建一个抽象基类接口，并为每一种被存储的可调用对象（Lambda、仿函数等）生成一个具体的派生类。这个派生类会实现调用接口。当你调用func()时，std::function会通过内部的指针间接调用正确的对象，而对外则统一表现为void(int)的函数签名。

简单比喻：std::function就像一个万能插座，而各种函数、Lambda、仿函数就是不同规格的插头。类型擦除技术就是这个插座内部的“自适应”结构，它让所有插头都能插进去并使用。